diff options
| author | Jörg Thalheim <joerg@thalheim.io> | 2019-01-05 16:38:10 +0100 |
|---|---|---|
| committer | Jörg Thalheim <joerg@thalheim.io> | 2019-01-05 16:38:10 +0100 |
| commit | 37fe593d486f006173e91df2cfc1429db7fb06e0 (patch) | |
| tree | 7342a9f0d6d57811782a3a5574e021e451b14882 /pkgs/applications/science/logic/cryptominisat | |
| parent | 4a4d1d64979e3ad80aaa03a2b2a526e50cead3a9 (diff) | |
| download | nixpkgs-37fe593d486f006173e91df2cfc1429db7fb06e0.tar nixpkgs-37fe593d486f006173e91df2cfc1429db7fb06e0.tar.gz nixpkgs-37fe593d486f006173e91df2cfc1429db7fb06e0.tar.bz2 nixpkgs-37fe593d486f006173e91df2cfc1429db7fb06e0.tar.lz nixpkgs-37fe593d486f006173e91df2cfc1429db7fb06e0.tar.xz nixpkgs-37fe593d486f006173e91df2cfc1429db7fb06e0.tar.zst nixpkgs-37fe593d486f006173e91df2cfc1429db7fb06e0.zip | |
cryptominisat: switch to python3
Diffstat (limited to 'pkgs/applications/science/logic/cryptominisat')
| -rw-r--r-- | pkgs/applications/science/logic/cryptominisat/default.nix | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/pkgs/applications/science/logic/cryptominisat/default.nix b/pkgs/applications/science/logic/cryptominisat/default.nix index 25027841ab8..18af6f0a618 100644 --- a/pkgs/applications/science/logic/cryptominisat/default.nix +++ b/pkgs/applications/science/logic/cryptominisat/default.nix @@ -1,4 +1,4 @@ -{ stdenv, fetchFromGitHub, fetchpatch, cmake, python, xxd, boost }: +{ stdenv, fetchFromGitHub, fetchpatch, cmake, python3, xxd, boost }: stdenv.mkDerivation rec { name = "cryptominisat-${version}"; @@ -11,7 +11,7 @@ stdenv.mkDerivation rec { sha256 = "1a1494gj4j73yij0hjbzsn2hglk9zy5c5wfwgig3j67cis28saf5"; }; - buildInputs = [ python boost ]; + buildInputs = [ python3 boost ]; nativeBuildInputs = [ cmake xxd ]; meta = with stdenv.lib; { |