factoryconf.h

Go to the documentation of this file.

/* factoryconf.h automatically generated by makeheader from factoryconf.template */
/* emacs edit mode for this file is -*- C -*- */
 
#ifndef INCL_FACTORYCONF_H
#define INCL_FACTORYCONF_H
 
/* template to generate `factoryconf.h'. */
 
/**
*
* @file factoryconf.h
*
* `factoryconf.h' serves as a configuration file for the
* installed source files (templates and `factory.h') the same
* way as `config.h' serves as a configuration file for the
* source files from which the library is build.  Additionally,
* we paste a copy of our `cf_assert.h' into this file which is
* necessary for the templates to translate.
*
**/
#include "globaldefs.h"
 
/* stuff included from ./config.h */
 
#ifndef _FACTORY_CONFIG_H
#define _FACTORY_CONFIG_H 1
 
/* config.h. Generated automatically at end of configure. */
 
/* _config.h.  Generated from _config.h.in by configure.  */
/* _config.h.in.  Generated from configure.ac by autoheader.  */
 
/* define to use "configurable inline methods" (see cf_inline.cc) */
#ifndef CF_USE_INLINE
#define CF_USE_INLINE 1
#endif
 
/* define if you want to have debugging output */
/* #undef DEBUGOUTPUT */
 
/* DISABLE_GMP_CPP */
#ifndef DISABLE_GMP_CPP
#define DISABLE_GMP_CPP 1
#endif
 
/* factory configuration */
#ifndef FACTORYCONFIGURATION
#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-hardened-ld-errors -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.1p5-build/Singular-Release-4-4-1p5/omalloc/libomalloc.la' 'OMALLOC_INCLUDES=-I/builddir/build/BUILD/Singular-4.4.1p5-build/Singular-Release-4-4-1p5' '--htmldir=/usr/share/doc/singular' '--with-Singular' 'RESOURCES_LIBS=/builddir/build/BUILD/Singular-4.4.1p5-build/Singular-Release-4-4-1p5/resources/libsingular_resources.la' 'RESOURCES_INCLUDES=-I/builddir/build/BUILD/Singular-4.4.1p5-build/Singular-Release-4-4-1p5 ' 'FACTORY_LIBS=/builddir/build/BUILD/Singular-4.4.1p5-build/Singular-Release-4-4-1p5/factory/libfactory.la' 'FACTORY_INCLUDES=-I/builddir/build/BUILD/Singular-4.4.1p5-build/Singular-Release-4-4-1p5 -I/builddir/build/BUILD/Singular-4.4.1p5-build/Singular-Release-4-4-1p5/factory -I/builddir/build/BUILD/Singular-4.4.1p5-build/Singular-Release-4-4-1p5/factory/include' '--cache-file=/dev/null' '--srcdir=.'' in /builddir/build/BUILD/Singular-4.4.1p5-build/Singular-Release-4-4-1p5/factory"
#endif
 
/* VERSION */
#ifndef FACTORYVERSION
#define FACTORYVERSION "4.4.1"
#endif
 
/* Define to 1 if you have the <cstdio> header file. */
#ifndef HAVE_CSTDIO
#define HAVE_CSTDIO 1
#endif
 
/* Define to 1 if you have the <ctype.h> header file. */
#ifndef HAVE_CTYPE_H
#define HAVE_CTYPE_H 1
#endif
 
/* Define to 1 if you have the <dlfcn.h> header file. */
#ifndef HAVE_DLFCN_H
#define HAVE_DLFCN_H 1
#endif
 
/* Define to 1 if you have the <errno.h> header file. */
#ifndef HAVE_ERRNO_H
#define HAVE_ERRNO_H 1
#endif
 
/* Define if FLINT is installed */
#ifndef HAVE_FLINT
#define HAVE_FLINT 1
#endif
 
/* Define to 1 if you have the <fstream> header file. */
#ifndef HAVE_FSTREAM
#define HAVE_FSTREAM 1
#endif
 
/* Define to 1 if you have the <fstream.h> header file. */
/* #undef HAVE_FSTREAM_H */
 
/* Define to 1 if you have the <inttypes.h> header file. */
#ifndef HAVE_INTTYPES_H
#define HAVE_INTTYPES_H 1
#endif
 
