From cf930214e12b49e89be4674043d9f461d667baae Mon Sep 17 00:00:00 2001
From: Martin Nowack <m.nowack@imperial.ac.uk>
Date: Thu, 28 Feb 2019 11:56:19 +0000
Subject: Updated dependency build system for KLEE

Provide a single `scripts/build/build.sh` file to build KLEE and its
dependencies.
---
 scripts/build/solvers.sh | 30 ------------------------------
 1 file changed, 30 deletions(-)
 delete mode 100755 scripts/build/solvers.sh

(limited to 'scripts/build/solvers.sh')

diff --git a/scripts/build/solvers.sh b/scripts/build/solvers.sh
deleted file mode 100755
index 71ad0c2d..00000000
--- a/scripts/build/solvers.sh
+++ /dev/null
@@ -1,30 +0,0 @@
-#!/bin/bash -x
-# Make sure we exit if there is a failure
-set -e
-
-DIR="$(cd "$(dirname "$0")" && pwd)"
-source "${DIR}/common-defaults.sh"
-
-: ${SOLVERS?"Solvers must be specified"}
-SOLVER_LIST=$(echo "${SOLVERS}" | sed 's/:/ /g')
-
-for solver in ${SOLVER_LIST}; do
-  echo "Getting solver ${solver}"
-  case ${solver} in
-  STP)
-    echo "STP"
-    "${DIR}/solver-stp.sh"
-    ;;
-  Z3)
-    echo "Z3"
-    "${DIR}/solver-z3.sh"
-    ;;
-  metaSMT)
-    echo "metaSMT"
-    "${DIR}/solver-metasmt.sh"
-    ;;
-  *)
-    echo "Unknown solver ${solver}"
-    exit 1
-  esac
-done
-- 
cgit 1.4.1