solc: disable z3 strict version check
commite4dfaba5068580ab143b0df4e1eac5517164ec35
authorhappysalada <raphael@megzari.com>
dateMon 2 May 2022, 19:06 (5 years ago)
parentd0bde75
pkgs/development/compilers/solc/default.nix+6−3
@@ -62,9 +62,12 @@ let
6262
6363 cmakeFlags = [
6464 "-DBoost_USE_STATIC_LIBS=OFF"
65− ] ++ lib.optionals (!z3Support) [
65+
66+ ] ++ (if z3Support then [
67+ "-DSTRICT_Z3_VERSION=OFF"
68+ ] else [
6669 "-DUSE_Z3=OFF"
67− ] ++ lib.optionals (!cvc4Support) [
70+ ]) ++ lib.optionals (!cvc4Support) [
6871 "-DUSE_CVC4=OFF"
6972 ];
7073
@@ -90,7 +93,7 @@ let
9093 for i in ./scripts/*.sh ./scripts/*.py ./test/*.sh ./test/*.py; do
9194 patchShebangs "$i"
9295 done
93− TERM=xterm ./scripts/tests.sh
96+ TERM=xterm ./scripts/tests.sh ${if z3Support then "--no-smt" else ""}
9497 popd
9598 '';
9699