Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Capture all information of a source file into one SourceInfo record #1944

Open
wants to merge 1 commit into
base: master
Choose a base branch
from

Conversation

laeubi
Copy link
Contributor

@laeubi laeubi commented Feb 1, 2024

What it does

To get a consistent compilation order that is independent of the order of arguments one needs to sort the files to process by name. As the name might be related to to other information all of these are first captured inside a SourceInfo record and are the sort this array by name, in the following code always this sorted array is used and possibly updated with additional information.

How to test

Relates to:

Author checklist

@laeubi laeubi force-pushed the sort_by_name_with_source_info branch 2 times, most recently from 7e45b2c to 4399315 Compare February 1, 2024 10:24
To get a consistent compilation order that is independent of the order
of arguments one needs to sort the files to process by name. As the name
might be related to to other information all of these are first captured
inside a SourceInfo record and are the sort this array by name, in the
following code always this sorted array is used and possibly updated
with additional information.
@laeubi laeubi force-pushed the sort_by_name_with_source_info branch from 4399315 to e620924 Compare February 1, 2024 11:28
@laeubi
Copy link
Contributor Author

laeubi commented Feb 1, 2024

@iloveeclipse can you review/merge? All checks are green now.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

1 participant