diff options
| author | Hoang M. Le <hle@informatik.uni-bremen.de> | 2017-04-11 13:45:14 +0200 |
|---|---|---|
| committer | Dan Liew <delcypher@gmail.com> | 2017-05-02 11:41:18 +0100 |
| commit | 3eef6fd52718980c5a7e6f217050ed16acbb5fa3 (patch) | |
| tree | 3fe9e57c7cac80b06ae3258da1ab6c523347e66a /.travis/metaSMT.sh | |
| parent | af9b2eee77cc5ac79ff647a0e3fa51f464702e31 (diff) | |
| download | klee-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
Diffstat (limited to '.travis/metaSMT.sh')
| -rwxr-xr-x | .travis/metaSMT.sh | 16 |
1 files changed, 14 insertions, 2 deletions
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 |