1 files changed, 0 insertions, 26 deletions
diff --git a/scripts/build/install-klee-deps.sh b/scripts/build/install-klee-deps.sh
deleted file mode 100755
index 622e621f..00000000
--- a/scripts/build/install-klee-deps.sh
+++ /dev/null
@@ -1,26 +0,0 @@
-#!/bin/bash
-set -e
-###########################################################################
-# Install KLEE dependencies
-###########################################################################
-DIR="$(cd "$(dirname "$0")" && pwd)"
-
-if [[ "${BASE}x" == "x" ]]; then
-  echo "\${BASE} not set"
-  exit 1
-fi
-
-# Install LLVM and the LLVM bitcode compiler we require to build KLEE
-"${DIR}/llvm.sh"
-
-# Install allocators
-"${DIR}/tcmalloc.sh"
-
-# Get SMT solvers
-"${DIR}/solvers.sh"
-
-# Get needed utlities/libraries for testing KLEE
-"${DIR}/testing-utils.sh"
-
-# Install uclibc
-"${DIR}/uclibc.sh"