diff options
Diffstat (limited to '.travis/metaSMT.sh')
| -rwxr-xr-x | .travis/metaSMT.sh | 12 |
1 files changed, 9 insertions, 3 deletions
diff --git a/.travis/metaSMT.sh b/.travis/metaSMT.sh index f0748919..dbdd2643 100755 --- a/.travis/metaSMT.sh +++ b/.travis/metaSMT.sh @@ -4,8 +4,8 @@ set -e : ${METASMT_VERSION?"METASMT_VERSION not specified"} -# Get Z3, libgmp -sudo apt-get -y install libz3 libz3-dev libgmp-dev +# Get Z3, libgmp, gperf (required by yices2) +sudo apt-get -y install libz3 libz3-dev libgmp-dev gperf # Get Boost if [ "X${METASMT_BOOST_VERSION}" != "X" ]; then @@ -19,6 +19,11 @@ else sudo apt-get -y install libboost1.55-dev fi +# Get CVC4 +wget http://www.informatik.uni-bremen.de/agra/systemc-verification/media/snapshots/cvc4-594301e.tar.gz +tar -xf cvc4-594301e.tar.gz +sudo mv cvc4 /usr + # Clone git clone -b ${METASMT_VERSION} --single-branch --depth 1 https://github.com/hoangmle/metaSMT.git cd metaSMT @@ -33,11 +38,12 @@ fi # Bootstrap export BOOST_ROOT=/usr sudo cp dependencies/Z3-2.19/Z3Config.cmake /usr # this is a hack -./bootstrap.sh -d deps -m RELEASE build -DmetaSMT_ENABLE_TESTS=off -DmetaSMT_REQUIRE_CXX11=off --build stp-git-basic --build boolector-2.2.0 --build minisat-git --build lingeling-ayv-86bf266-140429 -DZ3_DIR=/usr +./bootstrap.sh -d deps -m RELEASE build -DmetaSMT_ENABLE_TESTS=off -DmetaSMT_REQUIRE_CXX11=off --build stp-git-basic --build boolector-2.2.0 --build minisat-git --build lingeling-ayv-86bf266-140429 --build yices-2.5.1 -DZ3_DIR=/usr -DCVC4_DIR=/usr/cvc4 sudo cp deps/boolector-2.2.0/lib/* /usr/lib/ # sudo cp deps/lingeling-ayv-86bf266-140429/lib/* /usr/lib/ # sudo cp deps/minisat-git/lib/* /usr/lib/ # hack sudo cp -r deps/stp-git-basic/lib/lib* /usr/lib/ # +sudo cp deps/yices-2.5.1/lib/* /usr/lib/ # # Build make -C build install |