From ea82503ecaa37f58f353d12f51409a62ebcd9be0 Mon Sep 17 00:00:00 2001 From: Arijit Shaw Date: Fri, 24 Jan 2025 09:52:09 -0500 Subject: [PATCH] minisat static lib in ci --- scripts/deps/setup-staticdeps.sh | 7 +++---- 1 file changed, 3 insertions(+), 4 deletions(-) diff --git a/scripts/deps/setup-staticdeps.sh b/scripts/deps/setup-staticdeps.sh index 6b31f384..bb35d7c8 100755 --- 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