cafkafk/nixpkgs
cafkafk/nixpkgs
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 2

Merge pull request #114539 from SuperSandro2000/z3-java

Browse source 
z3: Add output for Java bindings (*.jar and *.so)
This commit is contained in:
Sandro 2021-02-27 11:15:31 +01:00 committed by GitHub
commit 7918f4b407
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 5 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

5
pkgs/applications/science/logic/z3/default.nix
View file

@ -57,9 +57,14 @@ stdenv.mkDerivation rec {
mkdir -p $python/lib mkdir -p $python/lib
mv $lib/lib/python* $python/lib/ mv $lib/lib/python* $python/lib/
ln -sf $lib/lib/libz3${stdenv.hostPlatform.extensions.sharedLibrary} $python/${python.sitePackages}/z3/lib/libz3${stdenv.hostPlatform.extensions.sharedLibrary} ln -sf $lib/lib/libz3${stdenv.hostPlatform.extensions.sharedLibrary} $python/${python.sitePackages}/z3/lib/libz3${stdenv.hostPlatform.extensions.sharedLibrary}
'' + optionalString javaBindings ''
mkdir -p $java/share/java
mv com.microsoft.z3.jar $java/share/java
moveToOutput "lib/libz3java.${stdenv.hostPlatform.extensions.sharedLibrary}" "$java"
''; '';
outputs = [ "out" "lib" "dev" "python" ] outputs = [ "out" "lib" "dev" "python" ]
++ optional javaBindings "java"
++ optional ocamlBindings "ocaml"; ++ optional ocamlBindings "ocaml";
meta = with lib; { meta = with lib; {