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