BoomMicrophone/nixpkgs-suyu
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity

cryptominisat: switch to python3

Browse source
This commit is contained in:
Jörg Thalheim 2019-01-05 16:38:10 +01:00
parent 4a4d1d6497
commit 37fe593d48
No known key found for this signature in database
GPG key ID: CA4106B8D7CC79FA
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
pkgs/applications/science/logic/cryptominisat/default.nix
View file

@ -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; {