about summary refs log tree commit diff homepage
path: root/.travis/metaSMT.sh
diff options
context:
space:
mode:
authorHoang <hle@cs.uni-bremen.de>2016-05-26 23:38:50 +0200
committerHoang M. Le <hle@informatik.uni-bremen.de>2016-06-10 10:27:04 +0200
commit70bb7ef976a6a7b43d8aad6577773feaed7a2ebd (patch)
tree293ec37d992851378df9e8a4e09c19a847ad4a3a /.travis/metaSMT.sh
parentb30c06f9115bfcfea7a5d4d7609a25778adc573e (diff)
downloadklee-70bb7ef976a6a7b43d8aad6577773feaed7a2ebd.tar.gz
add metaSMT to travis
Diffstat (limited to '.travis/metaSMT.sh')
-rwxr-xr-x.travis/metaSMT.sh20
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