My Project
Loading...
Searching...
No Matches
Macros
factoryconf.h File Reference

‘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. More...

#include "globaldefs.h"
#include <cstdio>
#include <cstdlib>

Go to the source code of this file.

Macros

#define _FACTORY_CONFIG_H   1
 
#define CF_USE_INLINE   1
 
#define DISABLE_GMP_CPP   1
 
#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' '--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-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=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,--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,-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.3.1/omalloc/libomalloc.la' 'OMALLOC_INCLUDES=-I/builddir/build/BUILD/singular-4.3.1' '--htmldir=/usr/share/doc/singular' '--with-Singular' 'RESOURCES_LIBS=/builddir/build/BUILD/singular-4.3.1/resources/libsingular_resources.la' 'RESOURCES_INCLUDES=-I/builddir/build/BUILD/singular-4.3.1 ' 'FACTORY_LIBS=/builddir/build/BUILD/singular-4.3.1/factory/libfactory.la' 'FACTORY_INCLUDES=-I/builddir/build/BUILD/singular-4.3.1 -I/builddir/build/BUILD/singular-4.3.1/factory -I/builddir/build/BUILD/singular-4.3.1/factory/include' '--cache-file=/dev/null' '--srcdir=.'' in /builddir/build/BUILD/singular-4.3.1/factory"
 
#define FACTORYVERSION   "4.3.1"
 
#define HAVE_CSTDIO   1
 
#define HAVE_CTYPE_H   1
 
#define HAVE_DLFCN_H   1
 
#define HAVE_ERRNO_H   1
 
#define HAVE_FSTREAM   1
 
#define HAVE_INTTYPES_H   1
 
#define HAVE_LIBM   1
 
#define HAVE_MATH_H   1
 
#define HAVE_OMALLOC_OMALLOC_H   1
 
#define HAVE_SIGNAL_H   1
 
#define HAVE_STDARG_H   1
 
#define HAVE_STDINT_H   1
 
#define HAVE_STDIO_H   1
 
#define HAVE_STDLIB_H   1
 
#define HAVE_STRING   1
 
#define HAVE_STRINGS_H   1
 
#define HAVE_STRING_H   1
 
#define HAVE_SYS_STAT_H   1
 
#define HAVE_SYS_TYPES_H   1
 
#define HAVE_TIME_H   1
 
#define HAVE_UNISTD_H   1
 
#define LT_OBJDIR   ".libs/"
 
#define OM_NDEBUG   1
 
#define PACKAGE   "factory"
 
#define PACKAGE_BUGREPORT   ""
 
#define PACKAGE_NAME   "factory"
 
#define PACKAGE_STRING   "factory 4.3.1"
 
#define PACKAGE_TARNAME   "factory"
 
#define PACKAGE_URL   ""
 
#define PACKAGE_VERSION   "4.3.1"
 
#define SINGULAR_CFLAGS   "-DSING_NDEBUG -DOM_NDEBUG"
 
#define SING_NDEBUG   1
 
#define STDC_HEADERS   1
 
#define VERSION   "4.3.1"
 
#define NOASSERT
 
#define __ASSERT(expression, message, file, line)
 
#define __ASSERT1(expression, message, parameter1, file, line)
 
#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)
 
#define STICKYWARN(expression, message)   ((void)((expression) ? 0 : __WARN(#expression, message, __FILE__, __LINE__)))
 
#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
 

Detailed Description

‘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.

Definition in file factoryconf.h.

Macro Definition Documentation

◆ __ASSERT

#define __ASSERT (   expression,
  message,
  file,
  line 
)
Value:
(fprintf( stderr, "error: " message "\n%s:%u: failed assertion `%s'\n", \
file, line, expression ), abort(), 0 )
void message(int i, int *reduc, int *olddeg, kStrategy strat, int red_result)
Definition: kutil.cc:7784

Definition at line 352 of file factoryconf.h.

◆ __ASSERT1

#define __ASSERT1 (   expression,
  message,
  parameter1,
  file,
  line 
)
Value:
(fprintf( stderr, "error: " message "\n%s:%u: failed assertion `%s'\n", \
parameter1, file, line, expression ), abort(), 0 )

