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
z3: fix darwin build #43526
z3: fix darwin build #43526
Conversation
@@ -27,9 +27,9 @@ stdenv.mkDerivation rec { | |||
mv $out/lib $lib/lib | |||
mv $out/include $dev/include | |||
|
|||
# clean up a copy of libz3.so and symlink it instead | |||
rm $python/${python.sitePackages}/z3/lib/libz3.so | |||
ln -s $lib/lib/libz3.so $python/${python.sitePackages}/z3/lib/libz3.so |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
We have hostPlatform.extensions.sharedLibrary
to handle conditional like this.
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
👍 updated
3c2b69f
to
43751fc
Compare
@GrahamcOfBorg build z3 |
Success on x86_64-linux (full log) Attempted: z3 Partial log (click to expand)
|
Success on aarch64-linux (full log) Attempted: z3 Partial log (click to expand)
|
Success on x86_64-darwin (full log) Attempted: z3 Partial log (click to expand)
|
Ah, sorry about that @marsam! I was away yesterday. |
Motivation for this change
cc: @thoughtpolice as commiter of 54e9f7d
Things done
sandbox
innix.conf
on non-NixOS)nix-shell -p nox --run "nox-review wip"
./result/bin/
)nix path-info -S
before and after)