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