main page
modules
namespaces
classes
files
Gecode home
Generated on Sat May 25 2013 18:00:41 for Gecode by
doxygen
1.8.3.1
gecode
support
config.hpp
Go to the documentation of this file.
1
/* gecode/support/config.hpp. Generated from config.hpp.in by configure. */
2
/* gecode/support/config.hpp.in. Generated from configure.ac by autoheader. */
3
4
/* Whether to include audit code */
5
/* #undef GECODE_AUDIT */
6
7
/* User-defined prefix of dll names */
8
#define GECODE_DLL_USERPREFIX ""
9
10
/* User-defined suffix of dll names */
11
#define GECODE_DLL_USERSUFFIX ""
12
13
/* Supported version of FlatZinc */
14
#define GECODE_FLATZINC_VERSION "1.6"
15
16
/* Whether gcc understands visibility attributes */
17
#define GECODE_GCC_HAS_CLASS_VISIBILITY
18
19
/* whether __builtin_ffsl is available */
20
#define GECODE_HAS_BUILTIN_FFSL
21
22
/* Whether to build FLOAT variables */
23
#define GECODE_HAS_FLOAT_VARS
24
25
/* Whether Gist is available */
26
#define GECODE_HAS_GIST
27
28
/* Whether GNU hash_map is available */
29
#define GECODE_HAS_GNU_HASH_MAP
30
31
/* Whether to build INT variables */
32
#define GECODE_HAS_INT_VARS
33
34
/* Whether MPFR is available */
35
#define GECODE_HAS_MPFR
36
37
/* Whether we have mtrace for memory leak debugging */
38
/* #undef GECODE_HAS_MTRACE */
39
40
/* Whether Qt is available */
41
#define GECODE_HAS_QT
42
43
/* Whether to build SET variables */
44
#define GECODE_HAS_SET_VARS
45
46
/* Whether unistd.h is available */
47
#define GECODE_HAS_UNISTD_H 1
48
49
/* Gecode version */
50
#define GECODE_LIBRARY_VERSION "4-0-0"
51
52
/* Heap memory alignment */
53
/* #undef GECODE_MEMORY_ALIGNMENT */
54
55
/* Whether we are compiling static libraries */
56
/* #undef GECODE_STATIC_LIBS */
57
58
/* Whether we have posix threads */
59
#define GECODE_THREADS_PTHREADS 1
60
61
/* Whether we have windows threads */
62
/* #undef GECODE_THREADS_WINDOWS */
63
64
/* Use clock() for time-measurement */
65
/* #undef GECODE_USE_CLOCK */
66
67
/* Use gettimeofday for time-measurement */
68
#define GECODE_USE_GETTIMEOFDAY 1
69
70
/* Gecode version */
71
#define GECODE_VERSION "4.0.0"
72
73
/* Gecode version */
74
#define GECODE_VERSION_NUMBER 400000
75
76
/* Define to 1 if you have the `getpagesize' function. */
77
#define HAVE_GETPAGESIZE 1
78
79
/* Define to 1 if you have the <gmp.h> header file. */
80
#define HAVE_GMP_H 1
81
82
/* Define to 1 if you have the <inttypes.h> header file. */
83
#define HAVE_INTTYPES_H 1
84
85
/* Define to 1 if you have the <memory.h> header file. */
86
#define HAVE_MEMORY_H 1
87
88
/* Define to 1 if you have a working `mmap' system call. */
89
#define HAVE_MMAP 1
90
91
/* Define to 1 if you have the <mpfr.h> header file. */
92
#define HAVE_MPFR_H 1
93
94
/* Define to 1 if you have the <stdint.h> header file. */
95
#define HAVE_STDINT_H 1
96
97
/* Define to 1 if you have the <stdlib.h> header file. */
98
#define HAVE_STDLIB_H 1
99
100
/* Define to 1 if you have the <strings.h> header file. */
101
#define HAVE_STRINGS_H 1
102
103
/* Define to 1 if you have the <string.h> header file. */
104
#define HAVE_STRING_H 1
105
106
/* Define to 1 if you have the <sys/param.h> header file. */
107
#define HAVE_SYS_PARAM_H 1
108
109
/* Define to 1 if you have the <sys/stat.h> header file. */
110
#define HAVE_SYS_STAT_H 1
111
112
/* Define to 1 if you have the <sys/types.h> header file. */
113
#define HAVE_SYS_TYPES_H 1
114
115
/* Define to 1 if you have the <unistd.h> header file. */
116
#define HAVE_UNISTD_H 1
117
118
/* Define to the address where bug reports for this package should be sent. */
119
#define PACKAGE_BUGREPORT "users@gecode.org"
120
121
/* Define to the full name of this package. */
122
#define PACKAGE_NAME "GECODE"
123
124
/* Define to the full name and version of this package. */
125
#define PACKAGE_STRING "GECODE 4.0.0"
126
127
/* Define to the one symbol short name of this package. */
128
#define PACKAGE_TARNAME "gecode"
129
130
/* Define to the home page for this package. */
131
#define PACKAGE_URL ""
132
133
/* Define to the version of this package. */
134
#define PACKAGE_VERSION "4.0.0"
135
136
/* The size of `int', as computed by sizeof. */
137
#define SIZEOF_INT 4
138
139
/* Define to 1 if you have the ANSI C header files. */
140
#define STDC_HEADERS 1
141
142
/* How to tell the compiler to really, really inline */
143
#define forceinline inline __attribute__ ((__always_inline__))