diff options
Diffstat (limited to 'include')
| -rw-r--r-- | include/klee/Config/config.h.in | 118 |
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 |