Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                
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

[Feature Request] Command line option to disable the standard library #3340

Closed
1 task done
david-ragazzi opened this issue Jul 31, 2024 · 1 comment
Closed
1 task done
Labels
enhancement New feature or request mojo-repo Tag all issues with this label

Comments

@david-ragazzi
Copy link

Review Mojo's priorities

What is your request?

An option in the compiler that prohibits the use of the standard library (---no-standard-library, or another name). The standard library makes calls to the operating system and that doesn't make sense when there isn't an operating system yet. Because this, for example, functions like print need to be written from scratch.

What is your motivation for this change?

Create a tiny operating system in Mojo as described here.

Any other details?

No response

@david-ragazzi david-ragazzi added enhancement New feature or request mojo-repo Tag all issues with this label labels Jul 31, 2024
@david-ragazzi
Copy link
Author

I'm closing this because a --free-standing option 3370 will address well the problem.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement New feature or request mojo-repo Tag all issues with this label
Projects
None yet
Development

No branches or pull requests

1 participant