diff options
author | Shea Levy <shea@shealevy.com> | 2022-06-23 12:37:27 -0400 |
---|---|---|
committer | Shea Levy <shea@shealevy.com> | 2022-06-23 12:40:46 -0400 |
commit | 4d781f329ded7a99d0225e4f01fc56303b1d18ab (patch) | |
tree | 5ce367dab56aceaa3b5a7464bf687c1808d116d3 | |
parent | 8e6206f9c9324d0a4ae151d1ed1d099ba76cc5ee (diff) | |
download | nixpkgs-4d781f329ded7a99d0225e4f01fc56303b1d18ab.tar nixpkgs-4d781f329ded7a99d0225e4f01fc56303b1d18ab.tar.gz nixpkgs-4d781f329ded7a99d0225e4f01fc56303b1d18ab.tar.bz2 nixpkgs-4d781f329ded7a99d0225e4f01fc56303b1d18ab.tar.lz nixpkgs-4d781f329ded7a99d0225e4f01fc56303b1d18ab.tar.xz nixpkgs-4d781f329ded7a99d0225e4f01fc56303b1d18ab.tar.zst nixpkgs-4d781f329ded7a99d0225e4f01fc56303b1d18ab.zip |
z3_4_4_0: Fix build on darwin.
-rw-r--r-- | pkgs/applications/science/logic/z3/4.4.0.nix | 2 | ||||
-rw-r--r-- | pkgs/top-level/all-packages.nix | 2 |
2 files changed, 3 insertions, 1 deletions
diff --git a/pkgs/applications/science/logic/z3/4.4.0.nix b/pkgs/applications/science/logic/z3/4.4.0.nix index a3d6c16fb7d..857bbbdee5d 100644 --- a/pkgs/applications/science/logic/z3/4.4.0.nix +++ b/pkgs/applications/science/logic/z3/4.4.0.nix @@ -14,6 +14,8 @@ stdenv.mkDerivation rec { buildInputs = [ python ]; enableParallelBuilding = true; + CXXFLAGS = if stdenv.isDarwin then "-std=gnu++98" else null; + configurePhase = "python scripts/mk_make.py --prefix=$out && cd build"; # z3's install phase is stupid because it tries to calculate the diff --git a/pkgs/top-level/all-packages.nix b/pkgs/top-level/all-packages.nix index f57ddc35858..be3369ee1e7 100644 --- a/pkgs/top-level/all-packages.nix +++ b/pkgs/top-level/all-packages.nix @@ -33631,7 +33631,7 @@ with pkgs; z3 = z3_4_8; z3_4_4_0 = callPackage ../applications/science/logic/z3/4.4.0.nix { python = python2; - stdenv = gcc49Stdenv; + stdenv = if stdenv.isDarwin then stdenv else gcc49Stdenv; }; z3-tptp = callPackage ../applications/science/logic/z3/tptp.nix {}; |