@@ -25,76 +25,10 @@ if (GECODE_DISABLE_WARNINGS)
25
25
endif ()
26
26
27
27
# The following part of config.h is hard to derive from configure.ac.
28
+ file (READ gecode/support/config.hpp.in CONFIG)
29
+ string (REGEX REPLACE "^/\\ *([^*]|\\ *[^/])*\\ */" "" CONFIG ${CONFIG} )
28
30
string (REGEX MATCHALL "[^\n ]*\n " CONFIG
29
- "/* Whether to include audit code */
30
- #undef GECODE_AUDIT
31
-
32
- /* User-defined prefix of dll names */
33
- #undef GECODE_DLL_USERPREFIX
34
-
35
- /* User-defined suffix of dll names */
36
- #undef GECODE_DLL_USERSUFFIX
37
-
38
- /* Supported version of FlatZinc */
39
- #undef GECODE_FLATZINC_VERSION
40
-
41
- /* Whether gcc understands visibility attributes */
42
- #undef GECODE_GCC_HAS_CLASS_VISIBILITY
43
-
44
- /* Whether to compile boost dependent parts */
45
- #undef GECODE_HAS_BOOST
46
-
47
- /* whether __builtin_ffsl is available */
48
- #undef GECODE_HAS_BUILTIN_FFSL
49
-
50
- /* Whether Gist is available */
51
- #undef GECODE_HAS_GIST
52
-
53
- /* Whether GNU hash_map is available */
54
- #undef GECODE_HAS_GNU_HASH_MAP
55
-
56
- /* Whether to build INT variables */
57
- #undef GECODE_HAS_INT_VARS
58
-
59
- /* Whether we have mtrace for memory leak debugging */
60
- #undef GECODE_HAS_MTRACE
61
-
62
- /* Whether Qt is available */
63
- #undef GECODE_HAS_QT
64
-
65
- /* Whether to build SET variables */
66
- #undef GECODE_HAS_SET_VARS
67
-
68
- /* Whether unistd.h is available */
69
- #undef GECODE_HAS_UNISTD_H
70
-
71
- /* Gecode version */
72
- #undef GECODE_LIBRARY_VERSION
73
-
74
- /* Heap memory alignment */
75
- #undef GECODE_MEMORY_ALIGNMENT
76
-
77
- /* Whether we are compiling static libraries */
78
- #undef GECODE_STATIC_LIBS
79
-
80
- /* Whether we have posix threads */
81
- #undef GECODE_THREADS_PTHREADS
82
-
83
- /* Whether we have windows threads */
84
- #undef GECODE_THREADS_WINDOWS
85
-
86
- /* Use clock() for time-measurement */
87
- #undef GECODE_USE_CLOCK
88
-
89
- /* Use gettimeofday for time-measurement */
90
- #undef GECODE_USE_GETTIMEOFDAY
91
-
92
- /* Gecode version */
93
- #undef GECODE_VERSION
94
-
95
- /* Gecode version */
96
- #undef GECODE_VERSION_NUMBER
97
-
31
+ "${CONFIG}
98
32
/* Define to 1 if you have the `getpagesize' function. */
99
33
#undef HAVE_GETPAGESIZE
100
34
@@ -154,9 +88,6 @@ string(REGEX MATCHALL "[^\n]*\n" CONFIG
154
88
155
89
/* Define to 1 if you have the ANSI C header files. */
156
90
#undef STDC_HEADERS
157
-
158
- /* How to tell the compiler to really, really inline */
159
- #undef forceinline
160
91
" )
161
92
162
93
# Get version numbers and parts of config.h from configure.ac.
0 commit comments