main page
modules
namespaces
classes
files
Gecode home
Generated on Mon Sep 17 2012 22:20:46 for Gecode by
doxygen
1.8.1.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: 2012-02-22 16:04:20 +1100 (Wed, 22 Feb 2012) $ by $Author: tack $
11
* $Revision: 12537 $
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.5"
49
50
/* Whether gcc understands visibility attributes */
51
#define GECODE_GCC_HAS_CLASS_VISIBILITY
52
53
/* Whether to compile boost dependent parts */
54
#define GECODE_HAS_BOOST
55
56
/* whether __builtin_ffsl is available */
57
#define GECODE_HAS_BUILTIN_FFSL
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 we have mtrace for memory leak debugging */
69
#define GECODE_HAS_MTRACE
70
71
/* Whether Qt is available */
72
#define GECODE_HAS_QT
73
74
/* Whether to build SET variables */
75
#define GECODE_HAS_SET_VARS
76
77
/* Whether unistd.h is available */
78
#define GECODE_HAS_UNISTD_H 1
79
80
/* Gecode version */
81
#define GECODE_LIBRARY_VERSION "3-7-3"
82
83
/* Heap memory alignment */
84
/* #undef GECODE_MEMORY_ALIGNMENT */
85
86
/* Whether we are compiling static libraries */
87
/* #undef GECODE_STATIC_LIBS */
88
89
/* Whether we have posix threads */
90
#define GECODE_THREADS_PTHREADS 1
91
92
/* Whether we have windows threads */
93
/* #undef GECODE_THREADS_WINDOWS */
94
95
/* Use clock() for time-measurement */
96
/* #undef GECODE_USE_CLOCK */
97
98
/* Use gettimeofday for time-measurement */
99
#define GECODE_USE_GETTIMEOFDAY 1
100
101
/* Gecode version */
102
#define GECODE_VERSION "3.7.3"
103
104
/* Gecode version */
105
#define GECODE_VERSION_NUMBER 300703
106
107
/* How to tell the compiler to really, really inline */
108
#define forceinline inline __attribute__ ((__always_inline__))
109
110
// STATISTICS: support-any