diff options
| author | happysalada <raphael@megzari.com> | 2022-05-02 19:06:35 -0400 |
|---|---|---|
| committer | Yt <raphael@megzari.com> | 2022-05-02 19:48:09 -0400 |
| commit | e4dfaba5068580ab143b0df4e1eac5517164ec35 (patch) | |
| tree | 4e9545a043b5805efbb07261a417a33c03c873cf | |
| parent | d0bde75453866c67ea8829a884048d1b3245e88c (diff) | |
solc: disable z3 strict version check
| -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 ''; |