00001 /* gecode/support/config.hpp. Generated from config.hpp.in by configure. */ 00002 /* gecode/support/config.hpp.in. Generated from configure.ac by autoheader. */ 00003 00004 /* Whether to include audit code */ 00005 /* #undef GECODE_AUDIT */ 00006 00007 /* User-defined prefix of dll names */ 00008 #define GECODE_DLL_USERPREFIX "" 00009 00010 /* User-defined suffix of dll names */ 00011 #define GECODE_DLL_USERSUFFIX "" 00012 00013 /* Supported version of FlatZinc */ 00014 #define GECODE_FLATZINC_VERSION "1.6" 00015 00016 /* Whether gcc understands visibility attributes */ 00017 #define GECODE_GCC_HAS_CLASS_VISIBILITY 00018 00019 /* whether __builtin_ffsl is available */ 00020 #define GECODE_HAS_BUILTIN_FFSL 00021 00022 /* Whether to build FLOAT variables */ 00023 #define GECODE_HAS_FLOAT_VARS 00024 00025 /* Whether Gist is available */ 00026 #define GECODE_HAS_GIST 00027 00028 /* Whether GNU hash_map is available */ 00029 #define GECODE_HAS_GNU_HASH_MAP 00030 00031 /* Whether to build INT variables */ 00032 #define GECODE_HAS_INT_VARS 00033 00034 /* Whether MPFR is available */ 00035 #define GECODE_HAS_MPFR 00036 00037 /* Whether we have mtrace for memory leak debugging */ 00038 /* #undef GECODE_HAS_MTRACE */ 00039 00040 /* Whether Qt is available */ 00041 #define GECODE_HAS_QT 00042 00043 /* Whether to build SET variables */ 00044 #define GECODE_HAS_SET_VARS 00045 00046 /* Whether unistd.h is available */ 00047 #define GECODE_HAS_UNISTD_H 1 00048 00049 /* Gecode version */ 00050 #define GECODE_LIBRARY_VERSION "4-2-1" 00051 00052 /* Heap memory alignment */ 00053 /* #undef GECODE_MEMORY_ALIGNMENT */ 00054 00055 /* How to check allocation size */ 00056 /* #undef GECODE_MSIZE */ 00057 00058 /* Whether to track peak heap size */ 00059 /* #undef GECODE_PEAKHEAP */ 00060 00061 /* Whether we need malloc.h */ 00062 /* #undef GECODE_PEAKHEAP_MALLOC_H */ 00063 00064 /* Whether we need malloc/malloc.h */ 00065 /* #undef GECODE_PEAKHEAP_MALLOC_MALLOC_H */ 00066 00067 /* Whether we are compiling static libraries */ 00068 /* #undef GECODE_STATIC_LIBS */ 00069 00070 /* Whether we have Mac OS threads */ 00071 /* #undef GECODE_THREADS_OSX */ 00072 00073 /* Whether we have posix threads */ 00074 #define GECODE_THREADS_PTHREADS 1 00075 00076 /* Whether we have posix spinlocks */ 00077 #define GECODE_THREADS_PTHREADS_SPINLOCK 1 00078 00079 /* Whether we have windows threads */ 00080 /* #undef GECODE_THREADS_WINDOWS */ 00081 00082 /* Use clock() for time-measurement */ 00083 /* #undef GECODE_USE_CLOCK */ 00084 00085 /* Use gettimeofday for time-measurement */ 00086 #define GECODE_USE_GETTIMEOFDAY 1 00087 00088 /* Gecode version */ 00089 #define GECODE_VERSION "4.2.1" 00090 00091 /* Gecode version */ 00092 #define GECODE_VERSION_NUMBER 400201 00093 00094 /* Define to 1 if you have the `getpagesize' function. */ 00095 #define HAVE_GETPAGESIZE 1 00096 00097 /* Define to 1 if you have the <gmp.h> header file. */ 00098 #define HAVE_GMP_H 1 00099 00100 /* Define to 1 if you have the <inttypes.h> header file. */ 00101 #define HAVE_INTTYPES_H 1 00102 00103 /* Define to 1 if you have the <malloc.h> header file. */ 00104 /* #undef HAVE_MALLOC_H */ 00105 00106 /* Define to 1 if you have the <malloc/malloc.h> header file. */ 00107 /* #undef HAVE_MALLOC_MALLOC_H */ 00108 00109 /* Define to 1 if you have the <memory.h> header file. */ 00110 #define HAVE_MEMORY_H 1 00111 00112 /* Define to 1 if you have a working `mmap' system call. */ 00113 #define HAVE_MMAP 1 00114 00115 /* Define to 1 if you have the <mpfr.h> header file. */ 00116 #define HAVE_MPFR_H 1 00117 00118 /* Define to 1 if you have the <stdint.h> header file. */ 00119 #define HAVE_STDINT_H 1 00120 00121 /* Define to 1 if you have the <stdlib.h> header file. */ 00122 #define HAVE_STDLIB_H 1 00123 00124 /* Define to 1 if you have the <strings.h> header file. */ 00125 #define HAVE_STRINGS_H 1 00126 00127 /* Define to 1 if you have the <string.h> header file. */ 00128 #define HAVE_STRING_H 1 00129 00130 /* Define to 1 if you have the <sys/param.h> header file. */ 00131 #define HAVE_SYS_PARAM_H 1 00132 00133 /* Define to 1 if you have the <sys/stat.h> header file. */ 00134 #define HAVE_SYS_STAT_H 1 00135 00136 /* Define to 1 if you have the <sys/types.h> header file. */ 00137 #define HAVE_SYS_TYPES_H 1 00138 00139 /* Define to 1 if you have the <unistd.h> header file. */ 00140 #define HAVE_UNISTD_H 1 00141 00142 /* Define to the address where bug reports for this package should be sent. */ 00143 #define PACKAGE_BUGREPORT "users@gecode.org" 00144 00145 /* Define to the full name of this package. */ 00146 #define PACKAGE_NAME "GECODE" 00147 00148 /* Define to the full name and version of this package. */ 00149 #define PACKAGE_STRING "GECODE 4.2.1" 00150 00151 /* Define to the one symbol short name of this package. */ 00152 #define PACKAGE_TARNAME "gecode" 00153 00154 /* Define to the home page for this package. */ 00155 #define PACKAGE_URL "" 00156 00157 /* Define to the version of this package. */ 00158 #define PACKAGE_VERSION "4.2.1" 00159 00160 /* The size of `int', as computed by sizeof. */ 00161 #define SIZEOF_INT 4 00162 00163 /* Define to 1 if you have the ANSI C header files. */ 00164 #define STDC_HEADERS 1 00165 00166 /* How to tell the compiler to really, really inline */ 00167 #define forceinline inline __attribute__ ((__always_inline__))