pyrox.dev
zchaff: 2004.5.13 -> 2007.3.12
+9
-5
pkgs/applications/science/logic/zchaff/default.nix
+9
-5
pkgs/applications/science/logic/zchaff/default.nix
···
1
-
{ lib, clangStdenv, fetchurl }:
1
+
{ lib, clangStdenv, fetchzip }:
2
2
3
3
clangStdenv.mkDerivation rec {
4
4
pname = "zchaff";
5
-
version = "2004.5.13";
5
+
version = "2007.3.12";
6
6
7
-
src = fetchurl {
8
-
url = "https://www.princeton.edu/~chaff/zchaff/zchaff.${version}.tar.gz";
9
-
sha256 = "sha256-IgOdb2KsFbRV3gPvIPkHa71ixnYRxyx91vt7m0jzIAw=";
7
+
src = fetchzip {
8
+
url = "https://www.princeton.edu/~chaff/zchaff/zchaff.64bit.${version}.zip";
9
+
sha256 = "sha256-88fAtJb7o+Qv2GohTdmquxMEq4oCbiKbqLFmS7zs1Ak=";
10
10
};
11
11
12
12
patches = [ ./sat_solver.patch ];
13
+
postPatch = ''
14
+
substituteInPlace zchaff_solver.cpp --replace "// #define VERIFY_ON" "#define VERIFY_ON"
15
+
'';
16
+
13
17
makeFlags = [ "CC=${clangStdenv.cc.targetPrefix}c++" ];
14
18
installPhase= ''
15
19
runHook preInstall