[DEBUG] List installed python packages

stanford-centaur · Jul 5, 2024 · 30707ae · 30707ae
1 parent c8ecc95
commit 30707ae
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/contrib/setup-smt-switch.sh b/contrib/setup-smt-switch.sh
@@ -68,6 +68,7 @@ if [ ! -d "$DEPS/smt-switch" ]; then
         ./contrib/setup-cvc5.sh
     fi
     # pass bison/flex directories from smt-switch perspective
+    python3 -m pip list
     ./configure.sh --btor --cvc5 $CONF_OPTS --prefix=local --static --smtlib-reader --bison-dir=../bison/bison-install --flex-dir=../flex/flex-install
     cd build
     make -j$(nproc)