annotate keiko/config.h @ 1:b5139af1a420 tip basis

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