1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
|
/***********************************************************************/
/* */
/* OCaml */
/* */
/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */
/* */
/* Copyright 1996 Institut National de Recherche en Informatique et */
/* en Automatique. All rights reserved. This file is distributed */
/* under the terms of the GNU Library General Public License, with */
/* the special exception on linking described in file ../LICENSE. */
/* */
/***********************************************************************/
/* Operating system and standard library dependencies. */
/* 0. Operating system type string. */
#define OCAML_OS_TYPE "Unix"
/* #define OCAML_OS_TYPE "Win32" */
/* #define OCAML_OS_TYPE "MacOS" */
/* 1. For the runtime system. */
#define POSIX_SIGNALS
/* Define POSIX_SIGNALS if signal handling is POSIX-compliant.
In particular, sigaction(), sigprocmask() and the operations on
sigset_t are provided. */
#define BSD_SIGNALS
/* Define BSD_SIGNALS if signal handlers have the BSD semantics: the handler
remains attached to the signal when the signal is received. Leave it
undefined if signal handlers have the System V semantics: the signal
resets the behavior to default. */
#define HAS_SIGSETMASK
/* Define HAS_SIGSETMASK if you have sigsetmask(), as in BSD. */
#define HAS_TERMCAP
/* Define HAS_TERMCAP if you have the termcap functions to read the
terminal database, e.g. tgetent(), tgetstr(), tgetnum(), tputs().
Also add the required libraries (e.g. -lcurses -ltermcap) to $(CCLIBS)
in ../Makefile.config */
#define SUPPORT_DYNAMIC_LINKING
/* Define SUPPORT_DYNAMIC_LINKING if dynamic loading of C stub code
via dlopen() is available. */
#define HAS_C99_FLOAT_OPS
/* Define HAS_C99_FLOAT_OPS if <math.h> conforms to ISO C99.
In particular, it should provide expm1(), log1p(), hypot(), copysign(). */
/* 2. For the Unix library. */
#define HAS_SOCKETS
/* Define HAS_SOCKETS if you have BSD sockets. */
#define HAS_SOCKLEN_T
/* Define HAS_SOCKLEN_T if the type socklen_t is defined in
/usr/include/sys/socket.h. */
#define HAS_UNISTD
/* Define HAS_UNISTD if you have /usr/include/unistd.h. */
#define HAS_DIRENT
/* Define HAS_DIRENT if you have /usr/include/dirent.h and the result of
readdir() is of type struct dirent *.
Otherwise, we'll load /usr/include/sys/dir.h, and readdir() is expected to
return a struct direct *. */
#define HAS_REWINDDIR
/* Define HAS_REWINDDIR if you have rewinddir(). */
#define HAS_LOCKF
/* Define HAS_LOCKF if the library provides the lockf() function. */
#define HAS_MKFIFO
/* Define HAS_MKFIFO if the library provides the mkfifo() function. */
#define HAS_GETCWD
#define HAS_GETWD
/* Define HAS_GETCWD if the library provides the getcwd() function. */
/* Define HAS_GETWD if the library provides the getwd() function. */
#define HAS_GETPRIORITY
/* Define HAS_GETPRIORITY if the library provides getpriority() and
setpriority(). Otherwise, we'll use nice(). */
#define HAS_UTIME
#define HAS_UTIMES
/* Define HAS_UTIME if you have /usr/include/utime.h and the library
provides utime(). Define HAS_UTIMES if the library provides utimes(). */
#define HAS_DUP2
/* Define HAS_DUP2 if you have dup2(). */
#define HAS_FCHMOD
/* Define HAS_FCHMOD if you have fchmod() and fchown(). */
#define HAS_TRUNCATE
/* Define HAS_TRUNCATE if you have truncate() and
ftruncate(). */
#define HAS_SELECT
/* Define HAS_SELECT if you have select(). */
#define HAS_SYS_SELECT_H
/* Define HAS_SYS_SELECT_H if /usr/include/sys/select.h exists
and should be included before using select(). */
#define HAS_SYMLINK
/* Define HAS_SYMLINK if you have symlink() and readlink() and lstat(). */
#define HAS_WAIT4
#define HAS_WAITPID
/* Define HAS_WAIT4 if you have wait4().
Define HAS_WAITPID if you have waitpid(). */
#define HAS_GETGROUPS
/* Define HAS_GETGROUPS if you have getgroups(). */
#define HAS_SETGROUPS
/* Define HAS_SETGROUPS if you have setgroups(). */
#define HAS_INITGROUPS
/* Define HAS_INITGROUPS if you have initgroups(). */
#define HAS_TERMIOS
/* Define HAS_TERMIOS if you have /usr/include/termios.h and it is
Posix-compliant. */
#define HAS_ASYNC_IO
/* Define HAS_ASYNC_IO if BSD-style asynchronous I/O are supported
(the process can request to be sent a SIGIO signal when a descriptor
is ready for reading). */
#define HAS_SETITIMER
/* Define HAS_SETITIMER if you have setitimer(). */
#define HAS_GETHOSTNAME
/* Define HAS_GETHOSTNAME if you have gethostname(). */
#define HAS_UNAME
/* Define HAS_UNAME if you have uname(). */
#define HAS_GETTIMEOFDAY
/* Define HAS_GETTIMEOFDAY if you have gettimeofday(). */
#define HAS_MKTIME
/* Define HAS_MKTIME if you have mktime(). */
#define HAS_SETSID
/* Define HAS_SETSID if you have setsid(). */
#define HAS_PUTENV
/* Define HAS_PUTENV if you have putenv(). */
#define HAS_LOCALE
/* Define HAS_LOCALE if you have the include file <locale.h> and the
setlocale() function. */
#define HAS_MMAP
/* Define HAS_MMAP if you have the include file <sys/mman.h> and the
functions mmap() and munmap(). */
#define HAS_GETHOSTBYNAME_R 6
/* Define HAS_GETHOSTBYNAME_R if gethostbyname_r() is available.
The value of this symbol is the number of arguments of
gethostbyname_r(): either 5 or 6 depending on prototype.
(5 is the Solaris version, 6 is the Linux version). */
#define HAS_GETHOSTBYADDR_R 8
/* Define HAS_GETHOSTBYADDR_R if gethostbyname_r() is available.
The value of this symbol is the number of arguments of
gethostbyaddr_r(): either 7 or 8 depending on prototype.
(7 is the Solaris version, 8 is the Linux version). */
|
