4#ifndef INCL_FACTORYCONF_H
5#define INCL_FACTORYCONF_H
25#ifndef _FACTORY_CONFIG_H
26#define _FACTORY_CONFIG_H 1
35#define CF_USE_INLINE 1
42#ifndef DISABLE_GMP_CPP
43#define DISABLE_GMP_CPP 1
47#ifndef FACTORYCONFIGURATION
48#define FACTORYCONFIGURATION "' '--disable-option-checking' '--prefix=/usr' '--build=x86_64-redhat-linux-gnu' '--host=x86_64-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' '--disable-doc' '--with-malloc=system' 'build_alias=x86_64-redhat-linux-gnu' 'host_alias=x86_64-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 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -fPIC -fno-delete-null-pointer-checks' 'LDFLAGS=-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 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -fPIC -fno-delete-null-pointer-checks' 'LT_SYS_LIBRARY_PATH=/usr/lib64:' '--enable-omalloc' 'OMALLOC_LIBS=/builddir/build/BUILD/singular-4.2.0/omalloc/libomalloc.la' 'OMALLOC_INCLUDES=-I/builddir/build/BUILD/singular-4.2.0' '--with-Singular' 'RESOURCES_LIBS=/builddir/build/BUILD/singular-4.2.0/resources/libsingular_resources.la' 'RESOURCES_INCLUDES=-I/builddir/build/BUILD/singular-4.2.0 ' 'FACTORY_LIBS=/builddir/build/BUILD/singular-4.2.0/factory/libfactory.la' 'FACTORY_INCLUDES=-I/builddir/build/BUILD/singular-4.2.0 -I/builddir/build/BUILD/singular-4.2.0/factory -I/builddir/build/BUILD/singular-4.2.0/factory/include' '--cache-file=/dev/null' '--srcdir=.'' in /builddir/build/BUILD/singular-4.2.0/factory"
53#define FACTORYVERSION "4.2.0"
90#ifndef HAVE_INTTYPES_H
91#define HAVE_INTTYPES_H 1
96#define HAVE_IOSTREAM 1
114#define HAVE_MEMORY_H 1
124#define HAVE_OMALLOC 1
128#ifndef HAVE_OMALLOC_OMALLOC_H
129#define HAVE_OMALLOC_OMALLOC_H 1
134#define HAVE_SIGNAL_H 1
139#define HAVE_STDARG_H 1
144#define HAVE_STDINT_H 1
149#define HAVE_STDIO_H 1
154#define HAVE_STDLIB_H 1
163#ifndef HAVE_STRINGS_H
164#define HAVE_STRINGS_H 1
169#define HAVE_STRING_H 1
179#ifndef HAVE_SYS_STAT_H
180#define HAVE_SYS_STAT_H 1
187#ifndef HAVE_SYS_TYPES_H
188#define HAVE_SYS_TYPES_H 1
198#define HAVE_UNISTD_H 1
203#define LT_OBJDIR ".libs/"
219#define PACKAGE "factory"
223#ifndef PACKAGE_BUGREPORT
224#define PACKAGE_BUGREPORT ""
229#define PACKAGE_NAME "factory"
233#ifndef PACKAGE_STRING
234#define PACKAGE_STRING "factory 4.2.0"
238#ifndef PACKAGE_TARNAME
239#define PACKAGE_TARNAME "factory"
244#define PACKAGE_URL ""
248#ifndef PACKAGE_VERSION
249#define PACKAGE_VERSION "4.2.0"
258#ifndef SINGULAR_CFLAGS
259#define SINGULAR_CFLAGS "-DSING_NDEBUG -DOM_NDEBUG"
274#define STDC_HEADERS 1
282#define VERSION "4.2.0"
310#if defined (SING_NDEBUG) && ! defined (NOASSERT)
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 )
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__)))
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__)))
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 )
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__)))
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__)))
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__)))
402#define WARN(expression, message) \
403((void)((expression) ? 0 : __WARN(#expression, message, __FILE__, __LINE__)))
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__)))
411#define WARN(expression, message) \
412((void)((expression) ? 0 : __WARN(#expression, message, __FILE__, __LINE__, __PRETTY_FUNCTION__)))
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; }
426#define ASSERT(expression, message) do {} while (0)
427#define ASSERT1(expression, message, parameter1) do {} while (0)
429#define WARN(expression, message) do {} while (0)
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