Definition at line 355 of file factoryconf.h.

◆ __WARN

#define __WARN (   expression,
  message,
  file,
  line 
)
Value:
(fprintf( stderr, "warning: " message "\n%s:%u: failed assertion `%s'\n", \
file, line, expression ), 0 )

Definition at line 364 of file factoryconf.h.

◆ _FACTORY_CONFIG_H

#define _FACTORY_CONFIG_H   1

Definition at line 26 of file factoryconf.h.

◆ ASSERT

#define ASSERT (   expression,
  message 
)    do {} while (0)

Definition at line 423 of file factoryconf.h.

◆ ASSERT1

#define ASSERT1 (   expression,
  message,
  parameter1 
)    do {} while (0)

Definition at line 424 of file factoryconf.h.

◆ CF_USE_INLINE

#define CF_USE_INLINE   1

Definition at line 35 of file factoryconf.h.

◆ DISABLE_GMP_CPP

#define DISABLE_GMP_CPP   1

Definition at line 43 of file factoryconf.h.

◆ 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/sbin' '--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-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=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,--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,-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.3.1/omalloc/libomalloc.la' 'OMALLOC_INCLUDES=-I/builddir/build/BUILD/singular-4.3.1' '--htmldir=/usr/share/doc/singular' '--with-Singular' 'RESOURCES_LIBS=/builddir/build/BUILD/singular-4.3.1/resources/libsingular_resources.la' 'RESOURCES_INCLUDES=-I/builddir/build/BUILD/singular-4.3.1 ' 'FACTORY_LIBS=/builddir/build/BUILD/singular-4.3.1/factory/libfactory.la' 'FACTORY_INCLUDES=-I/builddir/build/BUILD/singular-4.3.1 -I/builddir/build/BUILD/singular-4.3.1/factory -I/builddir/build/BUILD/singular-4.3.1/factory/include' '--cache-file=/dev/null' '--srcdir=.'' in /builddir/build/BUILD/singular-4.3.1/factory"

Definition at line 48 of file factoryconf.h.

◆ FACTORYVERSION

#define FACTORYVERSION   "4.3.1"

Definition at line 53 of file factoryconf.h.

◆ HAVE_CSTDIO

#define HAVE_CSTDIO   1

Definition at line 58 of file factoryconf.h.

◆ HAVE_CTYPE_H

#define HAVE_CTYPE_H   1

Definition at line 63 of file factoryconf.h.

◆ HAVE_DLFCN_H

#define HAVE_DLFCN_H   1

Definition at line 68 of file factoryconf.h.

◆ HAVE_ERRNO_H

#define HAVE_ERRNO_H   1

Definition at line 73 of file factoryconf.h.

◆ HAVE_FSTREAM

#define HAVE_FSTREAM   1

Definition at line 83 of file factoryconf.h.

◆ HAVE_INTTYPES_H

#define HAVE_INTTYPES_H   1

Definition at line 91 of file factoryconf.h.

◆ HAVE_LIBM

#define HAVE_LIBM   1

Definition at line 104 of file factoryconf.h.

◆ HAVE_MATH_H

#define HAVE_MATH_H   1

Definition at line 109 of file factoryconf.h.

◆ HAVE_OMALLOC_OMALLOC_H

#define HAVE_OMALLOC_OMALLOC_H   1

Definition at line 124 of file factoryconf.h.

◆ HAVE_SIGNAL_H

#define HAVE_SIGNAL_H   1

Definition at line 129 of file factoryconf.h.

◆ HAVE_STDARG_H

#define HAVE_STDARG_H   1

Definition at line 134 of file factoryconf.h.

◆ HAVE_STDINT_H

#define HAVE_STDINT_H   1

Definition at line 139 of file factoryconf.h.

◆ HAVE_STDIO_H

#define HAVE_STDIO_H   1

Definition at line 144 of file factoryconf.h.

◆ HAVE_STDLIB_H

#define HAVE_STDLIB_H   1

Definition at line 149 of file factoryconf.h.

◆ HAVE_STRING

#define HAVE_STRING   1

Definition at line 154 of file factoryconf.h.

