try two

meelgroup · Jan 23, 2025 · 76e97ee · 76e97ee
1 parent 7aa9a2c
commit 76e97ee
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/scripts/deps/setup-minisat.sh b/scripts/deps/setup-minisat.sh
@@ -13,7 +13,7 @@ cd "${dep_dir}"
 git clone https://github.com/stp/minisat "${dep}"
 cd "${dep}"
 mkdir build && cd build
-cmake -DBUILD_SHARED_LIBS=ON -DCMAKE_INSTALL_PREFIX:PATH="${install_dir}" ..
+cmake -DCMAKE_INSTALL_PREFIX:PATH="${install_dir}" ..
 cmake --build . --parallel "$(nproc)"
 cmake --install .
 cd ..