comparison keiko/config.h @ 0:bfdcc3820b32

Basis
author Mike Spivey <mike@cs.ox.ac.uk>
date Thu, 05 Oct 2017 08:04:15 +0100
parents
children
comparison
equal deleted inserted replaced
-1:000000000000 0:bfdcc3820b32
1 /* keiko/config.h */
2 /* Copyright (c) 2017 J. M. Spivey */
3
4 /* Define if building universal (internal helper macro) */
5 /* #undef AC_APPLE_UNIVERSAL_BUILD */
6
7 /* Define to set up for debugging */
8 #define DEBUG 1
9
10 /* Directory separator in file names */
11 #define DIRSEP "/"
12
13 /* Extension for dynamic libraries */
14 #define DLEXT ".so"
15
16 /* Define if dynamic linking enabled */
17 /* #undef DYNLINK */
18
19 /* Define to 1 if you have the `clock' function. */
20 #define HAVE_CLOCK 1
21
22 /* Define to 1 if you don't have `vprintf' but do have `_doprnt.' */
23 /* #undef HAVE_DOPRNT */
24
25 /* Define to 1 if you have the `getopt_long_only' function. */
26 #define HAVE_GETOPT_LONG_ONLY 1
27
28 /* Define to 1 if you have the `getpagesize' function. */
29 #define HAVE_GETPAGESIZE 1
30
31 /* Define to 1 if you have the `gettimeofday' function. */
32 #define HAVE_GETTIMEOFDAY 1
33
34 /* Define if indexed jumps work. */
35 #define HAVE_INDEXED_JUMPS 1
36
37 /* Define to 1 if you have the <inttypes.h> header file. */
38 #define HAVE_INTTYPES_H 1
39
40 /* Define to 1 if you have the <memory.h> header file. */
41 #define HAVE_MEMORY_H 1
42
43 /* Define to 1 if you have the `mmap' function. */
44 #define HAVE_MMAP 1
45
46 /* Define to 1 if you have the `sigprocmask' function. */
47 #define HAVE_SIGPROCMASK 1
48
49 /* Define to 1 if you have the <stdint.h> header file. */
50 #define HAVE_STDINT_H 1
51
52 /* Define to 1 if you have the <stdlib.h> header file. */
53 #define HAVE_STDLIB_H 1
54
55 /* Define to 1 if you have the `stpcpy' function. */
56 #define HAVE_STPCPY 1
57
58 /* Define to 1 if you have the <strings.h> header file. */
59 #define HAVE_STRINGS_H 1
60
61 /* Define to 1 if you have the <string.h> header file. */
62 #define HAVE_STRING_H 1
63
64 /* Define to 1 if you have the `strtoul' function. */
65 #define HAVE_STRTOUL 1
66
67 /* Define to 1 if you have the <sys/stat.h> header file. */
68 #define HAVE_SYS_STAT_H 1
69
70 /* Define to 1 if you have the <sys/time.h> header file. */
71 #define HAVE_SYS_TIME_H 1
72
73 /* Define to 1 if you have the <sys/types.h> header file. */
74 #define HAVE_SYS_TYPES_H 1
75
76 /* Define to 1 if you have the `time' function. */
77 #define HAVE_TIME 1
78
79 /* Define to 1 if you have the <time.h> header file. */
80 #define HAVE_TIME_H 1
81
82 /* Define to 1 if you have the <unistd.h> header file. */
83 #define HAVE_UNISTD_H 1
84
85 /* Define to 1 if you have the `vprintf' function. */
86 #define HAVE_VPRINTF 1
87
88 /* Define for Linux */
89 #define LINUX 1
90
91 /* Log2 of page size */
92 #define LOG_PAGESIZE 12
93
94 /* Define for 64-bit runtime with 32-bit pointers */
95 /* #undef M64X32 */
96
97 /* Define to enable hacks for MacOS X */
98 /* #undef MACOS */
99
100 /* Magic number for trailer */
101 #define MAGIC "OBCX"
102
103 /* Reboot FPU for each primitive */
104 /* #undef NEED_FPINIT */
105
106 /* Attribute for functions that don't return */
107 #define NORETURN __attribute__ ((noreturn))
108
109 /* Define to the address where bug reports for this package should be sent. */
110 #define PACKAGE_BUGREPORT "mike@cs.ox.ac.uk"
111
112 /* Define to the full name of this package. */
113 #define PACKAGE_NAME "obc"
114
115 /* Define to the full name and version of this package. */
116 #define PACKAGE_STRING "obc 3.1alpha"
117
118 /* Define to the one symbol short name of this package. */
119 #define PACKAGE_TARNAME "obc"
120
121 /* Bug tracker */
122 #define PACKAGE_TRACKER "https://bitbucket.org/Spivey/obc-3/issues"
123
124 /* Define to the home page for this package. */
125 #define PACKAGE_URL ""
126
127 /* Define to the version of this package. */
128 #define PACKAGE_VERSION "3.1alpha"
129
130 /* Page size */
131 #define PAGESIZE 4096
132
133 /* Version signature for symbol tables */
134 #define SIG 0x00030190
135
136 /* Define to 1 if you have the ANSI C header files. */
137 #define STDC_HEADERS 1
138
139 /* Attribute for unused variables */
140 #define UNUSED __attribute__ ((unused))
141
142 /* Whether to flush the cache */
143 /* #undef USE_FLUSH */
144
145 /* Whether to use inet sockets for the debugger */
146 /* #undef USE_INET */
147
148 /* Whether to call mprotect from JIT */
149 #define USE_MPROTECT 1
150
151 /* Define to enable hacks for Windows */
152 /* #undef WINDOWS */
153
154 /* Whether to include specials for the compilers course */
155 #define SPECIALS 1
156
157 /* Define WORDS_BIGENDIAN to 1 if your processor stores words with the most
158 significant byte first (like Motorola and SPARC, unlike Intel). */
159 #if defined AC_APPLE_UNIVERSAL_BUILD
160 # if defined __BIG_ENDIAN__
161 # define WORDS_BIGENDIAN 1
162 # endif
163 #else
164 # ifndef WORDS_BIGENDIAN
165 /* # undef WORDS_BIGENDIAN */
166 # endif
167 #endif
168
169 /* Define to 1 if the X Window System is missing or not being used. */
170 /* #undef X_DISPLAY_MISSING */
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