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