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