ilyakooo0/nixpkgs
1
0
Fork 0
mirror of https://github.com/ilyakooo0/nixpkgs.git synced 2025-01-01 00:12:39 +03:00
Code Issues Projects Releases Wiki Activity

z3: also needs setuptools

Browse Source
This commit is contained in:
Jörg Thalheim 2018-02-14 10:00:41 +00:00
parent dabcccce3f
commit 6ec8fe0408
2 changed files with 4 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -1,8 +1,6 @@
{ stdenv, fetchFromGitHub, python2, fixDarwinDylibNames }: { stdenv, fetchFromGitHub, python, fixDarwinDylibNames }:
let stdenv.mkDerivation rec {
python = python2;
in stdenv.mkDerivation rec {
name = "z3-${version}"; name = "z3-${version}";
version = "4.6.0"; version = "4.6.0";
@ -14,6 +12,7 @@ in stdenv.mkDerivation rec {
}; };
buildInputs = [ python fixDarwinDylibNames ]; buildInputs = [ python fixDarwinDylibNames ];
propagatedBuildInputs = [ python.pkgs.setuptools ];
enableParallelBuilding = true; enableParallelBuilding = true;
configurePhase = '' configurePhase = ''

2
pkgs/top-level/all-packages.nix
View File

@ -19468,7 +19468,7 @@ with pkgs;
}; };
z3_4_5_0 = callPackage ../applications/science/logic/z3/4.5.0.nix {}; z3_4_5_0 = callPackage ../applications/science/logic/z3/4.5.0.nix {};
z3 = callPackage ../applications/science/logic/z3 {}; z3 = callPackage ../applications/science/logic/z3 { python = python2; };
aiger = callPackage ../applications/science/logic/aiger {}; aiger = callPackage ../applications/science/logic/aiger {};