1995-05-04 03:15:53 -07:00
|
|
|
### Compile-time configuration
|
|
|
|
|
1995-07-02 09:40:47 -07:00
|
|
|
### Name of architecture for the native-code compiler
|
|
|
|
### Currently supported: alpha, sparc, i386
|
1995-07-12 07:22:01 -07:00
|
|
|
### Set ARCH=none if your machine is not supported
|
1995-07-02 09:40:47 -07:00
|
|
|
ARCH=alpha
|
1995-07-12 07:22:01 -07:00
|
|
|
#ARCH=mips
|
1995-07-02 09:40:47 -07:00
|
|
|
#ARCH=sparc
|
|
|
|
#ARCH=i386
|
|
|
|
#ARCH=none
|
|
|
|
|
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
|
|
|
|
### if Gnu CC 2 is used.
|
1995-07-18 01:39:40 -07:00
|
|
|
BYTECC=gcc
|
|
|
|
#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-07-18 01:39:40 -07:00
|
|
|
# BYTECCCOMPOPTS=-fno-defer-pop
|
1995-05-04 03:15:53 -07:00
|
|
|
# If using gcc and being superstitious:
|
1995-07-18 01:39:40 -07:00
|
|
|
BYTECCCOMPOPTS=-Wall
|
1995-05-04 03:15:53 -07:00
|
|
|
# Otherwise:
|
1995-07-18 01:39:40 -07:00
|
|
|
# BYTECCCOMPOPTS=
|
|
|
|
|
|
|
|
### Which C compiler to use for the native-code compiler.
|
|
|
|
### cc is better than gcc on the Mips and Alpha.
|
|
|
|
NATIVECC=cc
|
|
|
|
#NATIVECC=gcc
|
|
|
|
|
|
|
|
### Additional compile-time options for $(NATIVECC).
|
1995-07-20 00:50:43 -07:00
|
|
|
# NATIVECCCOMPOPTS=
|
|
|
|
# For the Alpha:
|
|
|
|
NATIVECCCOMPOPTS=-std1
|
1995-05-04 03:15:53 -07:00
|
|
|
|
|
|
|
### Additional link-time options
|
|
|
|
CCLINKOPTS=
|
|
|
|
|
|
|
|
### If using GCC on a Dec Alpha under OSF1:
|
|
|
|
LOWADDRESSES=-Xlinker -taso
|
|
|
|
# Otherwise:
|
|
|
|
# LOWADDRESSES=
|
|
|
|
|
1995-07-18 10:41:36 -07:00
|
|
|
### Flags for the assembler
|
|
|
|
# For the Sparc:
|
|
|
|
# ASFLAGS=-P
|
|
|
|
# For the Alpha or the Mips:
|
|
|
|
ASFLAGS=-O2
|
1995-07-20 00:50:43 -07:00
|
|
|
# Otherwise:
|
|
|
|
# ASFLAGS=
|
1995-07-18 10:41:36 -07:00
|
|
|
|
1995-05-04 03:15:53 -07:00
|
|
|
### Libraries needed
|
|
|
|
CCLIBS=$(TERMINFOLIBS) -lm
|
|
|
|
|
|
|
|
### How to invoke ranlib (if needed)
|
|
|
|
# BSD-style:
|
|
|
|
RANLIB=ranlib
|
|
|
|
# System V-style:
|
|
|
|
# RANLIB=ar -rs
|
|
|
|
# If ranlib is not needed at all:
|
|
|
|
# RANLIB=true
|
|
|
|
|
|
|
|
### Do #! scripts work on your system?
|
|
|
|
SHARPBANGSCRIPTS=true
|
|
|
|
# SHARPBANGSCRIPTS=false
|
|
|
|
|
|
|
|
### 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
|