Install cadical headers

CyanoKobalamyne · Jul 5, 2024 · 0bec54d · 0bec54d
1 parent d392702
commit 0bec54d
Showing 1 changed file with 8 additions and 0 deletions.
diff --git a/contrib/setup-cadical.sh b/contrib/setup-cadical.sh
@@ -10,11 +10,14 @@ SCRIPT_DIR="$(cd "$(dirname "${BASH_SOURCE[0]}")" && pwd)"
 ROOT_DIR="$(cd "$SCRIPT_DIR/.." && pwd)"
 DEPS_DIR="$ROOT_DIR/deps"
 
+# Download
 mkdir -p "$DEPS_DIR"
 cd $DEPS_DIR
 if [[ ! -d "cadical" ]]; then
     git clone https://github.com/arminbiere/cadical
 fi
+
+# Build
 cd cadical
 git checkout $CADICAL_VERSION
 if [[ -d "build" ]]; then
@@ -23,5 +26,10 @@ else
     CXXFLAGS=-fPIC ./configure
 fi
 make
+
+# Install
 mkdir -p "$DEPS_DIR/install/lib"
 install -m644 "build/libcadical.a" "$DEPS_DIR/install/lib"
+mkdir -p "$DEPS_DIR/install/include"
+install -m644 "src/ccadical.h" "$DEPS_DIR/install/include"
+install -m644 "src/cadical.hpp" "$DEPS_DIR/install/include"