00001 /* include/klee/Config/config.h. Generated from config.h.in by configure. */ 00002 /* include/klee/Config/config.h.in. Generated from autoconf/configure.tmp.ac by autoheader. */ 00003 00004 /* Define if stplog enabled */ 00005 #define ENABLE_STPLOG 0 00006 00007 /* Does the platform use __ctype_b_loc, etc. */ 00008 #define HAVE_CTYPE_EXTERNALS 1 00009 00010 /* Define to 1 if you have the <inttypes.h> header file. */ 00011 #define HAVE_INTTYPES_H 1 00012 00013 /* Define to 1 if you have the <memory.h> header file. */ 00014 #define HAVE_MEMORY_H 1 00015 00016 /* Define to 1 if you have the <selinux/selinux.h> header file. */ 00017 /* #undef HAVE_SELINUX_SELINUX_H */ 00018 00019 /* Define to 1 if you have the <stdint.h> header file. */ 00020 #define HAVE_STDINT_H 1 00021 00022 /* Define to 1 if you have the <stdlib.h> header file. */ 00023 #define HAVE_STDLIB_H 1 00024 00025 /* Define to 1 if you have the <strings.h> header file. */ 00026 #define HAVE_STRINGS_H 1 00027 00028 /* Define to 1 if you have the <string.h> header file. */ 00029 #define HAVE_STRING_H 1 00030 00031 /* Define to 1 if you have the <sys/acl.h> header file. */ 00032 /* #undef HAVE_SYS_ACL_H */ 00033 00034 /* Define to 1 if you have the <sys/stat.h> header file. */ 00035 #define HAVE_SYS_STAT_H 1 00036 00037 /* Define to 1 if you have the <sys/types.h> header file. */ 00038 #define HAVE_SYS_TYPES_H 1 00039 00040 /* Define to 1 if you have the <unistd.h> header file. */ 00041 #define HAVE_UNISTD_H 1 00042 00043 /* Path to KLEE's uClibc */ 00044 #define KLEE_UCLIBC "/home/ddunbar/public/klee/uclibc" 00045 00046 /* Define to the address where bug reports for this package should be sent. */ 00047 #define PACKAGE_BUGREPORT "daniel@minormatter.com" 00048 00049 /* Define to the full name of this package. */ 00050 #define PACKAGE_NAME "KLEE" 00051 00052 /* Define to the full name and version of this package. */ 00053 #define PACKAGE_STRING "KLEE 0.01" 00054 00055 /* Define to the one symbol short name of this package. */ 00056 #define PACKAGE_TARNAME "-klee-" 00057 00058 /* Define to the version of this package. */ 00059 #define PACKAGE_VERSION "0.01" 00060 00061 /* Configuration for runtime libraries */ 00062 #define RUNTIME_CONFIGURATION "Release" 00063 00064 /* Define to 1 if you have the ANSI C header files. */ 00065 #define STDC_HEADERS 1
1.5.8