pyrox.dev
eprover: fix build in non-GCC environments
+2
-1
pkgs/applications/science/logic/eprover/default.nix
+2
-1
pkgs/applications/science/logic/eprover/default.nix
···
1
1
{ stdenv, fetchurl, which }:
2
+
2
3
stdenv.mkDerivation rec {
3
4
name = "eprover-${version}";
4
5
version = "2.0";
···
11
12
buildInputs = [ which ];
12
13
13
14
preConfigure = ''
14
-
sed -e 's/ *CC *= gcc$//' -i Makefile.vars
15
+
sed -e 's/ *CC *= *gcc$//' -i Makefile.vars
15
16
'';
16
17
configureFlags = "--exec-prefix=$(out) --man-prefix=$(out)/share/man";
17
18