public
/
nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Merge pull request #34986 from vbgl/eprover-no-gcc 

eprover: fix build in non-GCC environments
This commit is contained in:
Michael Raskin 2018-02-14 22:59:08 +00:00 committed by GitHub
parent fa8f4b187f e75009ecdc
commit ca7b1e64d7
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
pkgs/applications/science/logic/eprover/default.nix
View File

@ -1,4 +1,5 @@
{ stdenv, fetchurl, which }: { stdenv, fetchurl, which }:
stdenv.mkDerivation rec { stdenv.mkDerivation rec {
name = "eprover-${version}"; name = "eprover-${version}";
version = "2.0"; version = "2.0";
@ -11,7 +12,7 @@ stdenv.mkDerivation rec {
buildInputs = [ which ]; buildInputs = [ which ];
preConfigure = '' 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"; configureFlags = "--exec-prefix=$(out) --man-prefix=$(out)/share/man";