1995-05-04 03:15:53 -07:00
|
|
|
### Compile-time configuration
|
|
|
|
|
1995-08-08 05:17:31 -07:00
|
|
|
########## General configuration
|
|
|
|
|
|
|
|
### Where to install the binaries
|
|
|
|
BINDIR=/usr/local/bin
|
|
|
|
|
|
|
|
### Where to install the standard library
|
|
|
|
LIBDIR=/usr/local/lib/camlsl
|
|
|
|
|
|
|
|
### Where to install the man pages
|
|
|
|
MANDIR=/usr/local/man/man1
|
|
|
|
MANEXT=1
|
|
|
|
|
|
|
|
### Do #! scripts work on your system?
|
1995-08-09 02:55:27 -07:00
|
|
|
### Beware: on some systems (e.g. SunOS 4), this will work only if
|
1996-05-11 11:26:49 -07:00
|
|
|
### the string "#!$(BINDIR)/ocamlrun" is less than 32 characters long.
|
1995-08-09 02:55:27 -07:00
|
|
|
### In doubt, set SHARPBANGSCRIPTS to false.
|
1995-08-08 05:17:31 -07:00
|
|
|
SHARPBANGSCRIPTS=true
|
|
|
|
#SHARPBANGSCRIPTS=false
|
|
|
|
|
|
|
|
########## Configuration for the bytecode compiler
|
1995-07-02 09:40:47 -07:00
|
|
|
|
1995-07-18 01:39:40 -07:00
|
|
|
### Which C compiler to use for the bytecode interpreter.
|
1995-07-02 09:40:47 -07:00
|
|
|
### Performance of the bytecode interpreter is *much* improved
|
1995-08-08 05:17:31 -07:00
|
|
|
### if Gnu CC version 2 is used.
|
1996-02-13 08:29:09 -08:00
|
|
|
#BYTECC=gcc
|
1995-08-09 02:55:27 -07:00
|
|
|
#BYTECC=cc
|
1995-05-04 03:15:53 -07:00
|
|
|
|
1995-07-18 01:39:40 -07:00
|
|
|
### Additional compile-time options for $(BYTECC).
|
1995-05-04 03:15:53 -07:00
|
|
|
# If using gcc on Intel 386 or Motorola 68k:
|
1995-09-12 01:44:21 -07:00
|
|
|
# (the -fno-defer-pop option circumvents a gcc bug)
|
1995-11-05 09:34:14 -08:00
|
|
|
#BYTECCCOMPOPTS=-fno-defer-pop -Wall
|
1995-05-04 03:15:53 -07:00
|
|
|
# If using gcc and being superstitious:
|
1996-02-13 08:29:09 -08:00
|
|
|
#BYTECCCOMPOPTS=-Wall
|
1995-11-26 06:50:05 -08:00
|
|
|
# Under NextStep:
|
|
|
|
#BYTECCCOMPOPTS=-U__GNUC__ -fno-defer-pop -Wall
|
1995-05-04 03:15:53 -07:00
|
|
|
# Otherwise:
|
1995-08-08 05:17:31 -07:00
|
|
|
#BYTECCCOMPOPTS=
|
1995-05-04 03:15:53 -07:00
|
|
|
|
1995-09-27 03:46:25 -07:00
|
|
|
### Additional link-time options for $(BYTECC)
|
1995-05-04 03:15:53 -07:00
|
|
|
### If using GCC on a Dec Alpha under OSF1:
|
1996-02-13 08:29:09 -08:00
|
|
|
#BYTECCLINKOPTS=-Xlinker -taso
|
1995-05-04 03:15:53 -07:00
|
|
|
# Otherwise:
|
1996-02-13 08:29:09 -08:00
|
|
|
#BYTECCLINKOPTS=
|
1995-07-18 10:41:36 -07:00
|
|
|
|
1995-05-04 03:15:53 -07:00
|
|
|
### Libraries needed
|
1995-08-08 05:17:31 -07:00
|
|
|
# On most platforms:
|
1996-02-13 08:29:09 -08:00
|
|
|
#CCLIBS=-lcurses -ltermcap -lm
|
1995-05-04 03:15:53 -07:00
|
|
|
|
1996-02-15 08:19:09 -08:00
|
|
|
### How to invoke the C preprocessor
|
1996-10-07 07:02:45 -07:00
|
|
|
# This is not needed anymore. Leave these lines commented out.
|
1996-02-15 08:19:09 -08:00
|
|
|
# On most machines:
|
|
|
|
#CPP=/lib/cpp -P
|
|
|
|
# Under Solaris:
|
|
|
|
#CPP=/usr/ccs/lib/cpp -P
|
|
|
|
# Under FreeBSD:
|
|
|
|
#CPP=cpp -P
|
|
|
|
|
1995-08-08 05:17:31 -07:00
|
|
|
### How to invoke ranlib
|
1995-05-04 03:15:53 -07:00
|
|
|
# BSD-style:
|
1996-02-13 08:29:09 -08:00
|
|
|
#RANLIB=ranlib
|
1996-11-07 02:58:12 -08:00
|
|
|
#RANLIBCMD=ranlib
|
|
|
|
# If ranlib is not needed:
|
|
|
|
#RANLIB=ar rs
|
|
|
|
#RANLIBCMD=
|
1995-05-04 03:15:53 -07:00
|
|
|
|
1995-08-08 05:17:31 -07:00
|
|
|
############# Configuration for the native-code compiler
|
1995-05-04 03:15:53 -07:00
|
|
|
|
1995-08-08 05:17:31 -07:00
|
|
|
### Name of architecture for the native-code compiler
|
|
|
|
### Currently supported:
|
|
|
|
###
|
|
|
|
### alpha DecStation 3000 under OSF1
|
|
|
|
### sparc Sun Sparcstation under SunOS 4.1 or Solaris 2
|
1995-10-23 09:54:03 -07:00
|
|
|
### i386 Intel 386 / 486 / Pentium PCs under Linux, NextStep or FreeBSD
|
1995-08-08 05:17:31 -07:00
|
|
|
### mips DecStation 3100 and 5000 under Ultrix 4
|
1995-11-26 06:50:05 -08:00
|
|
|
### hppa HP 9000/700 under NextStep
|
1996-01-08 02:14:54 -08:00
|
|
|
### power IBM RS6000 and PowerPC workstations under AIX 3.2
|
1996-11-07 02:58:12 -08:00
|
|
|
### m68k Motorola 68020 and beyond under SunOS 4
|
1995-08-08 05:17:31 -07:00
|
|
|
###
|
|
|
|
### Set ARCH=none if your machine is not supported
|
1996-02-13 08:29:09 -08:00
|
|
|
#ARCH=alpha
|
1995-08-08 05:17:31 -07:00
|
|
|
#ARCH=sparc
|
1995-11-05 09:34:14 -08:00
|
|
|
#ARCH=i386
|
1995-08-08 05:17:31 -07:00
|
|
|
#ARCH=mips
|
1995-11-26 06:50:05 -08:00
|
|
|
#ARCH=hppa
|
1996-11-07 02:58:12 -08:00
|
|
|
#ARCH=m68k
|
1995-08-08 05:17:31 -07:00
|
|
|
#ARCH=none
|
|
|
|
|
1996-01-08 02:14:54 -08:00
|
|
|
### Name of architecture model for the native-code compiler.
|
|
|
|
### Some architectures come in several slightly different flavors
|
|
|
|
### that share a common code generator. This variable tailors the
|
|
|
|
### behavior of the code generator to the particular flavor used.
|
|
|
|
### Currently needed only if ARCH=power; leave MODEL=default for
|
|
|
|
### other architectures.
|
|
|
|
### If ARCH=power: choose between
|
|
|
|
### MODEL=rs6000 The original IBM RS6000 workstations
|
|
|
|
### (RIOS and RIOS2 processors)
|
|
|
|
### MODEL=ppc The newer PowerPC processors
|
|
|
|
### (Motorola/IBM PPC601, PPC603, PPC604, etc)
|
|
|
|
### The Motorola PPC601 is compatible with both models, but the newer
|
|
|
|
### PPCs will work only with MODEL=ppc, and the older IBM RS6000
|
|
|
|
### workstations will work only with MODEL=rs6000.
|
|
|
|
###
|
|
|
|
### For other architectures: leave MODEL=default
|
|
|
|
###
|
|
|
|
#MODEL=rs6000
|
|
|
|
#MODEL=ppc
|
1996-02-13 08:29:09 -08:00
|
|
|
#MODEL=default
|
1996-01-08 02:14:54 -08:00
|
|
|
|
1995-10-31 01:27:00 -08:00
|
|
|
### Name of operating system family for the native-code compiler.
|
|
|
|
### If ARCH=sparc: choose between
|
|
|
|
### SYSTEM=sunos SunOS 4.1
|
|
|
|
### SYSTEM=solaris Solaris 2
|
|
|
|
###
|
|
|
|
### If ARCH=i386: choose between
|
1996-11-07 02:58:12 -08:00
|
|
|
### SYSTEM=linux_aout Linux with a.out binaries
|
1995-10-31 01:27:00 -08:00
|
|
|
### SYSTEM=linux_elf Linux with ELF binaries
|
1995-10-31 02:48:54 -08:00
|
|
|
### SYSTEM=bsd FreeBSD, probably works for NetBSD also
|
1995-10-31 01:27:00 -08:00
|
|
|
### SYSTEM=nextstep NextStep
|
|
|
|
###
|
|
|
|
### For other architectures: set SYSTEM=unknown
|
|
|
|
###
|
1995-08-08 05:17:31 -07:00
|
|
|
#SYSTEM=sunos
|
|
|
|
#SYSTEM=solaris
|
1995-11-05 09:34:14 -08:00
|
|
|
#SYSTEM=linux
|
1995-10-31 01:27:00 -08:00
|
|
|
#SYSTEM=linux_elf
|
|
|
|
#SYSTEM=bsd
|
|
|
|
#SYSTEM=nextstep
|
1996-02-13 08:29:09 -08:00
|
|
|
#SYSTEM=unknown
|
1995-08-08 05:17:31 -07:00
|
|
|
|
|
|
|
### Which C compiler to use for the native-code compiler.
|
|
|
|
### cc is better than gcc on the Mips and Alpha.
|
1996-02-13 08:29:09 -08:00
|
|
|
#NATIVECC=cc
|
1995-11-05 09:34:14 -08:00
|
|
|
#NATIVECC=gcc
|
1995-08-08 05:17:31 -07:00
|
|
|
|
|
|
|
### Additional compile-time options for $(NATIVECC).
|
1995-08-09 02:55:27 -07:00
|
|
|
# For cc on the Alpha:
|
1996-02-13 08:29:09 -08:00
|
|
|
#NATIVECCCOMPOPTS=-std1
|
1995-08-09 02:55:27 -07:00
|
|
|
# For cc on the Mips:
|
|
|
|
#NATIVECCCOMPOPTS=-std
|
|
|
|
# For gcc if superstitious:
|
1995-11-05 09:34:14 -08:00
|
|
|
#NATIVECCCOMPOPTS=-Wall
|
1995-08-08 05:17:31 -07:00
|
|
|
|
1995-09-27 03:46:25 -07:00
|
|
|
### Additional link-time options for $(NATIVECC)
|
1996-02-13 08:29:09 -08:00
|
|
|
#NATIVECCLINKOPTS=
|
1995-09-27 03:46:25 -07:00
|
|
|
|
1995-08-08 05:17:31 -07:00
|
|
|
### Flags for the assembler
|
|
|
|
# For the Alpha or the Mips:
|
1996-02-13 08:29:09 -08:00
|
|
|
#ASFLAGS=-O2
|
|
|
|
# For the PowerPC:
|
|
|
|
#ASFLAGS=-u -m ppc -w
|
|
|
|
# For the RS6000:
|
|
|
|
#ASFLAGS=-u -m pwr -w
|
1996-11-07 02:58:12 -08:00
|
|
|
# Otherwise:
|
|
|
|
#ASFLAGS=
|
1995-11-05 09:34:14 -08:00
|
|
|
|
1996-09-18 06:24:56 -07:00
|
|
|
### Command and flags to use for assembling .S files (often with preprocessing)
|
|
|
|
# If gcc is available:
|
|
|
|
#ASPP=gcc
|
|
|
|
#ASPPFLAGS=-c -DSYS_$(SYSTEM)
|
|
|
|
# On SunOS and Solaris:
|
|
|
|
#ASPP=$(AS)
|
|
|
|
#ASPPFLAGS=-P -DSYS_$(SYSTEM)
|
|
|
|
# Otherwise:
|
|
|
|
#ASPP=$(AS)
|
1996-11-07 02:58:12 -08:00
|
|
|
#ASPPFLAGS=
|
1996-09-18 06:24:56 -07:00
|
|
|
|
1995-11-05 09:34:14 -08:00
|
|
|
############# Configuration for the contributed libraries
|
|
|
|
|
1996-04-01 07:25:05 -08:00
|
|
|
### Which libraries to compile and install
|
|
|
|
# Currently available:
|
|
|
|
# unix Unix system calls
|
|
|
|
# str Regular expressions and high-level string processing
|
|
|
|
# num Arbitrary-precision rational arithmetic
|
|
|
|
# threads Lightweight concurrent processes
|
|
|
|
# (require POSIX threads)
|
|
|
|
# graph Portable drawing primitives for X11
|
|
|
|
# dynlink Dynamic linking of bytecode
|
|
|
|
#
|
|
|
|
OTHERLIBRARIES=unix str num threads graph dynlink
|
|
|
|
|
1995-11-05 09:34:14 -08:00
|
|
|
### Name of the target architecture for the "num" library
|
|
|
|
# Known targets:
|
|
|
|
# 68K vax ns mips alpha pyramid i960
|
|
|
|
# sparc supersparc sparc-solaris supersparc-solaris
|
1995-11-09 05:20:03 -08:00
|
|
|
# See the file otherlibs/num/README for more explanations.
|
1995-11-05 09:34:14 -08:00
|
|
|
# If you don't know, leave BIGNUM_ARCH=C, which selects a portable
|
|
|
|
# C implementation of these routines.
|
|
|
|
BIGNUM_ARCH=C
|
|
|
|
|
|
|
|
### Location of the include directory containing the X11/*.h includes
|
|
|
|
# Needed for the "graph" package
|
|
|
|
# Usually:
|
1996-02-13 08:29:09 -08:00
|
|
|
#X11_INCLUDES=/usr/include
|
1995-11-05 09:34:14 -08:00
|
|
|
# For SunOS with OpenLook:
|
|
|
|
#X11_INCLUDES=/usr/openwin/include
|
|
|
|
|
1996-05-11 11:26:49 -07:00
|
|
|
### Link-time options to ocamlc or ocamlopt for linking with X11 libraries
|
1995-11-05 09:34:14 -08:00
|
|
|
# Needed for the "graph" package
|
|
|
|
# Usually:
|
1996-04-02 00:40:31 -08:00
|
|
|
#X11_LINK=-cclib -lX11
|
1995-11-05 09:34:14 -08:00
|
|
|
# For SunOS with OpenLook:
|
1996-04-02 00:40:31 -08:00
|
|
|
#X11_LINK=-cclib -L$(X11_LIB) -cclib -lX11
|
1996-04-01 07:25:05 -08:00
|
|
|
|