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