From e1c8e76d7b15be52bf1c7e2d0f4316fbdadf3b90 Mon Sep 17 00:00:00 2001
From: Mate Soos <soos.mate@gmail.com>
Date: Fri, 25 Oct 2024 15:12:52 +0200
Subject: [PATCH] Fixing build, exporing build commands

---
 CMakeLists.txt                | 1 +
 scripts/deps/setup-minisat.sh | 2 +-
 2 files changed, 2 insertions(+), 1 deletion(-)

diff --git a/CMakeLists.txt b/CMakeLists.txt
index e02e9b5f..d4f9ecd6 100644
--- 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
index 7a54d517..68022a5c 100755
--- 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 ..