diff options
author | Michael Raskin <7c6f434c@mail.ru> | 2016-03-31 01:52:23 +0200 |
---|---|---|
committer | Michael Raskin <7c6f434c@mail.ru> | 2016-03-31 01:52:33 +0200 |
commit | 016d523d8260d867ea4a2f2e4a6675c873fb9866 (patch) | |
tree | 7a97bd25a3179036d1872da4e7cf4d95f0ee5792 /pkgs/applications/science/logic/cvc4 | |
parent | 254e2cc982808467539b232ffe8f15348b84c36f (diff) | |
download | nixlib-016d523d8260d867ea4a2f2e4a6675c873fb9866.tar nixlib-016d523d8260d867ea4a2f2e4a6675c873fb9866.tar.gz nixlib-016d523d8260d867ea4a2f2e4a6675c873fb9866.tar.bz2 nixlib-016d523d8260d867ea4a2f2e4a6675c873fb9866.tar.lz nixlib-016d523d8260d867ea4a2f2e4a6675c873fb9866.tar.xz nixlib-016d523d8260d867ea4a2f2e4a6675c873fb9866.tar.zst nixlib-016d523d8260d867ea4a2f2e4a6675c873fb9866.zip |
cvc4: fix the build by skipping line markers in cpp expansions during configure, helps the configure script to find Boost version
Diffstat (limited to 'pkgs/applications/science/logic/cvc4')
-rw-r--r-- | pkgs/applications/science/logic/cvc4/default.nix | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/pkgs/applications/science/logic/cvc4/default.nix b/pkgs/applications/science/logic/cvc4/default.nix index 769f86d5d77a..5175037f01b3 100644 --- a/pkgs/applications/science/logic/cvc4/default.nix +++ b/pkgs/applications/science/logic/cvc4/default.nix @@ -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; { |