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 | nixpkgs-016d523d8260d867ea4a2f2e4a6675c873fb9866.tar nixpkgs-016d523d8260d867ea4a2f2e4a6675c873fb9866.tar.gz nixpkgs-016d523d8260d867ea4a2f2e4a6675c873fb9866.tar.bz2 nixpkgs-016d523d8260d867ea4a2f2e4a6675c873fb9866.tar.lz nixpkgs-016d523d8260d867ea4a2f2e4a6675c873fb9866.tar.xz nixpkgs-016d523d8260d867ea4a2f2e4a6675c873fb9866.tar.zst nixpkgs-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 769f86d5d77..5175037f01b 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; { |