/* Define to 1 if you have the <iostream> header file. */
#ifndef HAVE_IOSTREAM
#define HAVE_IOSTREAM 1
#endif
 
/* Define to 1 if you have the <iostream.h> header file. */
/* #undef HAVE_IOSTREAM_H */
 
/* Define to 1 if you have the 'm' library (-lm). */
#ifndef HAVE_LIBM
#define HAVE_LIBM 1
#endif
 
/* Define to 1 if you have the <math.h> header file. */
#ifndef HAVE_MATH_H
#define HAVE_MATH_H 1
#endif
 
/* Define if NTL is installed */
#ifndef HAVE_NTL
#define HAVE_NTL 1
#endif
 
/* define if build with OMALLOC */
#ifndef HAVE_OMALLOC
#define HAVE_OMALLOC 1
#endif
 
/* Define to 1 if you have the <omalloc/omalloc.h> header file. */
#ifndef HAVE_OMALLOC_OMALLOC_H
#define HAVE_OMALLOC_OMALLOC_H 1
#endif
 
/* Define to 1 if you have the <signal.h> header file. */
#ifndef HAVE_SIGNAL_H
#define HAVE_SIGNAL_H 1
#endif
 
/* Define to 1 if you have the <stdarg.h> header file. */
#ifndef HAVE_STDARG_H
#define HAVE_STDARG_H 1
#endif
 
/* Define to 1 if you have the <stdint.h> header file. */
#ifndef HAVE_STDINT_H
#define HAVE_STDINT_H 1
#endif
 
/* Define to 1 if you have the <stdio.h> header file. */
#ifndef HAVE_STDIO_H
#define HAVE_STDIO_H 1
#endif
 
/* Define to 1 if you have the <stdlib.h> header file. */
#ifndef HAVE_STDLIB_H
#define HAVE_STDLIB_H 1
#endif
 
/* Define to 1 if you have the <string> header file. */
#ifndef HAVE_STRING
#define HAVE_STRING 1
#endif
 
/* Define to 1 if you have the <strings.h> header file. */
#ifndef HAVE_STRINGS_H
#define HAVE_STRINGS_H 1
#endif
 
/* Define to 1 if you have the <string.h> header file. */
#ifndef HAVE_STRING_H
#define HAVE_STRING_H 1
#endif
 
/* Define to 1 if you have the <strstream.h> header file. */
/* #undef HAVE_STRSTREAM_H */
 
/* Define to 1 if you have the <sys/param.h> header file. */
/* #undef HAVE_SYS_PARAM_H */
 
/* Define to 1 if you have the <sys/stat.h> header file. */
#ifndef HAVE_SYS_STAT_H
#define HAVE_SYS_STAT_H 1
#endif
 
/* Define to 1 if you have the <sys/times.h> header file. */
/* #undef HAVE_SYS_TIMES_H */
 
/* Define to 1 if you have the <sys/types.h> header file. */
#ifndef HAVE_SYS_TYPES_H
#define HAVE_SYS_TYPES_H 1
#endif
 
/* Define to 1 if you have the <time.h> header file. */
#ifndef HAVE_TIME_H
#define HAVE_TIME_H 1
#endif
 
/* Define to 1 if you have the <unistd.h> header file. */
#ifndef HAVE_UNISTD_H
#define HAVE_UNISTD_H 1
#endif
 
/* Define to the sub-directory where libtool stores uninstalled libraries. */
#ifndef LT_OBJDIR
#define LT_OBJDIR ".libs/"
#endif
 
/* define if you do not want to activate assertions */
/* #undef NOASSERT */
 
/* define to build factory without stream IO */
/* #undef NOSTREAMIO */
 
/* "Disable OM Debug" */
#ifndef OM_NDEBUG
#define OM_NDEBUG 1
#endif
 
/* Name of package */
#ifndef PACKAGE
#define PACKAGE "factory"
#endif
 
/* Define to the address where bug reports for this package should be sent. */
#ifndef PACKAGE_BUGREPORT
#define PACKAGE_BUGREPORT ""
#endif
 
/* Define to the full name of this package. */
#ifndef PACKAGE_NAME
#define PACKAGE_NAME "factory"
#endif
 
