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

Is there a way to specify crate attributes in a single .rs file? #1109

Closed
marijnh opened this issue Nov 1, 2011 · 1 comment
Closed

Is there a way to specify crate attributes in a single .rs file? #1109

marijnh opened this issue Nov 1, 2011 · 1 comment

Comments

@marijnh
Copy link
Contributor

marijnh commented Nov 1, 2011

If so, I couldn't find it. Just putting a #[link(...)] in it didn't help.

What I'm trying to do is compile a .rs file with --lib. I think there's no reason to not support that. But having the compiler complain about missing crate link meta attributes makes it kind of awkward to do this right now.

@marijnh
Copy link
Contributor Author

marijnh commented Nov 1, 2011

Ah, you have to terminate them with a semicolon. Ignore this!

@marijnh marijnh closed this as completed Nov 1, 2011
bjorn3 added a commit to bjorn3/rust that referenced this issue Nov 27, 2020
coastalwhite pushed a commit to coastalwhite/rust that referenced this issue Aug 5, 2023
celinval added a commit to celinval/rust-dev that referenced this issue Jun 4, 2024
Delete --object-bits option from Kani. We still set the default to 16 if the user doesn't pick a value via --cbmc-args.
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

No branches or pull requests

1 participant