pkgs/by-name/zc/zchaff/package.nix

   1 {
   2   lib,
   3   clangStdenv,
   4   fetchzip,
   5 }:
   6
   7 clangStdenv.mkDerivation rec {
   8   pname = "zchaff";
   9   version = "2007.3.12";
  10
  11   src = fetchzip {
  12     url = "https://www.princeton.edu/~chaff/zchaff/zchaff.64bit.${version}.zip";
  13     sha256 = "sha256-88fAtJb7o+Qv2GohTdmquxMEq4oCbiKbqLFmS7zs1Ak=";
  14   };
  15
  16   patches = [ ./sat_solver.patch ];
  17   postPatch = ''
  18     substituteInPlace zchaff_solver.cpp --replace "// #define VERIFY_ON" "#define VERIFY_ON"
  19   '';
  20
  21   makeFlags = [ "CC=${clangStdenv.cc.targetPrefix}c++" ];
  22   installPhase = ''
  23     runHook preInstall
  24     install -Dm755 -t $out/bin zchaff
  25     runHook postInstall
  26   '';
  27
  28   meta = with lib; {
  29     homepage = "https://www.princeton.edu/~chaff/zchaff.html";
  30     description = "Accelerated SAT Solver from Princeton";
  31     mainProgram = "zchaff";
  32     license = licenses.mit;
  33     maintainers = with maintainers; [ siraben ];
  34     platforms = platforms.unix;
  35   };
  36 }