1 | /* emacs edit mode for this file is -*- C -*- */ |
---|
2 | |
---|
3 | #ifndef INCL_CONFIG_H |
---|
4 | #define INCL_CONFIG_H |
---|
5 | |
---|
6 | /* {{{ docu |
---|
7 | * |
---|
8 | * config.h.in - used by `configure' to create `config.h'. |
---|
9 | * |
---|
10 | * This file is included at building time from almost all source |
---|
11 | * files belonging to Factory. Furthermore, it is (textually) |
---|
12 | * included into `factoryconf.h' by `makeheader' so we have an |
---|
13 | * installed version of this file, too. This way, the installed |
---|
14 | * source files will be compiled with the same settings as the |
---|
15 | * library itself. |
---|
16 | * |
---|
17 | * In general, you should let `configure' guess the correct |
---|
18 | * values for the `#define's below. But if something seriously |
---|
19 | * goes wrong in configuring, please inform the authors and feel |
---|
20 | * free to edit the marked section. |
---|
21 | * |
---|
22 | */ |
---|
23 | /* }}} */ |
---|
24 | |
---|
25 | /************** START OF CONFIGURABLE SECTION **************/ |
---|
26 | |
---|
27 | /* Define to empty if the keyword does not work. */ |
---|
28 | #cmakedefine const |
---|
29 | |
---|
30 | /* Define as __inline if that's what the C compiler calls it. */ |
---|
31 | #cmakedefine inline |
---|
32 | |
---|
33 | /* factory version */ |
---|
34 | #cmakedefine FACTORYVERSION "@FACTORYVERSION@" |
---|
35 | |
---|
36 | /* factory configuration */ |
---|
37 | #cmakedefine FACTORYCONFIGURATION "@FACTORYCONFIGURATION@" |
---|
38 | |
---|
39 | /* where the gftables live */ |
---|
40 | #cmakedefine GFTABLEDIR "@GFTABLEDIR@" |
---|
41 | |
---|
42 | /* define if your compiler does arithmetic shift */ |
---|
43 | #cmakedefine HAS_ARITHMETIC_SHIFT 1 |
---|
44 | |
---|
45 | /* define to use "configurable inline methods" (see `cf_inline.cc') */ |
---|
46 | #cmakedefine CF_USE_INLINE 1 |
---|
47 | |
---|
48 | /* define to build factory without stream IO */ |
---|
49 | #cmakedefine NOSTREAMIO 1 |
---|
50 | |
---|
51 | /* which C++ header variants to use */ |
---|
52 | #cmakedefine HAVE_IOSTREAM_H 1 |
---|
53 | #cmakedefine HAVE_FSTREAM_H 1 |
---|
54 | #cmakedefine HAVE_STRSTREAM_H 1 |
---|
55 | |
---|
56 | #cmakedefine HAVE_IOSTREAM 1 |
---|
57 | #cmakedefine HAVE_FSTREAM 1 |
---|
58 | #cmakedefine HAVE_STRING 1 |
---|
59 | |
---|
60 | #cmakedefine HAVE_CSTDIO 1 |
---|
61 | |
---|
62 | /* define if linked to Singular */ |
---|
63 | #cmakedefine SINGULAR 1 |
---|
64 | |
---|
65 | /* define if build with OMALLOC */ |
---|
66 | #cmakedefine HAVE_OMALLOC 1 |
---|
67 | |
---|
68 | /* define if linked with factory memory manager */ |
---|
69 | #cmakedefine USE_MEMUTIL 1 |
---|
70 | |
---|
71 | /* define if linked with old factory memory manager */ |
---|
72 | #cmakedefine USE_OLD_MEMMAN 1 |
---|
73 | |
---|
74 | /* define if linked with new factory manager, debugging version */ |
---|
75 | #cmakedefine MDEBUG 1 |
---|
76 | |
---|
77 | /* define if you do not want to activate assertions */ |
---|
78 | #cmakedefine NOASSERT 1 |
---|
79 | |
---|
80 | /* define if you want to activate the timing stuff */ |
---|
81 | #cmakedefine TIMING 1 |
---|
82 | |
---|
83 | /* define if you want to have debugging output */ |
---|
84 | #cmakedefine DEBUGOUTPUT 1 |
---|
85 | |
---|
86 | /* define type of your compilers 64 bit integer type */ |
---|
87 | #define FACTORY_INT64 long long int |
---|
88 | |
---|
89 | #cmakedefine HAVE_NTL 1 |
---|
90 | |
---|
91 | /************** END OF CONFIGURABLE SECTION **************/ |
---|
92 | |
---|
93 | #endif /* ! INCL_CONFIG_H */ |
---|