From 1040e1eb7d9c7fb9d3a168422d994d94df977e7c Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?=C3=81ron=20Ricardo=20Perez-Lopez?= Date: Thu, 16 May 2024 07:01:16 -0700 Subject: [PATCH] Do not use --static for smt-switch --- contrib/setup-smt-switch.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/contrib/setup-smt-switch.sh b/contrib/setup-smt-switch.sh index 54a57cc9..ca10ee57 100755 --- 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