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

Crust functions don't work across crates #1840

Closed
brson opened this issue Feb 14, 2012 · 0 comments
Closed

Crust functions don't work across crates #1840

brson opened this issue Feb 14, 2012 · 0 comments
Assignees
@brson
Labels
A-codegen Area: Code generation A-linkage Area: linking into static, shared libraries and binaries
Milestone
old 1.0 milestone

Comments

@brson
Copy link
Contributor

brson commented Feb 14, 2012

Probably results in segfaults. The code in trans that takes the value of crust functions doesn't know how to look up the ast::def for external functions.
@ghost ghost assigned brson Apr 12, 2012
@brson brson mentioned this issue May 26, 2012
Closed
jdm added a commit to jdm/rust that referenced this issue Jul 8, 2012
@jdm
Fix metadata serialization of foreign functions. Properly take the va…
4878781 
…lue of foreign functions from other crates to fix rust-lang#1840.
@jdm jdm closed this as completed in a7f6e00 Jul 9, 2012
celinval added a commit to celinval/rust-dev that referenced this issue Jun 4, 2024
@celinval
Only copy to sysroot libraries from latest compilation (rust-lang#1840)
f5667f4 
As part of cargo build-dev, we recreate the folder target/kani which will include libraries used by the compiler. We used to blindly copy all files inside the build folder, but this may contain older versions of certain libraries triggering issues while resolving dependencies.

Now, we only copy artifacts from the current build.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@brson brson

Labels
A-codegen Area: Code generation A-linkage Area: linking into static, shared libraries and binaries
Projects
None yet
Milestone
old 1.0 milestone
Development

No branches or pull requests
2 participants
@jdm @brson