diff options
Diffstat (limited to 'pkgs/applications/science/logic/z3/default.nix')
| -rw-r--r-- | pkgs/applications/science/logic/z3/default.nix | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/pkgs/applications/science/logic/z3/default.nix b/pkgs/applications/science/logic/z3/default.nix index 0e500af6a59..4153ba5f66f 100644 --- a/pkgs/applications/science/logic/z3/default.nix +++ b/pkgs/applications/science/logic/z3/default.nix @@ -49,9 +49,6 @@ stdenv.mkDerivation rec { ++ optional pythonBindings "--python --pypkgdir=$out/${python.sitePackages}" ) + "\n" + "cd build"; - # ../src/ast/ast.h:183:39: error: 'get<int, int, ast *, symbol, zstring *, rational *, double, unsigned int>' is unavailable: introduced in macOS 10.13 - NIX_CFLAGS_COMPILE = lib.optional (stdenv.hostPlatform.system == "x86_64-darwin") "-D_LIBCPP_DISABLE_AVAILABILITY"; - postInstall = '' mkdir -p $dev $lib mv $out/lib $lib/lib |