diff options
Diffstat (limited to 'pkgs/development/compilers/solc')
| -rw-r--r-- | pkgs/development/compilers/solc/default.nix | 9 |
1 files changed, 6 insertions, 3 deletions
diff --git a/pkgs/development/compilers/solc/default.nix b/pkgs/development/compilers/solc/default.nix index 06aa048a260d..9ad3cf77dc4d 100644 --- a/pkgs/development/compilers/solc/default.nix +++ b/pkgs/development/compilers/solc/default.nix @@ -62,9 +62,12 @@ let cmakeFlags = [ "-DBoost_USE_STATIC_LIBS=OFF" - ] ++ lib.optionals (!z3Support) [ + + ] ++ (if z3Support then [ + "-DSTRICT_Z3_VERSION=OFF" + ] else [ "-DUSE_Z3=OFF" - ] ++ lib.optionals (!cvc4Support) [ + ]) ++ lib.optionals (!cvc4Support) [ "-DUSE_CVC4=OFF" ]; @@ -90,7 +93,7 @@ let for i in ./scripts/*.sh ./scripts/*.py ./test/*.sh ./test/*.py; do patchShebangs "$i" done - TERM=xterm ./scripts/tests.sh + TERM=xterm ./scripts/tests.sh ${if z3Support then "--no-smt" else ""} popd ''; |