Upstream STP now depends on an external build of minisat. Attempt to

fix travis build of upstream STP and also how KLEE links against STP.

1 files changed, 12 insertions, 0 deletions

diff --git a/.travis/stp.sh b/.travis/stp.sh
index abc4e566..1c8fdb48 100755
--- a/.travis/stp.sh
+++ b/.travis/stp.sh
@@ -6,6 +6,18 @@ set -e
 STP_LOG="$(pwd)/stp-build.log"
 
 if [ "${STP_VERSION}" == "UPSTREAM" ]; then
+    # Build minisat
+    git clone https://github.com/niklasso/minisat
+    cd minisat
+    mkdir build
+    cd build
+    MINISAT_DIR=`pwd`
+    cmake -DCMAKE_INSTALL_PREFIX=/usr ..
+    make
+    sudo make install
+    cd ../../
+
+    # Build STP
     git clone --depth 1 git://github.com/stp/stp.git src
     mkdir build
     cd build