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