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 /pkgs/development/compilers/solc | |
parent | d0bde75453866c67ea8829a884048d1b3245e88c (diff) | |
download | nixlib-e4dfaba5068580ab143b0df4e1eac5517164ec35.tar nixlib-e4dfaba5068580ab143b0df4e1eac5517164ec35.tar.gz nixlib-e4dfaba5068580ab143b0df4e1eac5517164ec35.tar.bz2 nixlib-e4dfaba5068580ab143b0df4e1eac5517164ec35.tar.lz nixlib-e4dfaba5068580ab143b0df4e1eac5517164ec35.tar.xz nixlib-e4dfaba5068580ab143b0df4e1eac5517164ec35.tar.zst nixlib-e4dfaba5068580ab143b0df4e1eac5517164ec35.zip |
solc: disable z3 strict version check
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 ''; |