[tmp, bitwuzla] Remied libgmp dependency.

S1eGa · Nov 21, 2023 · a1506db · a1506db
1 parent 40ecf5c
commit a1506db
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 3 deletions.
diff --git a/scripts/build/p-bitwuzla-linux-ubuntu.inc b/scripts/build/p-bitwuzla-linux-ubuntu.inc
@@ -17,7 +17,7 @@ install_build_dependencies_bitwuzla() {
   with_sudo apt -y --no-install-recommends install "${dependencies[@]}"
 
   with_sudo apt-get update -y
-  with_sudo apt-get -y --no-install-recommends install pkg-config cmake-data libgmp-dev
+  with_sudo apt-get -y --no-install-recommends install pkg-config cmake-data
 
   with_sudo pip3 install --user meson
   base_path="$(python3 -m site --user-base)"

diff --git a/scripts/build/p-bitwuzla.inc b/scripts/build/p-bitwuzla.inc
@@ -16,7 +16,7 @@ download_bitwuzla() {
 
 build_bitwuzla() {
   pushd "${BASE}/bitwuzla-${BITWUZLA_VERSION}"
-  ./configure.py --build-dir "${BITWUZLA_BUILD_PATH}" --prefix "${BITWUZLA_INSTALL_PATH}"
+  ./configure.py --build-dir "${BITWUZLA_BUILD_PATH}" --prefix "${BITWUZLA_INSTALL_PATH}" --static
   popd
   cd "${BITWUZLA_BUILD_PATH}" || return 1
   yes n | ninja install

diff --git a/scripts/build/p-klee-linux-ubuntu.inc b/scripts/build/p-klee-linux-ubuntu.inc
@@ -12,12 +12,12 @@ install_build_dependencies_klee() {
     python3-wheel
     pkg-config
     cmake-data
-    libgmp-dev
   )
 
   if [[ "${SOLVERS:-}" == "metaSMT" ]]; then
     dependencies+=(
       libboost-dev
+      libgmp-dev
     )
   fi
   if [[ $(to_bool "${COVERAGE}") -eq 1 ]]; then