diff options
Diffstat (limited to 'pkgs/applications/science/logic/zchaff/default.nix')
-rw-r--r-- | pkgs/applications/science/logic/zchaff/default.nix | 27 |
1 files changed, 27 insertions, 0 deletions
diff --git a/pkgs/applications/science/logic/zchaff/default.nix b/pkgs/applications/science/logic/zchaff/default.nix new file mode 100644 index 00000000000..5fd73a8def8 --- /dev/null +++ b/pkgs/applications/science/logic/zchaff/default.nix @@ -0,0 +1,27 @@ +{ lib, clangStdenv, fetchurl }: + +clangStdenv.mkDerivation rec { + pname = "zchaff"; + version = "2004.5.13"; + + src = fetchurl { + url = "https://www.princeton.edu/~chaff/zchaff/zchaff.${version}.tar.gz"; + sha256 = "sha256-IgOdb2KsFbRV3gPvIPkHa71ixnYRxyx91vt7m0jzIAw="; + }; + + patches = [ ./sat_solver.patch ]; + makeFlags = [ "CC=${clangStdenv.cc.targetPrefix}c++" ]; + installPhase= '' + runHook preInstall + install -Dm755 -t $out/bin zchaff + runHook postInstall + ''; + + meta = with lib; { + homepage = "https://www.princeton.edu/~chaff/zchaf"; + description = "Accelerated SAT Solver from Princeton"; + license = licenses.mit; + maintainers = with maintainers; [ siraben ]; + platforms = platforms.unix; + }; +} |