My Project
Loading...
Searching...
No Matches
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=aarch64-redhat-linux-gnu' '--host=aarch64-redhat-linux-gnu' '--program-prefix=' '--disable-dependency-tracking' '--exec-prefix=/usr' '--bindir=/usr/bin' '--sbindir=/usr/bin' '--sysconfdir=/etc' '--datadir=/usr/share' '--includedir=/usr/include' '--libdir=/usr/lib64' '--libexecdir=/usr/libexec' '--localstatedir=/var' '--runstatedir=/run' '--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' '--enable-gfanlib-module' '--enable-Order-module' '--enable-polymake-module' '--disable-python-module' '--enable-sispasm-module' '--enable-streamio' '--with-gmp' '--with-ntl' '--with-flint' '--with-mathicgb' '--without-python' '--with-readline' '--enable-doc-build' '--with-malloc=system' 'build_alias=aarch64-redhat-linux-gnu' 'host_alias=aarch64-redhat-linux-gnu' 'CC=gcc' 'CFLAGS=-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -mbranch-protection=standard -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -fPIC' 'LDFLAGS=-Wl,-z,relro -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -Wl,--build-id=sha1 -specs=/usr/lib/rpm/redhat/redhat-package-notes -Wl,-z,lazy' '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,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -mbranch-protection=standard -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -fPIC' 'LT_SYS_LIBRARY_PATH=/usr/lib64:' '--enable-omalloc' 'OMALLOC_LIBS=/builddir/build/BUILD/Singular-4.4.1-build/Singular-Release-4-4-1/omalloc/libomalloc.la' 'OMALLOC_INCLUDES=-I/builddir/build/BUILD/Singular-4.4.1-build/Singular-Release-4-4-1' '--htmldir=/usr/share/doc/singular' '--with-Singular' 'RESOURCES_LIBS=/builddir/build/BUILD/Singular-4.4.1-build/Singular-Release-4-4-1/resources/libsingular_resources.la' 'RESOURCES_INCLUDES=-I/builddir/build/BUILD/Singular-4.4.1-build/Singular-Release-4-4-1 ' 'FACTORY_LIBS=/builddir/build/BUILD/Singular-4.4.1-build/Singular-Release-4-4-1/factory/libfactory.la' 'FACTORY_INCLUDES=-I/builddir/build/BUILD/Singular-4.4.1-build/Singular-Release-4-4-1 -I/builddir/build/BUILD/Singular-4.4.1-build/Singular-Release-4-4-1/factory -I/builddir/build/BUILD/Singular-4.4.1-build/Singular-Release-4-4-1/factory/include' '--cache-file=/dev/null' '--srcdir=.'' in /builddir/build/BUILD/Singular-4.4.1-build/Singular-Release-4-4-1/factory"
49#endif
50
51/* VERSION */
52#ifndef FACTORYVERSION
53#define FACTORYVERSION "4.4.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.4.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.4.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 C89 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.4.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
339extern "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 */