1 files changed, 0 insertions, 57 deletions
diff --git a/scripts/build/solver-stp.sh b/scripts/build/solver-stp.sh
deleted file mode 100755
index 2e65ca30..00000000
--- a/scripts/build/solver-stp.sh
+++ /dev/null
@@ -1,57 +0,0 @@
-#!/bin/bash -x
-
-# TODO: For OSX we can prepare bottled formulas for STP and minisat
-
-# Make sure we exit if there is a failure
-set -e
-DIR="$(cd "$(dirname "$0")" && pwd)"
-source "${DIR}/common-defaults.sh"
-
-cd ${BASE}
-if [ "x${STP_VERSION}" != "x" ]; then
-  # Build minisat
-  git_clone_or_update https://github.com/stp/minisat "${BASE}/minisat"
-  mkdir -p "${BASE}/minisat/build"
-  cd "${BASE}/minisat/build"
-  MINISAT_DIR="$(pwd)"
-  if [[ "$TRAVIS_OS_NAME" == "linux" || "$TRAVIS_OS_NAME" == "osx" ]]; then
-    CFLAGS="${SANITIZER_C_FLAGS}" \
-    CXXFLAGS="${SANITIZER_CXX_FLAGS}" \
-    LDFLAGS="${SANITIZER_LD_FLAGS}" \
-    cmake -DCMAKE_INSTALL_PREFIX="${BASE}/minisat-install" \
-      ${SANITIZER_CMAKE_C_COMPILER} \
-      ${SANITIZER_CMAKE_CXX_COMPILER} \
-      "${BASE}/minisat"
-  else
-    echo "Unhandled TRAVIS_OS_NAME \"${TRAVIS_OS_NAME}\""
-    exit 1
-  fi
-  make
-  make install
-
-  # Build STP
-  git_clone_or_update git://github.com/stp/stp.git "${BASE}/stp-${STP_VERSION}" ${STP_VERSION}
-  mkdir -p "${BASE}/stp-${STP_VERSION}-build"
-  cd "${BASE}/stp-${STP_VERSION}-build"
-
-  STP_CMAKE_FLAGS=( \
-     "-DENABLE_PYTHON_INTERFACE:BOOL=OFF" \
-     -DNO_BOOST:BOOL=ON \
-     -DENABLE_PYTHON_INTERFACE:BOOL=OFF \
-     ${SANITIZER_CMAKE_C_COMPILER} \
-     ${SANITIZER_CMAKE_CXX_COMPILER} \
-  )
-  # 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
-  CFLAGS="${SANITIZER_C_FLAGS}" \
-  CXXFLAGS="${SANITIZER_CXX_FLAGS}" \
-  LDFLAGS="${SANITIZER_LD_FLAGS}" \
-  cmake ${STP_CMAKE_FLAGS} \
-        -DCMAKE_PREFIX_PATH="${BASE}/minisat-install" "${BASE}/stp-${STP_VERSION}" \
-        -DCMAKE_INSTALL_PREFIX="${BASE}/stp-${STP_VERSION}-install"
-  make
-  make install
-else
-  echo "No STP_VERSION given or empty"
-  exit 1
-fi