Override libgmp search procedure to include static lib

CyanoKobalamyne · May 16, 2024 · b8af2c2 · b8af2c2
1 parent def2c79
commit b8af2c2
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 3 deletions.
diff --git a/cmake/FindGMP.cmake b/cmake/FindGMP.cmake
@@ -4,8 +4,8 @@
 # GMP_LIBRARIES - Libraries needed to use GMP
 
 find_path(GMP_INCLUDE_DIR NAMES gmp.h gmpxx.h)
-find_library(GMP_LIBRARIES NAMES gmp)
-find_library(GMPXX_LIBRARIES NAMES gmpxx)
+find_library(GMP_LIBRARIES NAMES libgmp.a)
+find_library(GMPXX_LIBRARIES NAMES libgmpxx.a)
 
 include(FindPackageHandleStandardArgs)
 find_package_handle_standard_args(GMP DEFAULT_MSG GMP_INCLUDE_DIR GMP_LIBRARIES)

diff --git a/contrib/setup-smt-switch.sh b/contrib/setup-smt-switch.sh
@@ -76,7 +76,8 @@ 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 --smtlib-reader --bison-dir=../bison/bison-install --flex-dir=../flex/flex-install
+    # override included CMake modules with our own so that static libgmp is linked
+    ./configure.sh --btor --cvc5 $CONF_OPTS --prefix=local --smtlib-reader --bison-dir=../bison/bison-install --flex-dir=../flex/flex-install -DCMAKE_MODULE_PATH="$DIR/../cmake"
     cd build
     make -j$(nproc)
     make test