[NFC] Remove unused config header template that was only used by

the old build system (now removed).

1 files changed, 0 insertions, 118 deletions

diff --git a/include/klee/Config/config.h.in b/include/klee/Config/config.h.in
deleted file mode 100644
index 76d391e4..00000000
--- a/include/klee/Config/config.h.in
+++ /dev/null
@@ -1,118 +0,0 @@
-/* include/klee/Config/config.h.in.  Generated from autoconf/configure.tmp.ac by autoheader.  */
-
-#ifndef KLEE_CONFIG_CONFIG_H
-#define KLEE_CONFIG_CONFIG_H
-
-/* Enable KLEE DEBUG checks */
-#undef ENABLE_KLEE_DEBUG
-
-/* Enable metaSMT API */
-#undef ENABLE_METASMT
-
-/* Using STP Solver backend */
-#undef ENABLE_STP
-
-/* Using Z3 Solver backend */
-#undef ENABLE_Z3
-
-/* Does the platform use __ctype_b_loc, etc. */
-#undef HAVE_CTYPE_EXTERNALS
-
-/* Define to 1 if you have the <gperftools/malloc_extension.h> header file. */
-#undef HAVE_GPERFTOOLS_MALLOC_EXTENSION_H
-
-/* Define to 1 if you have the <inttypes.h> header file. */
-#undef HAVE_INTTYPES_H
-
-/* Define if mallinfo() is available on this platform. */
-#undef HAVE_MALLINFO
-
-/* Define to 1 if you have the <malloc/malloc.h> header file. */
-#undef HAVE_MALLOC_MALLOC_H
-
-/* Define to 1 if you have the `malloc_zone_statistics' function. */
-#undef HAVE_MALLOC_ZONE_STATISTICS
-
-/* Define to 1 if you have the <memory.h> header file. */
-#undef HAVE_MEMORY_H
-
-/* Define to 1 if you have the <selinux/selinux.h> header file. */
-#undef HAVE_SELINUX_SELINUX_H
-
-/* Define to 1 if you have the <stdint.h> header file. */
-#undef HAVE_STDINT_H
-
-/* Define to 1 if you have the <stdlib.h> header file. */
-#undef HAVE_STDLIB_H
-
-/* Define to 1 if you have the <strings.h> header file. */
-#undef HAVE_STRINGS_H
-
-/* Define to 1 if you have the <string.h> header file. */
-#undef HAVE_STRING_H
-
-/* Define to 1 if you have the <sys/acl.h> header file. */
-#undef HAVE_SYS_ACL_H
-
-/* Define to 1 if you have the <sys/capability.h> header file. */
-#undef HAVE_SYS_CAPABILITY_H
-
-/* Define to 1 if you have the <sys/stat.h> header file. */
-#undef HAVE_SYS_STAT_H
-
-/* Define to 1 if you have the <sys/types.h> header file. */
-#undef HAVE_SYS_TYPES_H
-
-/* Define to 1 if you have the <unistd.h> header file. */
-#undef HAVE_UNISTD_H
-
-/* Z3 needs a Z3_context passed to Z3_get_error_msg() */
-#undef HAVE_Z3_GET_ERROR_MSG_NEEDS_CONTEXT
-
-/* Define to 1 if you have the <zlib.h> header file. */
-#undef HAVE_ZLIB_H
-
-/* Enable time stamping the sources */
-#undef KLEE_ENABLE_TIMESTAMP
-
-/* Define to empty or 'const' depending on how SELinux qualifies its security
-   context parameters. */
-#undef KLEE_SELINUX_CTX_CONST
-
-/* LLVM version is release (instead of development) */
-#undef LLVM_IS_RELEASE
-
-/* LLVM major version number */
-#undef LLVM_VERSION_MAJOR
-
-/* LLVM minor version number */
-#undef LLVM_VERSION_MINOR
-
-/* Define to the address where bug reports for this package should be sent. */
-#undef PACKAGE_BUGREPORT
-
-/* Define to the full name of this package. */
-#undef PACKAGE_NAME
-
-/* Define to the full name and version of this package. */
-#undef PACKAGE_STRING
-
-/* Define to the one symbol short name of this package. */
-#undef PACKAGE_TARNAME
-
-/* Define to the home page for this package. */
-#undef PACKAGE_URL
-
-/* Define to the version of this package. */
-#undef PACKAGE_VERSION
-
-/* Configuration for runtime libraries */
-#undef RUNTIME_CONFIGURATION
-
-/* Define to 1 if you have the ANSI C header files. */
-#undef STDC_HEADERS
-
-/* klee-uclibc is supported */
-#undef SUPPORT_KLEE_UCLIBC
-
-#endif