metamath executable
executable used to maintain *.mm files
Loading...
Searching...
No Matches
config.h
1/* config.h. Generated from config.h.in by configure. */
2/* config.h.in. Generated from configure.ac by autoheader. */
3
4/* Define to 1 if you have the <inttypes.h> header file. */
5#define HAVE_INTTYPES_H 1
6
7/* Define to 1 if you have the <limits.h> header file. */
8#define HAVE_LIMITS_H 1
9
10/* Define to 1 if your system has a GNU libc compatible 'malloc' function, and
11 to 0 otherwise. */
12#define HAVE_MALLOC 1
13
14/* Define to 1 if your system has a GNU libc compatible 'realloc' function,
15 and to 0 otherwise. */
16#define HAVE_REALLOC 1
17
18/* Define to 1 if stdbool.h conforms to C99. */
19#define HAVE_STDBOOL_H 1
20
21/* Define to 1 if you have the <stdint.h> header file. */
22#define HAVE_STDINT_H 1
23
24/* Define to 1 if you have the <stdio.h> header file. */
25#define HAVE_STDIO_H 1
26
27/* Define to 1 if you have the <stdlib.h> header file. */
28#define HAVE_STDLIB_H 1
29
30/* Define to 1 if you have the 'strchr' function. */
31#define HAVE_STRCHR 1
32
33/* Define to 1 if you have the 'strcspn' function. */
34#define HAVE_STRCSPN 1
35
36/* Define to 1 if you have the <strings.h> header file. */
37#define HAVE_STRINGS_H 1
38
39/* Define to 1 if you have the <string.h> header file. */
40#define HAVE_STRING_H 1
41
42/* Define to 1 if you have the 'strstr' function. */
43#define HAVE_STRSTR 1
44
45/* Define to 1 if you have the <sys/stat.h> header file. */
46#define HAVE_SYS_STAT_H 1
47
48/* Define to 1 if you have the <sys/types.h> header file. */
49#define HAVE_SYS_TYPES_H 1
50
51/* Define to 1 if you have the <unistd.h> header file. */
52#define HAVE_UNISTD_H 1
53
54/* Define to 1 if the system has the type '_Bool'. */
55#define HAVE__BOOL 1
56
57/* Name of package */
58#define PACKAGE "metamath"
59
60/* Define to the address where bug reports for this package should be sent. */
61#define PACKAGE_BUGREPORT ""
62
63/* Define to the full name of this package. */
64#define PACKAGE_NAME "metamath"
65
66/* Define to the full name and version of this package. */
67#define PACKAGE_STRING "metamath 0.199.pre-29-Jan-2022"
68
69/* Define to the one symbol short name of this package. */
70#define PACKAGE_TARNAME "metamath"
71
72/* Define to the home page for this package. */
73#define PACKAGE_URL ""
74
75/* Define to the version of this package. */
76#define PACKAGE_VERSION "0.199.pre-29-Jan-2022"
77
78/* Define to 1 if all of the C89 standard headers exist (not just the ones
79 required in a freestanding environment). This macro is provided for
80 backward compatibility; new code need not use it. */
81#define STDC_HEADERS 1
82
83/* Version number of package */
84#define VERSION "0.199.pre-29-Jan-2022"
85
86/* Define to rpl_malloc if the replacement function should be used. */
87/* #undef malloc */
88
89/* Define to rpl_realloc if the replacement function should be used. */
90/* #undef realloc */
91
92/* Define as 'unsigned int' if <stddef.h> doesn't define. */
93/* #undef size_t */