Generated on for Gecode by doxygen 1.15.0
config.hpp
Go to the documentation of this file.
1/* gecode/support/config.hpp. Generated from config.hpp.in by configure. */
2/*
3 * Main authors:
4 * Guido Tack <tack@gecode.org>
5 *
6 * Copyright:
7 * Guido Tack, 2008
8 *
9 * This file is part of Gecode, the generic constraint
10 * development environment:
11 * http://www.gecode.org
12 *
13 * Permission is hereby granted, free of charge, to any person obtaining
14 * a copy of this software and associated documentation files (the
15 * "Software"), to deal in the Software without restriction, including
16 * without limitation the rights to use, copy, modify, merge, publish,
17 * distribute, sublicense, and/or sell copies of the Software, and to
18 * permit persons to whom the Software is furnished to do so, subject to
19 * the following conditions:
20 *
21 * The above copyright notice and this permission notice shall be
22 * included in all copies or substantial portions of the Software.
23 *
24 * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND,
25 * EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF
26 * MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND
27 * NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE
28 * LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION
29 * OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION
30 * WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.
31 *
32 */
33
34/* Whether to build with default memory allocator */
35#define GECODE_ALLOCATOR /**/
36
37/* Whether to include audit code */
38/* #undef GECODE_AUDIT */
39
40/* User-defined prefix of dll names */
41#define GECODE_DLL_USERPREFIX ""
42
43/* User-defined suffix of dll names */
44#define GECODE_DLL_USERSUFFIX ""
45
46/* Supported version of FlatZinc */
47#define GECODE_FLATZINC_VERSION "1.6"
48
49/* Whether gcc understands visibility attributes */
50#define GECODE_GCC_HAS_CLASS_VISIBILITY /**/
51
52/* whether __builtin_ffsll is available */
53/* #undef GECODE_HAS_BUILTIN_FFSLL */
54
55/* whether __builtin_popcountll is available */
56/* #undef GECODE_HAS_BUILTIN_POPCOUNTLL */
57
58/* Whether counting-based search support available */
59#define GECODE_HAS_CBS /**/
60
61/* Whether CPProfiler support available */
62/* #undef GECODE_HAS_CPPROFILER */
63
64/* Whether to build FLOAT variables */
65#define GECODE_HAS_FLOAT_VARS /**/
66
67/* Whether Gist is available */
68#define GECODE_HAS_GIST /**/
69
70/* Whether GNU hash_map is available */
71#define GECODE_HAS_GNU_HASH_MAP /**/
72
73/* Whether to build INT variables */
74#define GECODE_HAS_INT_VARS /**/
75
76/* Whether MPFR is available */
77#define GECODE_HAS_MPFR /**/
78
79/* Whether we have mtrace for memory leak debugging */
80/* #undef GECODE_HAS_MTRACE */
81
82/* Whether Qt is available */
83#define GECODE_HAS_QT /**/
84
85/* Whether to build SET variables */
86#define GECODE_HAS_SET_VARS /**/
87
88/* Whether unistd.h is available */
89#define GECODE_HAS_UNISTD_H 1
90
91/* Whether unordered_map is available */
92#define GECODE_HAS_UNORDERED_MAP /**/
93
94/* Gecode version */
95#define GECODE_LIBRARY_VERSION "6-2-0"
96
97/* Heap memory alignment */
98/* #undef GECODE_MEMORY_ALIGNMENT */
99
100/* How to check allocation size */
101/* #undef GECODE_MSIZE */
102
103/* Whether to track peak heap size */
104/* #undef GECODE_PEAKHEAP */
105
106/* Whether we need malloc.h */
107/* #undef GECODE_PEAKHEAP_MALLOC_H */
108
109/* Whether we need malloc/malloc.h */
110/* #undef GECODE_PEAKHEAP_MALLOC_MALLOC_H */
111
112/* Whether we are compiling static libraries */
113/* #undef GECODE_STATIC_LIBS */
114
115/* Whether we have Mac OS threads */
116/* #undef GECODE_THREADS_OSX */
117
118/* Whether we have Mac OS threads (new version) */
119/* #undef GECODE_THREADS_OSX_UNFAIR */
120
121/* Whether we have posix threads */
122#define GECODE_THREADS_PTHREADS 1
123
124/* Whether we have posix spinlocks */
125#define GECODE_THREADS_PTHREADS_SPINLOCK 1
126
127/* Whether we have windows threads */
128/* #undef GECODE_THREADS_WINDOWS */
129
130/* Use clock() for time-measurement */
131/* #undef GECODE_USE_CLOCK */
132
133/* Use gettimeofday for time-measurement */
134#define GECODE_USE_GETTIMEOFDAY 1
135
136/* Gecode version */
137#define GECODE_VERSION "6.2.0"
138
139/* Gecode version */
140#define GECODE_VERSION_NUMBER 600200
141
142/* How to tell the compiler to really, really inline */
143#define forceinline inline __attribute__ ((__always_inline__))
144
145// STATISTICS: support-any