factoryconf.h
Go to the documentation of this file.
1 /* factoryconf.h automatically generated by makeheader from factoryconf.template */
2 /* emacs edit mode for this file is -*- C -*- */
3 
4 #ifndef INCL_FACTORYCONF_H
5 #define INCL_FACTORYCONF_H
6 
7 /* template to generate `factoryconf.h'. */
8 
9 /**
10 *
11 * @file factoryconf.h
12 *
13 * `factoryconf.h' serves as a configuration file for the
14 * installed source files (templates and `factory.h') the same
15 * way as `config.h' serves as a configuration file for the
16 * source files from which the library is build. Additionally,
17 * we paste a copy of our `cf_assert.h' into this file which is
18 * necessary for the templates to translate.
19 *
20 **/
21 
22 /* stuff included from ./config.h */
23 
24 #ifndef _FACTORY_CONFIG_H
25 #define _FACTORY_CONFIG_H 1
26 
27 /* config.h. Generated automatically at end of configure. */
28 
29 /* _config.h. Generated from _config.h.in by configure. */
30 /* _config.h.in. Generated from configure.ac by autoheader. */
31 
32 /* define to use "configurable inline methods" (see cf_inline.cc) */
33 /* #undef CF_USE_INLINE */
34 
35 /* define if you want to have debugging output */
36 /* #undef DEBUGOUTPUT */
37 
38 /* DISABLE_GMP_CPP */
39 #ifndef DISABLE_GMP_CPP
40 #define DISABLE_GMP_CPP 1
41 #endif
42 
43 /* factory configuration */
44 #ifndef FACTORYCONFIGURATION
45 #define FACTORYCONFIGURATION "' '--disable-option-checking' '--prefix=/usr' '--build=x86_64-linux-gnu' '--includedir=${prefix}/include' '--mandir=${prefix}/share/man' '--infodir=${prefix}/share/info' '--sysconfdir=/etc' '--localstatedir=/var' '--disable-silent-rules' '--libdir=${prefix}/lib/x86_64-linux-gnu' '--libexecdir=${prefix}/lib/x86_64-linux-gnu' '--disable-maintainer-mode' '--disable-dependency-tracking' 'build_alias=x86_64-linux-gnu' 'CFLAGS=-g -O2 -fPIE -fstack-protector-strong -Wformat -Werror=format-security' 'LDFLAGS=-Wl,-Bsymbolic-functions -fPIE -pie -Wl,-z,relro -Wl,-z,now' 'CPPFLAGS=-Wdate-time -D_FORTIFY_SOURCE=2' 'CXXFLAGS=-g -O2 -fPIE -fstack-protector-strong -Wformat -Werror=format-security' '--enable-omalloc' 'OMALLOC_LIBS=/build/singular-0BuaY3/singular-4.0.3-p1+ds/omalloc/libsingular-omalloc.la' 'OMALLOC_INCLUDES=-I/build/singular-0BuaY3/singular-4.0.3-p1+ds' '--with-Singular' 'RESOURCES_LIBS=/build/singular-0BuaY3/singular-4.0.3-p1+ds/resources/libsingular-resources.la' 'RESOURCES_INCLUDES=-I/build/singular-0BuaY3/singular-4.0.3-p1+ds ' 'FACTORY_LIBS=/build/singular-0BuaY3/singular-4.0.3-p1+ds/factory/libsingular-factory.la' 'FACTORY_INCLUDES=-I/build/singular-0BuaY3/singular-4.0.3-p1+ds -I/build/singular-0BuaY3/singular-4.0.3-p1+ds/factory/include' '--cache-file=/dev/null' '--srcdir=.'' in /build/singular-0BuaY3/singular-4.0.3-p1+ds/factory"
46 #endif
47 
48 /* factory version */
49 #ifndef FACTORYVERSION
50 #define FACTORYVERSION "4.0.1"
51 #endif
52 
53 /* Defenition for FACTORY_INT64 */
54 #ifndef FACTORY_INT64
55 #define FACTORY_INT64 long long int
56 #endif
57 
58 /* Define if GMP is version 3.xxx */
59 /* #undef GMP_VERSION_3 */
60 
61 /* Define to 1 if you have the <cstdio> header file. */
62 #ifndef HAVE_CSTDIO
63 #define HAVE_CSTDIO 1
64 #endif
65 
66 /* Define to 1 if you have the <ctype.h> header file. */
67 /* #undef HAVE_CTYPE_H */
68 
69 /* Define to 1 if you have the <dlfcn.h> header file. */
70 #ifndef HAVE_DLFCN_H
71 #define HAVE_DLFCN_H 1
72 #endif
73 
74 /* Define to 1 if you have the <errno.h> header file. */
75 /* #undef HAVE_ERRNO_H */
76 
77 /* Define if FLINT is installed */
78 #ifndef HAVE_FLINT
79 #define HAVE_FLINT 1
80 #endif
81 
82 /* Define to 1 if you have the <fstream> header file. */
83 /* #undef HAVE_FSTREAM */
84 
85 /* Define to 1 if you have the <fstream.h> header file. */
86 /* #undef HAVE_FSTREAM_H */
87 
88 /* Define if GMP is installed */
89 #ifndef HAVE_GMP
90 #define HAVE_GMP 1
91 #endif
92 
93 /* Define to 1 if you have the <inttypes.h> header file. */
94 #ifndef HAVE_INTTYPES_H
95 #define HAVE_INTTYPES_H 1
96 #endif
97 
98 /* Define to 1 if you have the <iostream> header file. */
99 /* #undef HAVE_IOSTREAM */
100 
101 /* Define to 1 if you have the <iostream.h> header file. */
102 /* #undef HAVE_IOSTREAM_H */
103 
104 /* Define to 1 if you have the `m' library (-lm). */
105 #ifndef HAVE_LIBM
106 #define HAVE_LIBM 1
107 #endif
108 
109 /* Define to 1 if you have the <math.h> header file. */
110 #ifndef HAVE_MATH_H
111 #define HAVE_MATH_H 1
112 #endif
113 
114 /* Define to 1 if you have the <memory.h> header file. */
115 #ifndef HAVE_MEMORY_H
116 #define HAVE_MEMORY_H 1
117 #endif
118 
119 /* Define if NTL is installed */
120 #ifndef HAVE_NTL
121 #define HAVE_NTL 1
122 #endif
123 
124 /* define if build with OMALLOC */
125 #ifndef HAVE_OMALLOC
126 #define HAVE_OMALLOC 1
127 #endif
128 
129 /* Define to 1 if you have the <omalloc/omalloc.h> header file. */
130 /* #undef HAVE_OMALLOC_OMALLOC_H */
131 
132 /* Define to 1 if you have the <signal.h> header file. */
133 /* #undef HAVE_SIGNAL_H */
134 
135 /* Define to 1 if you have the <stdarg.h> header file. */
136 /* #undef HAVE_STDARG_H */
137 
138 /* Define to 1 if you have the <stdint.h> header file. */
139 #ifndef HAVE_STDINT_H
140 #define HAVE_STDINT_H 1
141 #endif
142 
143 /* Define to 1 if you have the <stdio.h> header file. */
144 #ifndef HAVE_STDIO_H
145 #define HAVE_STDIO_H 1
146 #endif
147 
148 /* Define to 1 if you have the <stdlib.h> header file. */
149 #ifndef HAVE_STDLIB_H
150 #define HAVE_STDLIB_H 1
151 #endif
152 
153 /* Define to 1 if you have the <string> header file. */
154 /* #undef HAVE_STRING */
155 
156 /* Define to 1 if you have the <strings.h> header file. */
157 #ifndef HAVE_STRINGS_H
158 #define HAVE_STRINGS_H 1
159 #endif
160 
161 /* Define to 1 if you have the <string.h> header file. */
162 #ifndef HAVE_STRING_H
163 #define HAVE_STRING_H 1
164 #endif
165 
166 /* Define to 1 if you have the <strstream.h> header file. */
167 /* #undef HAVE_STRSTREAM_H */
168 
169 /* Define to 1 if you have the <sys/param.h> header file. */
170 /* #undef HAVE_SYS_PARAM_H */
171 
172 /* Define to 1 if you have the <sys/stat.h> header file. */
173 #ifndef HAVE_SYS_STAT_H
174 #define HAVE_SYS_STAT_H 1
175 #endif
176 
177 /* Define to 1 if you have the <sys/times.h> header file. */
178 /* #undef HAVE_SYS_TIMES_H */
179 
180 /* Define to 1 if you have the <sys/types.h> header file. */
181 #ifndef HAVE_SYS_TYPES_H
182 #define HAVE_SYS_TYPES_H 1
183 #endif
184 
185 /* Define to 1 if you have the <time.h> header file. */
186 #ifndef HAVE_TIME_H
187 #define HAVE_TIME_H 1
188 #endif
189 
190 /* Define to 1 if you have the <unistd.h> header file. */
191 #ifndef HAVE_UNISTD_H
192 #define HAVE_UNISTD_H 1
193 #endif
194 
195 /* Define to the sub-directory where libtool stores uninstalled libraries. */
196 #ifndef LT_OBJDIR
197 #define LT_OBJDIR ".libs/"
198 #endif
199 
200 /* define if you do not want to activate assertions */
201 /* #undef NOASSERT */
202 
203 /* define to build factory without stream IO */
204 #ifndef NOSTREAMIO
205 #define NOSTREAMIO 1
206 #endif
207 
208 /* "Disable OM Debug" */
209 #ifndef OM_NDEBUG
210 #define OM_NDEBUG 1
211 #endif
212 
213 /* Name of package */
214 #ifndef PACKAGE
215 #define PACKAGE "factory"
216 #endif
217 
218 /* Define to the address where bug reports for this package should be sent. */
219 #ifndef PACKAGE_BUGREPORT
220 #define PACKAGE_BUGREPORT ""
221 #endif
222 
223 /* Define to the full name of this package. */
224 #ifndef PACKAGE_NAME
225 #define PACKAGE_NAME "factory"
226 #endif
227 
228 /* Define to the full name and version of this package. */
229 #ifndef PACKAGE_STRING
230 #define PACKAGE_STRING "factory 4.0.3"
231 #endif
232 
233 /* Define to the one symbol short name of this package. */
234 #ifndef PACKAGE_TARNAME
235 #define PACKAGE_TARNAME "factory"
236 #endif
237 
238 /* Define to the home page for this package. */
239 #ifndef PACKAGE_URL
240 #define PACKAGE_URL ""
241 #endif
242 
243 /* Define to the version of this package. */
244 #ifndef PACKAGE_VERSION
245 #define PACKAGE_VERSION "4.0.3"
246 #endif
247 
248 /* define if linked to Singular */
249 #ifndef SINGULAR
250 #define SINGULAR 1
251 #endif
252 
253 /* SINGULAR_CFLAGS */
254 #ifndef SINGULAR_CFLAGS
255 #define SINGULAR_CFLAGS "-DSING_NDEBUG -DOM_NDEBUG"
256 #endif
257 
258 /* "Disable Singular Debug" */
259 #ifndef SING_NDEBUG
260 #define SING_NDEBUG 1
261 #endif
262 
263 /* The size of `long', as computed by sizeof. */
264 #ifndef SIZEOF_LONG
265 #define SIZEOF_LONG 8
266 #endif
267 
268 /* Define to 1 if you have the ANSI C header files. */
269 #ifndef STDC_HEADERS
270 #define STDC_HEADERS 1
271 #endif
272 
273 /* define if you want to activate the timing stuff */
274 /* #undef TIMING */
275 
276 /* Version number of package */
277 #ifndef VERSION
278 #define VERSION "4.0.3"
279 #endif
280 
281 /* Define to empty if `const' does not conform to ANSI C. */
282 /* #undef const */
283 
284 /* Define to `__inline__' or `__inline' if that's what the C compiler
285  calls it, or to nothing if 'inline' is not supported under any name. */
286 #ifndef __cplusplus
287 /* #undef inline */
288 #endif
289 
290 /* once: _FACTORY_CONFIG_H */
291 #endif
292 
293 /* stuff included from ./cf_assert.h */
294 
295 /* emacs edit mode for this file is -*- C -*- */
296 
297 /**
298  * @file cf_assert.h
299  *
300  * assertions for Factory
301  *
302  * @note needs --enable-assertions at configure
303 **/
304 
305 /* This is for compatibility with standard cf_assert.h */
306 #if defined (SING_NDEBUG) && ! defined (NOASSERT)
307 #define NOASSERT
308 #endif
309 
310 /* It should be possible to include this file multiple times for different */
311 /* settings of NOASSERT */
312 
313 /* {{{ undefines */
314 #undef __ASSERT
315 #undef __ASSERT1
316 #undef STICKYASSERT
317 #undef STICKYASSERT1
318 #undef ASSERT
319 #undef ASSERT1
320 
321 #undef __WARN
322 #undef STICKYWARN
323 #undef WARN
324 
325 #undef PVIRT_VOID
326 #undef PVIRT_INTCF
327 #undef PVIRT_BOOL
328 #undef PVIRT_INT
329 #undef PVIRT_CHARCC
330 /* }}} */
331 
332 #ifdef __cplusplus
333 #ifndef NOSTREAMIO
334 #ifdef HAVE_CSTDIO
335 #include <cstdio>
336 #include <cstdlib>
337 #else
338 extern "C" {
339 #include <stdio.h>
340 #include <stdlib.h>
341 }
342 #endif
343 #else
344 #include <stdio.h>
345 #include <stdlib.h>
346 #endif
347 #endif
348 
349 /* {{{ permanent macro definitions */
350 #ifndef __GNUC__
351 #define __ASSERT(expression, message, file, line) \
352 (fprintf( stderr, "error: " message "\n%s:%u: failed assertion `%s'\n", \
353  file, line, expression ), abort(), 0 )
354 #define __ASSERT1(expression, message, parameter1, file, line) \
355 (fprintf( stderr, "error: " message "\n%s:%u: failed assertion `%s'\n", \
356  parameter1, file, line, expression ), abort(), 0 )
357 
358 #define STICKYASSERT(expression, message) \
359 ((void)((expression) ? 0 : __ASSERT(#expression, message, __FILE__, __LINE__)))
360 #define STICKYASSERT1(expression, message, parameter1) \
361 ((void)((expression) ? 0 : __ASSERT1(#expression, message, parameter1, __FILE__, __LINE__)))
362 
363 #define __WARN(expression, message, file, line) \
364 (fprintf( stderr, "warning: " message "\n%s:%u: failed assertion `%s'\n", \
365  file, line, expression ), 0 )
366 #define STICKYWARN(expression, message) \
367 ((void)((expression) ? 0 : __WARN(#expression, message, __FILE__, __LINE__)))
368 #else /* __GNUCC__ */
369 /* use preprocessor macro __PRETTY_FUNCTION__ for more informative output */
370 #define __ASSERT(expression, message, file, line, function) \
371 (fprintf( stderr, "error: " message "\n%s:%u: In function `%s':\nfailed assertion `%s'\n", \
372  file, line, function, expression ), abort(), 0 )
373 #define __ASSERT1(expression, message, parameter1, file, line, function) \
374 (fprintf( stderr, "error: " message "\n%s:%u: In function `%s':\nfailed assertion `%s'\n", \
375  parameter1, file, line, function, expression ), abort(), 0 )
376 
377 #define STICKYASSERT(expression, message) \
378 ((void)((expression) ? 0 : __ASSERT(#expression, message, __FILE__, __LINE__, __PRETTY_FUNCTION__)))
379 #define STICKYASSERT1(expression, message, parameter1) \
380 ((void)((expression) ? 0 : __ASSERT1(#expression, message, parameter1, __FILE__, __LINE__, __PRETTY_FUNCTION__)))
381 
382 #define __WARN(expression, message, file, line, function) \
383 (fprintf( stderr, "warning: " message "\n%s:%u: In function `%s':\nfailed assertion `%s'\n", \
384  file, line, function, expression ), 0 )
385 #define STICKYWARN(expression, message) \
386 ((void)((expression) ? 0 : __WARN(#expression, message, __FILE__, __LINE__, __PRETTY_FUNCTION__)))
387 #endif /* __GNUCC__ */
388 /* }}} */
389 
390 /* {{{ macro definitions dependent on NOASSERT */
391 #ifndef NOASSERT
392 #ifndef __GNUC__
393 #define ASSERT(expression, message) \
394 ((void)((expression) ? 0 : __ASSERT(#expression, message, __FILE__, __LINE__)))
395 #define ASSERT1(expression, message, parameter1) \
396 ((void)((expression) ? 0 : __ASSERT1(#expression, message, parameter1, __FILE__, __LINE__)))
397 
398 #define WARN(expression, message) \
399 ((void)((expression) ? 0 : __WARN(#expression, message, __FILE__, __LINE__)))
400 #else /* __GNUCC__ */
401 /* use preprocessor macro __PRETTY_FUNCTION__ for more informative output */
402 #define ASSERT(expression, message) \
403 ((void)((expression) ? 0 : __ASSERT(#expression, message, __FILE__, __LINE__, __PRETTY_FUNCTION__)))
404 #define ASSERT1(expression, message, parameter1) \
405 ((void)((expression) ? 0 : __ASSERT1(#expression, message, parameter1, __FILE__, __LINE__, __PRETTY_FUNCTION__)))
406 
407 #define WARN(expression, message) \
408 ((void)((expression) ? 0 : __WARN(#expression, message, __FILE__, __LINE__, __PRETTY_FUNCTION__)))
409 #endif /* __GNUCC__ */
410 
411 #define PVIRT_VOID(msg) \
412 { fprintf( stderr, "pure method( " msg " ) called\n" ); abort(); }
413 #define PVIRT_INTCF(msg) \
414 { fprintf( stderr, "pure method( " msg " ) called\n" ); abort(); return 0; }
415 #define PVIRT_BOOL(msg) \
416 { fprintf( stderr, "pure method( " msg " ) called\n" ); abort(); return false; }
417 #define PVIRT_INT(msg) \
418 { fprintf( stderr, "pure method( " msg " ) called\n" ); abort(); return 0; }
419 #define PVIRT_CHARCC(msg) \
420 { fprintf( stderr, "pure method( " msg " ) called\n" ); abort(); return 0; }
421 #else /* NOASSERT */
422 #define ASSERT(expression, message) do {} while (0)
423 #define ASSERT1(expression, message, parameter1) do {} while (0)
424 
425 #define WARN(expression, message) do {} while (0)
426 
427 #define PVIRT_VOID(msg) = 0
428 #define PVIRT_INTCF(msg) = 0
429 #define PVIRT_BOOL(msg) = 0
430 #define PVIRT_INT(msg) = 0
431 #define PVIRT_CHARCC(msg) = 0
432 #endif /* NOASSERT */
433 /* }}} */
434 
435 #endif /* ! INCL_FACTORYCONF_H */