diff options
author | Hoang <hle@cs.uni-bremen.de> | 2016-05-26 23:38:50 +0200 |
---|---|---|
committer | Hoang M. Le <hle@informatik.uni-bremen.de> | 2016-06-10 10:27:04 +0200 |
commit | 70bb7ef976a6a7b43d8aad6577773feaed7a2ebd (patch) | |
tree | 293ec37d992851378df9e8a4e09c19a847ad4a3a /.travis/metaSMT.sh | |
parent | b30c06f9115bfcfea7a5d4d7609a25778adc573e (diff) | |
download | klee-70bb7ef976a6a7b43d8aad6577773feaed7a2ebd.tar.gz |
add metaSMT to travis
Diffstat (limited to '.travis/metaSMT.sh')
-rwxr-xr-x | .travis/metaSMT.sh | 20 |
1 files changed, 20 insertions, 0 deletions
diff --git a/.travis/metaSMT.sh b/.travis/metaSMT.sh new file mode 100755 index 00000000..7a0d1eef --- /dev/null +++ b/.travis/metaSMT.sh @@ -0,0 +1,20 @@ +#!/bin/bash -x + +# Get Boost, Z3, libgmp +sudo apt-get -y install libboost1.55-dev libz3 libz3-dev libgmp-dev + +# Clone +git clone git://github.com/hoangmle/metaSMT.git +cd metaSMT +git clone git://github.com/agra-uni-bremen/dependencies.git + +# 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 --build stp-git-basic --build boolector-1.5.118 --build minisat-git -DZ3_DIR=/usr +sudo cp deps/boolector-1.5.118/lib/* /usr/lib/ # +sudo cp deps/minisat-git/lib/* /usr/lib/ # hack +sudo cp deps/stp-git-basic/lib/* /usr/lib/ # + +# Build +make -C build install |