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