public/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

z3: use python2

Browse Source
This commit is contained in:
Frederik Rietdijk 2016-10-18 17:17:12 +02:00
parent 6b724f069b
commit 8963dae343
2 changed files with 18 additions and 14 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

16
pkgs/applications/science/logic/z3/default.nix
View File

@ -1,6 +1,8 @@
{ stdenv, fetchFromGitHub, python }: { stdenv, fetchFromGitHub, python2 }:
stdenv.mkDerivation rec { let
python = python2;
in stdenv.mkDerivation rec {
name = "z3-${version}"; name = "z3-${version}";
version = "4.4.1"; version = "4.4.1";
@ -14,21 +16,21 @@ stdenv.mkDerivation rec {
buildInputs = [ python ]; buildInputs = [ python ];
enableParallelBuilding = true; enableParallelBuilding = true;
configurePhase = "python scripts/mk_make.py --prefix=$out && cd build"; configurePhase = "${python.interpreter} scripts/mk_make.py --prefix=$out && cd build";
# z3's install phase is stupid because it tries to calculate the # z3's install phase is stupid because it tries to calculate the
# python package store location itself, meaning it'll attempt to # python package store location itself, meaning it'll attempt to
# write files into the nix store, and fail. # write files into the nix store, and fail.
soext = if stdenv.system == "x86_64-darwin" then ".dylib" else ".so"; soext = if stdenv.system == "x86_64-darwin" then ".dylib" else ".so";
installPhase = '' installPhase = ''
mkdir -p $out/bin $out/lib/${python.libPrefix}/site-packages $out/include mkdir -p $out/bin $out/${python.sitePackages} $out/include
cp ../src/api/z3*.h $out/include cp ../src/api/z3*.h $out/include
cp ../src/api/c++/z3*.h $out/include cp ../src/api/c++/z3*.h $out/include
cp z3 $out/bin cp z3 $out/bin
cp libz3${soext} $out/lib cp libz3${soext} $out/lib
cp libz3${soext} $out/lib/${python.libPrefix}/site-packages cp libz3${soext} $out/${python.sitePackages}
cp z3*.pyc $out/lib/${python.libPrefix}/site-packages cp z3*.pyc $out/${python.sitePackages}
cp ../src/api/python/*.py $out/lib/${python.libPrefix}/site-packages cp ../src/api/python/*.py $out/${python.sitePackages}
''; '';
meta = { meta = {

16
pkgs/applications/science/logic/z3_opt/default.nix
View File

@ -1,8 +1,10 @@
{ stdenv, fetchFromGitHub, python }: { stdenv, fetchFromGitHub, python2 }:
# Copied shamelessly from the normal z3 .nix # Copied shamelessly from the normal z3 .nix
stdenv.mkDerivation rec { let
python = python2;
in stdenv.mkDerivation rec {
name = "z3_opt-${version}"; name = "z3_opt-${version}";
version = "4.3.2"; version = "4.3.2";
@ -16,21 +18,21 @@ stdenv.mkDerivation rec {
buildInputs = [ python ]; buildInputs = [ python ];
enableParallelBuilding = true; enableParallelBuilding = true;
configurePhase = "python scripts/mk_make.py --prefix=$out && cd build"; configurePhase = "${python.interpreter} scripts/mk_make.py --prefix=$out && cd build";
# z3's install phase is stupid because it tries to calculate the # z3's install phase is stupid because it tries to calculate the
# python package store location itself, meaning it'll attempt to # python package store location itself, meaning it'll attempt to
# write files into the nix store, and fail. # write files into the nix store, and fail.
soext = if stdenv.system == "x86_64-darwin" then ".dylib" else ".so"; soext = if stdenv.system == "x86_64-darwin" then ".dylib" else ".so";
installPhase = '' installPhase = ''
mkdir -p $out/bin $out/lib/${python.libPrefix}/site-packages $out/include mkdir -p $out/bin $out/${python.sitePackages} $out/include
cp ../src/api/z3*.h $out/include cp ../src/api/z3*.h $out/include
cp ../src/api/c++/z3*.h $out/include cp ../src/api/c++/z3*.h $out/include
cp z3 $out/bin cp z3 $out/bin
cp libz3${soext} $out/lib cp libz3${soext} $out/lib
cp libz3${soext} $out/lib/${python.libPrefix}/site-packages cp libz3${soext} $out/${python.sitePackages}
cp z3*.pyc $out/lib/${python.libPrefix}/site-packages cp z3*.pyc $out/${python.sitePackages}
cp ../src/api/python/*.py $out/lib/${python.libPrefix}/site-packages cp ../src/api/python/*.py $out/${python.sitePackages}
''; '';
meta = { meta = {