source: git/factory/config.h.in @ 050d1b

spielwiese
Last change on this file since 050d1b was 97a059, checked in by Martin Lee <martinlee84@…>, 12 years ago
Started fork swSingularFlint from spielwiese chg: changed build system to be able to compile Singular with Flint add: conversion functions from factory to Flint and vice versa chg: added HAVE_FLINT to factory config.h
  • Property mode set to 100644
File size: 4.2 KB
Line 
1/* config.h.in.  Generated from configure.ac by autoheader.  */
2
3/* define to use "configurable inline methods" (see cf_inline.cc) */
4#undef CF_USE_INLINE
5
6/* define if you want to have debugging output */
7#undef DEBUGOUTPUT
8
9/* DISABLE_GMP_CPP */
10#undef DISABLE_GMP_CPP
11
12/* factory configuration */
13#undef FACTORYCONFIGURATION
14
15/* factory version */
16#undef FACTORYVERSION
17
18/* where the gftables live */
19#undef GFTABLEDIR
20
21/* Define if GMP is version 3.xxx */
22#undef GMP_VERSION_3
23
24/* Define to 1 if you have the <cstdio> header file. */
25#undef HAVE_CSTDIO
26
27/* Define to 1 if you have the <ctype.h> header file. */
28#undef HAVE_CTYPE_H
29
30/* Define to 1 if you have the <dlfcn.h> header file. */
31#undef HAVE_DLFCN_H
32
33/* Define to 1 if you have the <errno.h> header file. */
34#undef HAVE_ERRNO_H
35
36/* Define to 1 if you have the <fstream> header file. */
37#undef HAVE_FSTREAM
38
39/* Define to 1 if you have the <fstream.h> header file. */
40#undef HAVE_FSTREAM_H
41
42/* Define if GMP is installed */
43#undef HAVE_GMP
44
45/* Define to 1 if you have the <inttypes.h> header file. */
46#undef HAVE_INTTYPES_H
47
48/* Define to 1 if you have the <iostream> header file. */
49#undef HAVE_IOSTREAM
50
51/* Define to 1 if you have the <iostream.h> header file. */
52#undef HAVE_IOSTREAM_H
53
54/* have libfac */
55#undef HAVE_LIBFAC
56
57/* Define to 1 if you have the `m' library (-lm). */
58#undef HAVE_LIBM
59
60/* Define to 1 if you have the <math.h> header file. */
61#undef HAVE_MATH_H
62
63/* Define to 1 if you have the <memory.h> header file. */
64#undef HAVE_MEMORY_H
65
66/* Define if NTL is installed */
67#undef HAVE_NTL
68
69/* Define if FLINT is installed */
70#undef FLINT
71
72/* omalloc support */
73#undef HAVE_OMALLOC
74
75/* Define to 1 if you have the <omalloc/omalloc.h> header file. */
76#undef HAVE_OMALLOC_OMALLOC_H
77
78/* Define to 1 if you have the <signal.h> header file. */
79#undef HAVE_SIGNAL_H
80
81/* Define to 1 if you have the <stdarg.h> header file. */
82#undef HAVE_STDARG_H
83
84/* Define to 1 if you have the <stdint.h> header file. */
85#undef HAVE_STDINT_H
86
87/* Define to 1 if you have the <stdio.h> header file. */
88#undef HAVE_STDIO_H
89
90/* Define to 1 if you have the <stdlib.h> header file. */
91#undef HAVE_STDLIB_H
92
93/* Define to 1 if you have the <string> header file. */
94#undef HAVE_STRING
95
96/* Define to 1 if you have the <strings.h> header file. */
97#undef HAVE_STRINGS_H
98
99/* Define to 1 if you have the <string.h> header file. */
100#undef HAVE_STRING_H
101
102/* Define to 1 if you have the <strstream.h> header file. */
103#undef HAVE_STRSTREAM_H
104
105/* Define to 1 if you have the <sys/param.h> header file. */
106#undef HAVE_SYS_PARAM_H
107
108/* Define to 1 if you have the <sys/stat.h> header file. */
109#undef HAVE_SYS_STAT_H
110
111/* Define to 1 if you have the <sys/times.h> header file. */
112#undef HAVE_SYS_TIMES_H
113
114/* Define to 1 if you have the <sys/types.h> header file. */
115#undef HAVE_SYS_TYPES_H
116
117/* Define to 1 if you have the <time.h> header file. */
118#undef HAVE_TIME_H
119
120/* Define to 1 if you have the <unistd.h> header file. */
121#undef HAVE_UNISTD_H
122
123/* Defenition for INT64 */
124#undef INT64
125
126/* Define to the sub-directory in which libtool stores uninstalled libraries.
127   */
128#undef LT_OBJDIR
129
130/* define if you do not want to activate assertions */
131#undef NOASSERT
132
133/* define to build factory without stream IO */
134#undef NOSTREAMIO
135
136/* Name of package */
137#undef PACKAGE
138
139/* Define to the address where bug reports for this package should be sent. */
140#undef PACKAGE_BUGREPORT
141
142/* Define to the full name of this package. */
143#undef PACKAGE_NAME
144
145/* Define to the full name and version of this package. */
146#undef PACKAGE_STRING
147
148/* Define to the one symbol short name of this package. */
149#undef PACKAGE_TARNAME
150
151/* Define to the home page for this package. */
152#undef PACKAGE_URL
153
154/* Define to the version of this package. */
155#undef PACKAGE_VERSION
156
157/* define if linked to Singular */
158#undef SINGULAR
159
160/* The size of `long', as computed by sizeof. */
161#undef SIZEOF_LONG
162
163/* Define to 1 if you have the ANSI C header files. */
164#undef STDC_HEADERS
165
166/* define if you want to activate the timing stuff */
167#undef TIMING
168
169/* Version number of package */
170#undef VERSION
171
172/* Define to empty if `const' does not conform to ANSI C. */
173#undef const
174
175/* Define to `__inline__' or `__inline' if that's what the C compiler
176   calls it, or to nothing if 'inline' is not supported under any name.  */
177#ifndef __cplusplus
178#undef inline
179#endif
Note: See TracBrowser for help on using the repository browser.