minisat static lib in ci

meelgroup · Jan 24, 2025 · ea82503 · ea82503
1 parent 5035a1e
commit ea82503
Showing 1 changed file with 3 additions and 4 deletions.
diff --git a/scripts/deps/setup-staticdeps.sh b/scripts/deps/setup-staticdeps.sh
@@ -19,14 +19,11 @@ git clone https://github.com/stp/minisat "${dep}" || true
 cd "${dep}"
 mkdir build || true
 cd build
-cmake -DCMAKE_INSTALL_PREFIX:PATH="${install_dir}" ..
+cmake -DBUILD_SHARED_LIBS=OFF -DCMAKE_INSTALL_PREFIX:PATH="${install_dir}" ..
 cmake --build . --parallel "$(nproc)"
 cmake --install .
 cd ../..
 
-dep="cms"
-
-
 git clone https://github.com/meelgroup/cadical || true
 cd cadical
 git checkout mate-only-libraries-1.8.0
@@ -43,6 +40,8 @@ make -j "$(nproc)"
 ln -s libcadiback.* ${install_dir}/lib/
 cd ..
 
+dep="cms"
+
 git clone https://github.com/msoos/cryptominisat "${dep}" || true
 cd "${dep}"
 mkdir build || true