diff options
author | Mathias Preiner <mathias.preiner@gmail.com> | 2019-12-06 06:48:04 -0800 |
---|---|---|
committer | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2019-12-06 08:48:04 -0600 |
commit | 008d6b51baec353f45324e1d9407d898866cf688 (patch) | |
tree | 136e5c1dcbfb32f1fed99b853b79c2f7ecc6b5d2 /contrib/get-cadical | |
parent | 46bae5d2a8b22867f917c6f644e46e29884049f9 (diff) |
contrib: Setup all dependencies in deps/ directory. (#3534)
Diffstat (limited to 'contrib/get-cadical')
-rwxr-xr-x | contrib/get-cadical | 20 |
1 files changed, 9 insertions, 11 deletions
diff --git a/contrib/get-cadical b/contrib/get-cadical index 6cc1208c6..8c512ad28 100755 --- a/contrib/get-cadical +++ b/contrib/get-cadical @@ -2,23 +2,21 @@ # source "$(dirname "$0")/get-script-header.sh" -if [ -e cadical ]; then - echo 'error: file or directory "cadical" exists; please move it out of the way.' >&2 - exit 1 -fi - +CADICAL_DIR="$DEPS_DIR/cadical" version="rel-1.0.3" -webget "https://github.com/arminbiere/cadical/archive/$version.tar.gz" "cadical-$version.tar.gz" -tar xfvz "cadical-$version.tar.gz" -rm "cadical-$version.tar.gz" -mv "cadical-$version" cadical -cd cadical +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 commit $commit" +echo "Using CaDiCaL version $version" echo echo ===================== Now configure CVC4 with ===================== echo ./configure.sh --cadical |