blob: bb3fab2fa41d6acf6d44497728103bb8ae2d5519 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
|
#!/usr/bin/env bash
#
source "$(dirname "$0")/get-script-header.sh"
CADICAL_DIR="$DEPS_DIR/cadical"
version="rel-1.2.1"
setup_dep \
"https://github.com/arminbiere/cadical/archive/$version.tar.gz" "$CADICAL_DIR"
cd "$CADICAL_DIR"
CXXFLAGS="-fPIC" ./configure && make -j$(nproc)
install_lib build/libcadical.a
install_includes src/cadical.hpp
echo
echo "Using CaDiCaL version $version"
echo
echo ===================== Now configure CVC4 with =====================
echo ./configure.sh --cadical
|
