diff options
author | Vincent Laporte <Vincent.Laporte@gmail.com> | 2018-02-14 22:46:12 +0000 |
---|---|---|
committer | Vincent Laporte <Vincent.Laporte@gmail.com> | 2018-02-14 22:46:12 +0000 |
commit | e75009ecdc94a1f16cca0ec42f76594384a24479 (patch) | |
tree | a723f240df9336c5b9795ae8864137ab09270131 /pkgs/applications/science | |
parent | ef9666e0256bdb944901abd58fecd1d8f113f35b (diff) | |
download | nixlib-e75009ecdc94a1f16cca0ec42f76594384a24479.tar nixlib-e75009ecdc94a1f16cca0ec42f76594384a24479.tar.gz nixlib-e75009ecdc94a1f16cca0ec42f76594384a24479.tar.bz2 nixlib-e75009ecdc94a1f16cca0ec42f76594384a24479.tar.lz nixlib-e75009ecdc94a1f16cca0ec42f76594384a24479.tar.xz nixlib-e75009ecdc94a1f16cca0ec42f76594384a24479.tar.zst nixlib-e75009ecdc94a1f16cca0ec42f76594384a24479.zip |
eprover: fix build in non-GCC environments
Diffstat (limited to 'pkgs/applications/science')
-rw-r--r-- | pkgs/applications/science/logic/eprover/default.nix | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/pkgs/applications/science/logic/eprover/default.nix b/pkgs/applications/science/logic/eprover/default.nix index 79c3b74e496b..44328eeb6bbb 100644 --- a/pkgs/applications/science/logic/eprover/default.nix +++ b/pkgs/applications/science/logic/eprover/default.nix @@ -1,4 +1,5 @@ { stdenv, fetchurl, which }: + stdenv.mkDerivation rec { name = "eprover-${version}"; version = "2.0"; @@ -11,7 +12,7 @@ stdenv.mkDerivation rec { buildInputs = [ which ]; preConfigure = '' - sed -e 's/ *CC *= gcc$//' -i Makefile.vars + sed -e 's/ *CC *= *gcc$//' -i Makefile.vars ''; configureFlags = "--exec-prefix=$(out) --man-prefix=$(out)/share/man"; |