/* Define to the full name and version of this package. */
#ifndef PACKAGE_STRING
#define PACKAGE_STRING "factory 4.4.1"
#endif
 
/* Define to the one symbol short name of this package. */
#ifndef PACKAGE_TARNAME
#define PACKAGE_TARNAME "factory"
#endif
 
/* Define to the home page for this package. */
#ifndef PACKAGE_URL
#define PACKAGE_URL ""
#endif
 
/* Define to the version of this package. */
#ifndef PACKAGE_VERSION
#define PACKAGE_VERSION "4.4.1"
#endif
 
/* define if linked to Singular */
#ifndef SINGULAR
#define SINGULAR 1
#endif
 
/* SINGULAR_CFLAGS */
#ifndef SINGULAR_CFLAGS
#define SINGULAR_CFLAGS "-DSING_NDEBUG -DOM_NDEBUG"
#endif
 
/* "Disable Singular Debug" */
#ifndef SING_NDEBUG
#define SING_NDEBUG 1
#endif
 
/* The size of 'long', as computed by sizeof. */
#ifndef SIZEOF_LONG
#define SIZEOF_LONG 8
#endif
 
/* Define to 1 if all of the C89 standard headers exist (not just the ones
   required in a freestanding environment). This macro is provided for
   backward compatibility; new code need not use it. */
#ifndef STDC_HEADERS
#define STDC_HEADERS 1
#endif
 
/* define if you want to activate the timing stuff */
/* #undef TIMING */
 
/* Version number of package */
#ifndef VERSION
#define VERSION "4.4.1"
#endif
 
/* Define to empty if 'const' does not conform to ANSI C. */
/* #undef const */
 
/* Define to '__inline__' or '__inline' if that's what the C compiler
   calls it, or to nothing if 'inline' is not supported under any name.  */
#ifndef __cplusplus
/* #undef inline */
#endif
 
/* once: _FACTORY_CONFIG_H */
#endif
 
/* stuff included from ./cf_assert.h */
 
/* emacs edit mode for this file is -*- C -*- */
 
/**
 * @file cf_assert.h
 *
 * assertions for Factory
 *
 * @note needs --enable-assertions at configure
**/
 
/* This is for compatibility with standard cf_assert.h */
#if defined (SING_NDEBUG) && ! defined (NOASSERT)
#define NOASSERT
#endif
 
/* It should be possible to include this file multiple times for different */
/* settings of NOASSERT */
 
/* {{{ undefines */
#undef __ASSERT
#undef __ASSERT1
#undef STICKYASSERT
#undef STICKYASSERT1
#undef ASSERT
#undef ASSERT1
 
#undef __WARN
#undef STICKYWARN
#undef WARN
 
#undef PVIRT_VOID
#undef PVIRT_INTCF
#undef PVIRT_BOOL
#undef PVIRT_INT
#undef PVIRT_CHARCC
/* }}} */
 
#ifdef __cplusplus
#ifndef NOSTREAMIO
#ifdef HAVE_CSTDIO
#include <cstdio>
#include <cstdlib>
#else
extern "C" {
#include <stdio.h>
#include <stdlib.h>
}
#endif
#else
#include <stdio.h>
#include <stdlib.h>
#endif
#endif
 
/* {{{ permanent macro definitions */
#ifndef __GNUC__
#define __ASSERT(expression, message, file, line) \
(fprintf( stderr, "error: " message "\n%s:%u: failed assertion `%s'\n", \
 file, line, expression ), abort(), 0 )
#define __ASSERT1(expression, message, parameter1, file, line)  \
(fprintf( stderr, "error: " message "\n%s:%u: failed assertion `%s'\n", \
 parameter1, file, line, expression ), abort(), 0 )
 
