1 files changed, 0 insertions, 86 deletions
diff --git a/Makefile.config.in b/Makefile.config.in
deleted file mode 100644
index d9572f7d..00000000
--- a/Makefile.config.in
+++ /dev/null
@@ -1,86 +0,0 @@
-# -*- Makefile -*-
-
-# Set the name of the project here
-PROJECT_NAME := @PACKAGE_NAME@
-PROJ_VERSION := @PACKAGE_VERSION@
-
-# Set this variable to the top of the LLVM source tree.
-LLVM_SRC_ROOT = @LLVM_SRC@
-
-# Set this variable to the top level directory where LLVM was built
-# (this is *not* the same as OBJ_ROOT as defined in LLVM's Makefile.config).
-LLVM_OBJ_ROOT = @LLVM_OBJ@
-
-LLVM_VERSION_MAJOR = @LLVM_VERSION_MAJOR@
-LLVM_VERSION_MINOR = @LLVM_VERSION_MINOR@
-
-# Set this to the build mode used to build LLVM (not necessarily the same
-# as the build mode used for KLEE)
-LLVM_BUILD_MODE = @LLVM_BUILD_MODE@
-
-# Set the directory root of this project's source files
-PROJ_SRC_ROOT := $(subst //,/,@abs_top_srcdir@)
-
-# Set the root directory of this project's object files
-PROJ_OBJ_ROOT := $(subst //,/,@abs_top_builddir@)
-
-# Set the root directory of this project's install prefix
-PROJ_INSTALL_ROOT := @prefix@
-
-KLEE_USE_CXX11 := @KLEE_USE_CXX11@
-
-ENABLE_STP := @ENABLE_STP@
-STP_CFLAGS := @STP_CFLAGS@
-STP_LDFLAGS := @STP_LDFLAGS@
-
-ENABLE_METASMT := @ENABLE_METASMT@
-METASMT_ROOT := @METASMT_ROOT@
-METASMT_DEFAULT_BACKEND := @METASMT_DEFAULT_BACKEND@
-
-ENABLE_Z3 := @ENABLE_Z3@
-Z3_CFLAGS := @Z3_CFLAGS@
-Z3_LDFLAGS := @Z3_LDFLAGS@
-
-ENABLE_POSIX_RUNTIME := @ENABLE_POSIX_RUNTIME@
-ENABLE_UCLIBC := @ENABLE_UCLIBC@
-
-KLEE_UCLIBC_BCA := @KLEE_UCLIBC_BCA@
-
-HAVE_SELINUX := @HAVE_SELINUX@
-
-HAVE_TCMALLOC := @HAVE_TCMALLOC@
-TCMALLOC_LIB := @TCMALLOC_LIB@
-
-HAVE_ZLIB := @HAVE_ZLIB@
-
-RUNTIME_ENABLE_OPTIMIZED := @RUNTIME_ENABLE_OPTIMIZED@
-RUNTIME_DISABLE_ASSERTIONS := @RUNTIME_DISABLE_ASSERTIONS@
-RUNTIME_DEBUG_SYMBOLS := @RUNTIME_DEBUG_SYMBOLS@
-RUNTIME_ENABLE_COVERAGE :=
-RUNTIME_ENABLE_PROFILING :=
-
-# Compilers used to build runtime library and run tests
-KLEE_BITCODE_C_COMPILER := @KLEE_BITCODE_C_COMPILER@
-KLEE_BITCODE_CXX_COMPILER := @KLEE_BITCODE_CXX_COMPILER@
-
-# Host compiler
-KLEE_HOST_C_COMPILER := @KLEE_HOST_C_COMPILER@
-KLEE_HOST_CXX_COMPILER := @KLEE_HOST_CXX_COMPILER@
-
-# A list of "features" which tests can check for in XFAIL:
-TEST_FEATURE_LIST :=
-
-ifeq ($(HAVE_SELINUX_SELINUX_H),1)
-  TEST_FEATURE_LIST += have-selinux
-else
-  TEST_FEATURE_LIST += no-selinux
-endif
-
-# disable unwind test
-TEST_FEATURE_LIST += no-unwind
-
-CFLAGS := @CFLAGS@ -Wall -g
-CXXFLAGS := @CXXFLAGS@ -g -Wall
-LDFLAGS := @LDFLAGS@ -g
-
-REQUIRES_RTTI := @REQUIRES_RTTI@