about summary refs log tree commit diff homepage
diff options
context:
space:
mode:
authorHoang M. Le <hle@informatik.uni-bremen.de>2017-04-11 13:45:14 +0200
committerDan Liew <delcypher@gmail.com>2017-05-02 11:41:18 +0100
commit3eef6fd52718980c5a7e6f217050ed16acbb5fa3 (patch)
tree3fe9e57c7cac80b06ae3258da1ab6c523347e66a
parentaf9b2eee77cc5ac79ff647a0e3fa51f464702e31 (diff)
downloadklee-3eef6fd52718980c5a7e6f217050ed16acbb5fa3.tar.gz
[travis] add environment variable METASMT_BOOST_VERSION to control the boost version used by metaSMT and test it with the combination LLVM-2.9 + metaSMT
-rw-r--r--.travis.yml5
-rwxr-xr-x.travis/metaSMT.sh16
2 files changed, 17 insertions, 4 deletions
diff --git a/.travis.yml b/.travis.yml
index 3d01b506..abf056ba 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -25,6 +25,7 @@ env:
     #   STP_VERSION   : {2.1.2, master}
     #   METASMT_VERSION : {v4.rc1}
     #   METASMT_DEFAULT : {btor, stp, z3}
+    #   METASMT_BOOST_VERSION : {x.y.z} // e.g. 1.60.0, libboost-dev will be used if unspecified
     #   UCLIBC: {0, klee_uclibc_v1.0.0, klee_0_9_29} // Note ``0`` means disabled
     #   DISABLE_ASSERTIONS: {0, 1}
     #   ENABLE_OPTIMIZED: {0, 1}
@@ -66,8 +67,8 @@ env:
 
     # Test metaSMT support
     - LLVM_VERSION=3.4 SOLVERS=metaSMT METASMT_VERSION=v4.rc1 METASMT_DEFAULT=btor KLEE_UCLIBC=klee_uclibc_v1.0.0 DISABLE_ASSERTIONS=0 ENABLE_OPTIMIZED=1 COVERAGE=0
-    - LLVM_VERSION=2.9 SOLVERS=metaSMT METASMT_VERSION=v4.rc1 METASMT_DEFAULT=btor KLEE_UCLIBC=klee_uclibc_v1.0.0 DISABLE_ASSERTIONS=0 ENABLE_OPTIMIZED=1 COVERAGE=0
-    
+    - LLVM_VERSION=2.9 SOLVERS=metaSMT METASMT_VERSION=v4.rc1 METASMT_DEFAULT=btor KLEE_UCLIBC=klee_uclibc_v1.0.0 DISABLE_ASSERTIONS=0 ENABLE_OPTIMIZED=1 COVERAGE=0 METASMT_BOOST_VERSION=1.60.0
+
     # Check at least one build with Asserts disabled.
     - LLVM_VERSION=3.4 SOLVERS=STP STP_VERSION=2.1.2 KLEE_UCLIBC=klee_uclibc_v1.0.0 DISABLE_ASSERTIONS=1 ENABLE_OPTIMIZED=1 COVERAGE=0
 
diff --git a/.travis/metaSMT.sh b/.travis/metaSMT.sh
index 11f05758..f0748919 100755
--- a/.travis/metaSMT.sh
+++ b/.travis/metaSMT.sh
@@ -4,8 +4,20 @@ set -e
 
 : ${METASMT_VERSION?"METASMT_VERSION not specified"}
 
-# Get Boost, Z3, libgmp
-sudo apt-get -y install libboost1.55-dev libz3 libz3-dev libgmp-dev
+# Get Z3, libgmp
+sudo apt-get -y install libz3 libz3-dev libgmp-dev
+
+# Get Boost
+if [ "X${METASMT_BOOST_VERSION}" != "X" ]; then
+  # Taken from boost/hana/.travis.yml
+  BOOST_URL="http://sourceforge.net/projects/boost/files/boost/${METASMT_BOOST_VERSION}/boost_${METASMT_BOOST_VERSION//\./_}.tar.gz"
+  BOOST_DIR=`pwd`/boost-${METASMT_BOOST_VERSION}
+  mkdir -p ${BOOST_DIR}
+  wget --quiet -O - ${BOOST_URL} | tar --strip-components=1 -xz -C ${BOOST_DIR}
+  sudo ln -s ${BOOST_DIR}/boost /usr/include/boost
+else
+  sudo apt-get -y install libboost1.55-dev
+fi
 
 # Clone
 git clone -b ${METASMT_VERSION} --single-branch --depth 1 https://github.com/hoangmle/metaSMT.git