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.

Sign up for GitHub

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

Jump to bottom

New flag -objs #171

Open
melsman opened this issue Apr 23, 2024 · 0 comments
Open

New flag -objs #171

melsman opened this issue Apr 23, 2024 · 0 comments
Assignees
@melsman
Labels
enhancement

Comments

@melsman
Copy link
Owner

melsman commented Apr 23, 2024 •
edited

To support SML-generation of Xen hypervisor code, we need to support a flag -objs that reports on the object files that should be linked. The object files, including the base_object_file.o are reported in the file run or f.objs if -output f.objs is given as argument to the mlkit command.

It should be sufficient to make changes to link_files_with_runtime_system0 in ExecutionX64.sml and in ManagerObjects.sml.
@melsman melsman self-assigned this Apr 23, 2024
melsman added a commit that referenced this issue May 11, 2024
@melsman
fix issue #171
0b203d7
@melsman melsman mentioned this issue May 11, 2024
Merged
melsman added a commit that referenced this issue May 11, 2024
@melsman
Support for reporting object-files (#173)
c271b04 
* fix issue #171
* fix macos github runner to be macos-12
* make mlton compilation more verbose
* increase github actions timeout
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@melsman melsman

Labels
enhancement
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@melsman