From c0e85dc175f4ecc012e66a86949b2887389740ed Mon Sep 17 00:00:00 2001 From: Dan Liew Date: Thu, 23 Mar 2017 15:45:12 +0000 Subject: [TravisCI] Check if `METASMT_VERSION` is set and abort if it is not set. Also exit if any of the commands in `.travis/metaSMT.sh` fail. --- .travis/metaSMT.sh | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/.travis/metaSMT.sh b/.travis/metaSMT.sh index 9c21d341..ce559f8f 100755 --- a/.travis/metaSMT.sh +++ b/.travis/metaSMT.sh @@ -1,5 +1,9 @@ #!/bin/bash -x +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 -- cgit 1.4.1 From de455fc44e4ed4a233b5ff472a2fd0a43036d0db Mon Sep 17 00:00:00 2001 From: Dan Liew Date: Thu, 23 Mar 2017 18:29:55 +0000 Subject: [TravisCI] Try to unbreak the metaSMT build. It looks like `deps/stp-git-basic/lib` contains a directory named `cmake` so use `-r` instead in the hack in the `metaSMT.sh`. We didn't catch this before because the script previously just carried on executing if a command failed. --- .travis/metaSMT.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.travis/metaSMT.sh b/.travis/metaSMT.sh index ce559f8f..b88963dd 100755 --- a/.travis/metaSMT.sh +++ b/.travis/metaSMT.sh @@ -25,7 +25,7 @@ sudo cp dependencies/Z3-2.19/Z3Config.cmake /usr # this is a hack 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 deps/stp-git-basic/lib/* /usr/lib/ # +sudo cp -r deps/stp-git-basic/lib/* /usr/lib/ # # Build make -C build install -- cgit 1.4.1 From 64a28ee700d7be23e0d8b0de7c8282d532bbcc6b Mon Sep 17 00:00:00 2001 From: Dan Liew Date: Thu, 30 Mar 2017 12:28:09 +0100 Subject: [TravisCI] Try unbreaking the TravisCI metaSMT build. Copying across the `cmake` directory breaks KLEE's CMake build. Just copy across the STP library for now. This really sucks. The script needs to do a better job of installing MetaSMT and its dependencies. For reference here's the error. ``` CMake Error at /usr/lib/cmake/STP/STPTargets.cmake:67 (message): The imported target "stp_simple" references the file "/usr/bin/stp_simple" but this file does not exist. Possible reasons include: * The file was deleted, renamed, or moved to another location. * An install or uninstall procedure did not complete successfully. * The installation package was faulty and contained "/usr/lib/cmake/STP/STPTargets.cmake" but not all the files it references. Call Stack (most recent call first): /usr/lib/cmake/STP/STPConfig.cmake:15 (include) /home/travis/build/klee/build/metaSMT/build/metaSMTConfig.cmake:6 (find_package) cmake/find_metasmt.cmake:10 (find_package) CMakeLists.txt:360 (include) ``` --- .travis/metaSMT.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.travis/metaSMT.sh b/.travis/metaSMT.sh index b88963dd..26a61c6b 100755 --- a/.travis/metaSMT.sh +++ b/.travis/metaSMT.sh @@ -25,7 +25,7 @@ sudo cp dependencies/Z3-2.19/Z3Config.cmake /usr # this is a hack 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/* /usr/lib/ # +sudo cp -r deps/stp-git-basic/lib/lib* /usr/lib/ # # Build make -C build install -- cgit 1.4.1