Commit 75e6297d authored by Guillaume Girol's avatar Guillaume Girol
Browse files

cryptominisat: fix static build

parent 67dc7cc9

pkgs/applications/science/logic/cryptominisat/default.nix

+8 −2
Original line number Diff line number Diff line
@@ -17,8 +17,14 @@ stdenv.mkDerivation rec { 
    hash = "sha256-8oH9moMjQEWnQXKmKcqmXuXcYkEyvr4hwC1bC4l26mo=";

  };



  buildInputs = [ python3 boost ];

  nativeBuildInputs = [ cmake ];

  strictDeps = true;

  buildInputs = [ boost ];

  nativeBuildInputs = [ python3 cmake ];



  # musl does not have sys/unistd.h

  postPatch = ''

    substituteInPlace src/picosat/picosat.c --replace-fail '<sys/unistd.h>' '<unistd.h>'

  '';



  meta = with lib; {

    description = "An advanced SAT Solver";