correcting dependencies while building

meelgroup · Apr 20, 2024 · 86515c8 · 86515c8
1 parent 52d7a5e
commit 86515c8
Show file tree

Hide file tree

Showing 2 changed files with 23 additions and 0 deletions.
diff --git a/scripts/deps/setup-cms.sh b/scripts/deps/setup-cms.sh
@@ -10,6 +10,22 @@ install_dir=$(readlink -fm "${dep_dir}"/install)
 dep="cms"
 
 cd "${dep_dir}"
+
+
+git clone https://github.com/meelgroup/cadical
+cd cadical
+git checkout mate-only-libraries-1.8.0
+./configure
+make
+cd ..
+
+git clone https://github.com/meelgroup/cadiback
+cd cadiback
+git checkout mate
+./configure
+make
+cd ..
+
 git clone https://github.com/msoos/cryptominisat "${dep}"
 cd "${dep}"
 mkdir build && cd build

diff --git a/scripts/deps/setup-unisamp.sh b/scripts/deps/setup-unisamp.sh
@@ -18,6 +18,13 @@ cmake -DCMAKE_INSTALL_PREFIX:PATH="${install_dir}" ..
 make -j10
 cd ../..
 
+git clone https://github.com/meelgroup/sbva
+cd sbva
+mkdir build && cd build
+cmake -DCMAKE_INSTALL_PREFIX:PATH="${install_dir}" ..
+make -j8
+cd ../..
+
 git clone https://github.com/meelgroup/arjun
 cd arjun
 mkdir build && cd build