◆ HAVE_STRING_H

#define HAVE_STRING_H   1

Definition at line 164 of file factoryconf.h.

◆ HAVE_STRINGS_H

#define HAVE_STRINGS_H   1

Definition at line 159 of file factoryconf.h.

◆ HAVE_SYS_STAT_H

#define HAVE_SYS_STAT_H   1

Definition at line 175 of file factoryconf.h.

◆ HAVE_SYS_TYPES_H

#define HAVE_SYS_TYPES_H   1

Definition at line 183 of file factoryconf.h.

◆ HAVE_TIME_H

#define HAVE_TIME_H   1

Definition at line 188 of file factoryconf.h.

◆ HAVE_UNISTD_H

#define HAVE_UNISTD_H   1

Definition at line 193 of file factoryconf.h.

◆ LT_OBJDIR

#define LT_OBJDIR   ".libs/"

Definition at line 198 of file factoryconf.h.

◆ NOASSERT

#define NOASSERT

Definition at line 308 of file factoryconf.h.

◆ OM_NDEBUG

#define OM_NDEBUG   1

Definition at line 209 of file factoryconf.h.

◆ PACKAGE

#define PACKAGE   "factory"

Definition at line 214 of file factoryconf.h.

◆ PACKAGE_BUGREPORT

#define PACKAGE_BUGREPORT   ""

Definition at line 219 of file factoryconf.h.

◆ PACKAGE_NAME

#define PACKAGE_NAME   "factory"

Definition at line 224 of file factoryconf.h.

◆ PACKAGE_STRING

#define PACKAGE_STRING   "factory 4.3.1"

Definition at line 229 of file factoryconf.h.

◆ PACKAGE_TARNAME

#define PACKAGE_TARNAME   "factory"

Definition at line 234 of file factoryconf.h.

◆ PACKAGE_URL

#define PACKAGE_URL   ""

Definition at line 239 of file factoryconf.h.

◆ PACKAGE_VERSION

#define PACKAGE_VERSION   "4.3.1"

Definition at line 244 of file factoryconf.h.

◆ PVIRT_BOOL

#define PVIRT_BOOL (   msg)    = 0

Definition at line 430 of file factoryconf.h.

◆ PVIRT_CHARCC

#define PVIRT_CHARCC (   msg)    = 0

Definition at line 432 of file factoryconf.h.

◆ PVIRT_INT

#define PVIRT_INT (   msg)    = 0

Definition at line 431 of file factoryconf.h.

◆ PVIRT_INTCF

#define PVIRT_INTCF (   msg)    = 0

Definition at line 429 of file factoryconf.h.

◆ PVIRT_VOID

#define PVIRT_VOID (   msg)    = 0

Definition at line 428 of file factoryconf.h.

◆ SING_NDEBUG

#define SING_NDEBUG   1

Definition at line 259 of file factoryconf.h.

◆ SINGULAR_CFLAGS

#define SINGULAR_CFLAGS   "-DSING_NDEBUG -DOM_NDEBUG"

Definition at line 254 of file factoryconf.h.

◆ STDC_HEADERS

#define STDC_HEADERS   1

Definition at line 271 of file factoryconf.h.

◆ STICKYASSERT

#define STICKYASSERT (   expression,
  message 
)    ((void)((expression) ? 0 : __ASSERT(#expression, message, __FILE__, __LINE__)))

Definition at line 359 of file factoryconf.h.

◆ STICKYASSERT1

#define STICKYASSERT1 (   expression,
  message,
  parameter1 
)    ((void)((expression) ? 0 : __ASSERT1(#expression, message, parameter1, __FILE__, __LINE__)))

Definition at line 361 of file factoryconf.h.

◆ STICKYWARN

#define STICKYWARN (   expression,
  message 
)    ((void)((expression) ? 0 : __WARN(#expression, message, __FILE__, __LINE__)))

Definition at line 367 of file factoryconf.h.

◆ VERSION

#define VERSION   "4.3.1"

Definition at line 279 of file factoryconf.h.

◆ WARN

#define WARN (   expression,
  message 
)    do {} while (0)

Definition at line 426 of file factoryconf.h.