diff options
| author | Guillaume Girol <symphorien+git@xlumurb.eu> | 2024-04-03 12:00:00 +0000 |
|---|---|---|
| committer | Guillaume Girol <symphorien+git@xlumurb.eu> | 2024-04-03 12:00:00 +0000 |
| commit | 75e6297d10c6baea15cb3e6896bb77219f6569b7 (patch) | |
| tree | 674997157d74eb339c62118b93a08d9f05c4f2f2 /pkgs/applications/science | |
| parent | 67dc7cc9931b2bdfb2d5bbd59e2be37703663983 (diff) | |
cryptominisat: fix static build
Diffstat (limited to 'pkgs/applications/science')
| -rw-r--r-- | pkgs/applications/science/logic/cryptominisat/default.nix | 10 |
1 files changed, 8 insertions, 2 deletions
diff --git a/pkgs/applications/science/logic/cryptominisat/default.nix b/pkgs/applications/science/logic/cryptominisat/default.nix index 4be57a1946356..4040cdb797290 100644 --- a/pkgs/applications/science/logic/cryptominisat/default.nix +++ b/pkgs/applications/science/logic/cryptominisat/default.nix @@ -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"; |