diff options
| author | Gereon Kremer <gereon.kremer@cs.rwth-aachen.de> | 2020-07-17 09:06:31 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-07-17 00:06:31 -0700 |
| commit | 0a7e733a5cee4733ca8ca9fff1f6eab6fc22a549 (patch) | |
| tree | 8df7919ddfa7e3d3b6207f61edddfac6ed204305 /contrib | |
| parent | 2ee5a2bcf5fd7aaf72d44553ebb85edd76fd06c8 (diff) | |
Integration of libpoly (#4679)
This commit integrates LibPoly into CVC4. It adds `contrib/get-poly`, adds it to the configure script, cmake and places where CVC4 inspects its own build configuration.
Furthermore, it adds `CVC4::RealAlgebraicNumber` (which wraps `poly::AlgebraicNumber`) including some basic unit tests and some utilities.
Diffstat (limited to 'contrib')
| -rwxr-xr-x | contrib/get-poly | 31 |
1 files changed, 31 insertions, 0 deletions
diff --git a/contrib/get-poly b/contrib/get-poly new file mode 100755 index 000000000..a0bc181ed --- /dev/null +++ b/contrib/get-poly @@ -0,0 +1,31 @@ +#!/usr/bin/env bash +# +source "$(dirname "$0")/get-script-header.sh" + +POLY_DIR="$DEPS_DIR/poly" +version="v0.1.8" + +check_dep_dir "$POLY_DIR" +setup_dep \ + "https://github.com/SRI-CSL/libpoly/archive/master.tar.gz" "$POLY_DIR" +# TODO(Gereon, #4706): Go back to fixed version with the next release + +pwd +cd "$POLY_DIR/build/" + +CMAKEFLAGS="\ + -DCMAKE_BUILD_TYPE=Release \ + -DLIBPOLY_BUILD_PYTHON_API=OFF \ + -DLIBPOLY_BUILD_STATIC=ON \ + -DLIBPOLY_BUILD_STATIC_PIC=ON \ +" + +echo "Installing to $INSTALL_DIR" + +cmake -DCMAKE_INSTALL_PREFIX="$INSTALL_DIR" $CMAKEFLAGS ../ && make -j${NPROC} install + +echo +echo "Using poly version $version" +echo +echo ===================== Now configure CVC4 with ===================== +echo ./configure.sh --poly |