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

cvc4: fix the build by skipping line markers in cpp expansions during configure, helps the configure script to find Boost version

Browse Source
This commit is contained in:
Michael Raskin 2016-03-31 01:52:23 +02:00
parent 254e2cc982
commit 016d523d82
1 changed files with 6 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
pkgs/applications/science/logic/cvc4/default.nix
View File

@ -10,7 +10,12 @@ stdenv.mkDerivation rec {
};
buildInputs = [ gmp libantlr3c boost autoreconfHook ];
preConfigure = "patchShebangs ./src/";
preConfigure = ''
patchShebangs ./src/
OLD_CPPFLAGS="$CPPFLAGS"
export CPPFLAGS="$CPPFLAGS -P"
'';
postConfigure = ''CPPFLAGS="$OLD_CPPFLAGS"'';
doChecks = true;
meta = with stdenv.lib; {