#define STICKYASSERT(expression, message) \
((void)((expression) ? 0 : __ASSERT(#expression, message, __FILE__, __LINE__)))
#define STICKYASSERT1(expression, message, parameter1) \
((void)((expression) ? 0 : __ASSERT1(#expression, message, parameter1, __FILE__, __LINE__)))
 
#define __WARN(expression, message, file, line)  \
(fprintf( stderr, "warning: " message "\n%s:%u: failed assertion `%s'\n", \
 file, line, expression ), 0 )
#define STICKYWARN(expression, message) \
((void)((expression) ? 0 : __WARN(#expression, message, __FILE__, __LINE__)))
#else /* __GNUCC__ */
/* use preprocessor macro __PRETTY_FUNCTION__ for more informative output */
#define __ASSERT(expression, message, file, line, function) \
(fprintf( stderr, "error: " message "\n%s:%u: In function `%s':\nfailed assertion `%s'\n", \
 file, line, function, expression ), abort(), 0 )
#define __ASSERT1(expression, message, parameter1, file, line, function)  \
(fprintf( stderr, "error: " message "\n%s:%u: In function `%s':\nfailed assertion `%s'\n", \
 parameter1, file, line, function, expression ), abort(), 0 )
 
#define STICKYASSERT(expression, message) \
((void)((expression) ? 0 : __ASSERT(#expression, message, __FILE__, __LINE__, __PRETTY_FUNCTION__)))
#define STICKYASSERT1(expression, message, parameter1) \
((void)((expression) ? 0 : __ASSERT1(#expression, message, parameter1, __FILE__, __LINE__, __PRETTY_FUNCTION__)))
 
#define __WARN(expression, message, file, line, function)  \
(fprintf( stderr, "warning: " message "\n%s:%u: In function `%s':\nfailed assertion `%s'\n", \
 file, line, function, expression ), 0 )
#define STICKYWARN(expression, message) \
((void)((expression) ? 0 : __WARN(#expression, message, __FILE__, __LINE__, __PRETTY_FUNCTION__)))
#endif /* __GNUCC__ */
/* }}} */
 
/* {{{ macro definitions dependent on NOASSERT */
#ifndef NOASSERT
#ifndef __GNUC__
#define ASSERT(expression, message) \
((void)((expression) ? 0 : __ASSERT(#expression, message, __FILE__, __LINE__)))
#define ASSERT1(expression, message, parameter1) \
((void)((expression) ? 0 : __ASSERT1(#expression, message, parameter1, __FILE__, __LINE__)))
 
#define WARN(expression, message) \
((void)((expression) ? 0 : __WARN(#expression, message, __FILE__, __LINE__)))
#else /* __GNUCC__ */
/* use preprocessor macro __PRETTY_FUNCTION__ for more informative output */
#define ASSERT(expression, message) \
((void)((expression) ? 0 : __ASSERT(#expression, message, __FILE__, __LINE__, __PRETTY_FUNCTION__)))
#define ASSERT1(expression, message, parameter1) \
((void)((expression) ? 0 : __ASSERT1(#expression, message, parameter1, __FILE__, __LINE__, __PRETTY_FUNCTION__)))
 
#define WARN(expression, message) \
((void)((expression) ? 0 : __WARN(#expression, message, __FILE__, __LINE__, __PRETTY_FUNCTION__)))
#endif /* __GNUCC__ */
 
#define PVIRT_VOID(msg) \
{ fprintf( stderr, "pure method( " msg " ) called\n" ); abort(); }
#define PVIRT_INTCF(msg) \
{ fprintf( stderr, "pure method( " msg " ) called\n" ); abort(); return 0; }
#define PVIRT_BOOL(msg) \
{ fprintf( stderr, "pure method( " msg " ) called\n" ); abort(); return false; }
#define PVIRT_INT(msg) \
{ fprintf( stderr, "pure method( " msg " ) called\n" ); abort(); return 0; }
#define PVIRT_CHARCC(msg) \
{ fprintf( stderr, "pure method( " msg " ) called\n" ); abort(); return 0; }
#else /* NOASSERT */
#define ASSERT(expression, message) do {} while (0)
#define ASSERT1(expression, message, parameter1) do {} while (0)
 
#define WARN(expression, message) do {} while (0)
 
#define PVIRT_VOID(msg) = 0
#define PVIRT_INTCF(msg) = 0
#define PVIRT_BOOL(msg) = 0
#define PVIRT_INT(msg) = 0
#define PVIRT_CHARCC(msg) = 0
#endif /* NOASSERT */
/* }}} */
 
#endif /* ! INCL_FACTORYCONF_H */