-
Notifications
You must be signed in to change notification settings - Fork 12
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
from-source gives: libscip.so.9.0: cannot open shared object file: No such file or directory
#136
Comments
Same here. With Seems like the same difficulties with dynamic linking. Is it possible to add static linking now with from-source-building? |
Sorry guys for the false hope 😄 but at least now the build process can be controlled from rust, so it's a small step in the right direction. Unfortunately, only setting |
No worries, I'm just happy to see you working on it 😀 |
I think I found a nice solution that doesn't requires much work. I updated scip-sys (v0.1.12, and a corresponding russcip version 0.3.4 to use it) to also say where it found libscip. It sets the environment variable fn main() {
let libscip_dir = std::env::var("DEP_SCIP_LIBDIR").unwrap();
println!("cargo:rustc-link-arg=-Wl,-rpath,{}", libscip_dir);
} I think you might also need to add scip-sys to the dependencies of your crate not just russcip. |
I think for the bundled feature with pre-built binary that cannot be statically linked it is likely the only way and a nice-to-have option 👍 Will test it out in the coming days. I'm still gonna look into static linking because I probably need it for a project. Gonna write if I can make it work, should be doable in principle 🤔 Thanks for your work ❤️ |
Haven't had the chance to try yet but will soon. |
Using the new feature from-source, available since 0.3.3, I'm unable to run the built binary. Here's my MRE:
Dockerfile:
Build:
docker build .
Run / error:
docker run -it --rm russcip-test:latest ./target/release/examples/create_and_solve: error while loading shared libraries: libscip.so.9.0: cannot open shared object file: No such file or directory
The text was updated successfully, but these errors were encountered: