Enable CaDiCaL support when building boolector

Fixes #46.
GaloisInc · Jan 10, 2024 · f8dc104 · f8dc104
1 parent 07020d0
commit f8dc104
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.github/ci.sh b/.github/ci.sh
@@ -50,6 +50,7 @@ build_boolector() {
     patch -p1 -i $PATCHES/boolector-mingw64.patch
   fi
   ./contrib/setup-lingeling.sh
+  ./contrib/setup-cadical.sh
   ./contrib/setup-btor2tools.sh
   ./configure.sh --ninja
   cd build