[DEBUG] Print smt-switch CMake errors

stanford-centaur · Jul 5, 2024 · d0856db · d0856db
1 parent ba1b039
commit d0856db
Show file tree

Hide file tree

Showing 2 changed files with 15 additions and 0 deletions.
diff --git a/contrib/setup-smt-switch.sh b/contrib/setup-smt-switch.sh
@@ -63,6 +63,7 @@ if [ ! -d "$DEPS/smt-switch" ]; then
     git clone https://github.com/stanford-centaur/smt-switch
     cd smt-switch
     git checkout -f $SMT_SWITCH_VERSION
+    git apply "$DIR/../print-error.patch"
     ./contrib/setup-btor.sh
     if [ $cvc5_home = default ]; then
         ./contrib/setup-cvc5.sh

diff --git a/print-error.patch b/print-error.patch
@@ -0,0 +1,14 @@
+diff --git a/python/CMakeLists.txt b/python/CMakeLists.txt
+index f4eb487..642a2ba 100644
+--- a/python/CMakeLists.txt
++++ b/python/CMakeLists.txt
+@@ -7,7 +7,8 @@ function(check_python_module module)
+     ${PYTHON_EXECUTABLE} -c "import ${module}"
+     RESULT_VARIABLE
+       RET_MODULE_TEST
+-    ERROR_QUIET
++    ECHO_RESULT_VARIABLE
++    ECHO_ERROR_VARIABLE
+   )
+   set(module_name ${ARGN})
+   if(NOT module_name)