blob: a253514e86a78991508ad36deee29613457a07f4 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
|
#!/usr/bin/env bash
#
source "$(dirname "$0")/get-script-header.sh"
CADICAL_DIR="$DEPS_DIR/cadical"
version="rel-1.2.1"
check_dep_dir "$CADICAL_DIR"
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
|