From b0c1d7291bbedf505529c648bc6c8b59cbef0544 Mon Sep 17 00:00:00 2001
From: Dan Liew <daniel.liew@imperial.ac.uk>
Date: Thu, 2 Apr 2015 22:48:08 +0100
Subject: 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.

---
 .travis/stp.sh | 12 ++++++++++++
 1 file changed, 12 insertions(+)

(limited to '.travis')

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
-- 
cgit 1.4.1