1995-08-09 08:06:35 -07:00
|
|
|
/***********************************************************************/
|
|
|
|
/* */
|
1996-04-30 07:53:58 -07:00
|
|
|
/* Objective Caml */
|
1995-08-09 08:06:35 -07:00
|
|
|
/* */
|
|
|
|
/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */
|
|
|
|
/* */
|
1996-04-30 07:53:58 -07:00
|
|
|
/* Copyright 1996 Institut National de Recherche en Informatique et */
|
1999-11-17 10:59:06 -08:00
|
|
|
/* en Automatique. All rights reserved. This file is distributed */
|
1999-12-09 10:53:52 -08:00
|
|
|
/* under the terms of the GNU Library General Public License. */
|
1995-08-09 08:06:35 -07:00
|
|
|
/* */
|
|
|
|
/***********************************************************************/
|
|
|
|
|
|
|
|
/* $Id$ */
|
|
|
|
|
1995-08-09 07:52:04 -07:00
|
|
|
/* Operating system and standard library dependencies. */
|
|
|
|
|
1996-10-06 09:36:37 -07:00
|
|
|
/* 0. Operating system type string. */
|
|
|
|
|
|
|
|
#define OCAML_OS_TYPE "Unix"
|
1996-10-07 07:02:45 -07:00
|
|
|
/* #define OCAML_OS_TYPE "Win32" */
|
|
|
|
/* #define OCAML_OS_TYPE "MacOS" */
|
1996-10-06 09:36:37 -07:00
|
|
|
|
1995-08-09 07:52:04 -07:00
|
|
|
/* 1. For the runtime system. */
|
|
|
|
|
1996-02-13 08:29:09 -08:00
|
|
|
#define POSIX_SIGNALS
|
|
|
|
|
|
|
|
/* Define POSIX_SIGNALS if signal handling is POSIX-compliant.
|
|
|
|
In particular, sigaction(), sigprocmask() and the operations on
|
|
|
|
sigset_t are provided. */
|
|
|
|
|
1995-08-09 07:52:04 -07:00
|
|
|
#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. */
|
|
|
|
|
1996-02-21 02:49:46 -08:00
|
|
|
#define HAS_SIGSETMASK
|
|
|
|
|
|
|
|
/* Define HAS_SIGSETMASK if you have sigsetmask(), as in BSD. */
|
|
|
|
|
1996-02-13 08:29:09 -08:00
|
|
|
#define HAS_TERMCAP
|
1995-08-09 07:52:04 -07:00
|
|
|
|
1996-02-13 08:29:09 -08:00
|
|
|
/* 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 */
|
1995-08-09 07:52:04 -07:00
|
|
|
|
|
|
|
#define HAS_STRERROR
|
|
|
|
|
|
|
|
/* Define HAS_STRERROR if you have strerror(). */
|
|
|
|
|
|
|
|
/* 2. For the Unix library. */
|
|
|
|
|
|
|
|
#define HAS_SOCKETS
|
|
|
|
|
|
|
|
/* Define HAS_SOCKETS if you have BSD sockets. */
|
|
|
|
|
1999-12-17 04:42:16 -08:00
|
|
|
#define HAS_SOCKLEN_T
|
|
|
|
|
|
|
|
/* Define HAS_SOCKLEN_T if the type socklen_t is defined in
|
|
|
|
/usr/include/sys/socket.h. */
|
|
|
|
|
1995-08-09 07:52:04 -07:00
|
|
|
#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 *. */
|
|
|
|
|
1996-06-25 02:53:05 -07:00
|
|
|
#define HAS_REWINDDIR
|
|
|
|
|
|
|
|
/* Define HAS_REWINDDIR if you have rewinddir(). */
|
|
|
|
|
1995-08-09 07:52:04 -07:00
|
|
|
#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(). */
|
|
|
|
|
1996-01-08 02:19:02 -08:00
|
|
|
#define HAS_SYS_SELECT_H
|
|
|
|
|
|
|
|
/* Define HAS_SYS_SELECT_H if /usr/include/sys/select.h exists
|
|
|
|
and should be included before using select(). */
|
|
|
|
|
1995-08-09 07:52:04 -07:00
|
|
|
#define HAS_SYMLINK
|
|
|
|
|
|
|
|
/* Define HAS_SYMLINK if you have symlink() and readlink() and lstat(). */
|
|
|
|
|
1996-06-25 02:53:05 -07:00
|
|
|
#define HAS_WAIT4
|
1995-08-09 07:52:04 -07:00
|
|
|
#define HAS_WAITPID
|
|
|
|
|
1996-06-25 02:53:05 -07:00
|
|
|
/* Define HAS_WAIT4 if you have wait4().
|
1995-08-09 07:52:04 -07:00
|
|
|
Define HAS_WAITPID if you have waitpid(). */
|
|
|
|
|
|
|
|
#define HAS_GETGROUPS
|
|
|
|
|
|
|
|
/* Define HAS_GETGROUPS if you have getgroups(). */
|
|
|
|
|
|
|
|
#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(). */
|
1996-02-13 08:29:09 -08:00
|
|
|
|
|
|
|
#define HAS_GETTIMEOFDAY
|
|
|
|
|
|
|
|
/* Define HAS_GETTIMEOFDAY if you have gettimeofday(). */
|
|
|
|
|
1996-06-25 02:53:05 -07:00
|
|
|
#define HAS_MKTIME
|
|
|
|
|
|
|
|
/* Define HAS_MKTIME if you have mktime(). */
|
|
|
|
|
1998-04-30 06:38:50 -07:00
|
|
|
#define HAS_SETSID
|
|
|
|
|
|
|
|
/* Define HAS_SETSID if you have setsid(). */
|
|
|
|
|
|
|
|
#define HAS_PUTENV
|
|
|
|
|
|
|
|
/* Define HAS_PUTENV if you have putenv(). */
|
|
|
|
|
1999-05-15 08:08:33 -07:00
|
|
|
#define HAS_LOCALE
|
|
|
|
|
|
|
|
/* Define HAS_LOCALE if you have the include file <locale.h> and the
|
|
|
|
setlocale() function. */
|
2000-02-25 05:43:57 -08:00
|
|
|
|
|
|
|
#define HAS_MMAP
|
|
|
|
|
|
|
|
/* Define HAS_MMAP if you have the include file <sys/mman.h> and the
|
|
|
|
functions mmap() and munmap(). */
|