#!/bin/bash -x

# Make sure we exit if there is a failure
set -e

if [ "x${STP_VERSION}" != "x" ]; then
    # Build minisat
    git clone https://github.com/stp/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 -b "${STP_VERSION}" git://github.com/stp/stp.git src
    mkdir build
    cd build
    # Disabling building of shared libs is a workaround.
    # Don't build against boost because that is broken when mixing packaged boost libraries and gcc 4.8
    cmake -DBUILD_SHARED_LIBS:BOOL=OFF -DENABLE_PYTHON_INTERFACE:BOOL=OFF -DNO_BOOST:BOOL=ON ../src

    set +e # Do not exit if build fails because we need to display the log
    make
else
    echo "No STP_VERSION given or empty"
    exit 1
fi