Merge pull request #1 from msoos/fix

Fixing build, exporing build commands
meelgroup · Oct 25, 2024 · f4c2227 · f4c2227
2 parents 9b232c6 + e1c8e76
commit f4c2227
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 1 deletion.
diff --git a/CMakeLists.txt b/CMakeLists.txt
@@ -44,6 +44,7 @@ project(STP)
 
 set(CMAKE_C_STANDARD 99)
 set(CMAKE_CXX_STANDARD 14)
+set(CMAKE_EXPORT_COMPILE_COMMANDS 1)
 
 include(GenerateExportHeader)
 include(GNUInstallDirs)

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 -DCMAKE_INSTALL_PREFIX:PATH="${install_dir}" ..
+cmake -DBUILD_SHARED_LIBS=ON -DCMAKE_INSTALL_PREFIX:PATH="${install_dir}" ..
 cmake --build . --parallel "$(nproc)"
 cmake --install .
 cd ..