Do not use --static for smt-switch

CyanoKobalamyne · Jul 10, 2024 · 1040e1e · 1040e1e
1 parent 021272a
commit 1040e1e
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/contrib/setup-smt-switch.sh b/contrib/setup-smt-switch.sh
@@ -76,7 +76,7 @@ if [ ! -d "$DEPS/smt-switch" ]; then
         ./contrib/setup-bitwuzla.sh
     fi
     # pass bison/flex directories from smt-switch perspective
-    ./configure.sh --btor --cvc5 $CONF_OPTS --prefix=local --static --smtlib-reader --bison-dir=../bison/bison-install --flex-dir=../flex/flex-install
+    ./configure.sh --btor --cvc5 $CONF_OPTS --prefix=local --smtlib-reader --bison-dir=../bison/bison-install --flex-dir=../flex/flex-install
     cd build
     make -j$(nproc)
     make test