From e75009ecdc94a1f16cca0ec42f76594384a24479 Mon Sep 17 00:00:00 2001 From: Vincent Laporte Date: Wed, 14 Feb 2018 22:46:12 +0000 Subject: [PATCH] eprover: fix build in non-GCC environments --- pkgs/applications/science/logic/eprover/default.nix | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/pkgs/applications/science/logic/eprover/default.nix b/pkgs/applications/science/logic/eprover/default.nix index 79c3b74e496..44328eeb6bb 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";