diff options
| author | Orivej Desh | 2017-12-17 13:18:10 +0000 |
|---|---|---|
| committer | Orivej Desh | 2017-12-17 13:19:34 +0000 |
| commit | c13c93f03bf0ffaa97bfe2615e43bd35386b0f8b (patch) | |
| tree | 84a9a4ceda13d1910741699f796a003087218c6b /pkgs/applications/science/logic/drat-trim | |
| parent | 6cab82d1b4e4efa4d9621b64938a0dac1d641d38 (diff) | |
drat-trim: fix build on darwin
Diffstat (limited to 'pkgs/applications/science/logic/drat-trim')
| -rw-r--r-- | pkgs/applications/science/logic/drat-trim/default.nix | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/pkgs/applications/science/logic/drat-trim/default.nix b/pkgs/applications/science/logic/drat-trim/default.nix index 3d5cec70b82c..50454847baf1 100644 --- a/pkgs/applications/science/logic/drat-trim/default.nix +++ b/pkgs/applications/science/logic/drat-trim/default.nix @@ -10,6 +10,10 @@ stdenv.mkDerivation rec { sha256 = "1m9q47dfnvdli1z3kb1jvvbm0dgaw725k1aw6h9w00bggqb91bqh"; }; + postPatch = '' + substituteInPlace Makefile --replace gcc cc + ''; + installPhase = '' install -Dt $out/bin drat-trim ''; |