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-05-04 03:15:53 -07:00
|
|
|
### Which C compiler to use.
|
1995-07-02 09:40:47 -07:00
|
|
|
### Performance of the bytecode interpreter is *much* improved
|
|
|
|
|
### if Gnu CC 2 is used.
|
1995-05-04 03:15:53 -07:00
|
|
|
CC=gcc
|
|
|
|
|
#CC=cc
|
|
|
|
|
|
|
|
|
|
### Additional compile-time options
|
|
|
|
|
# If using gcc on Intel 386 or Motorola 68k:
|
|
|
|
|
# CCCOMPOPTS=-fno-defer-pop
|
|
|
|
|
# If using gcc and being superstitious:
|
|
|
|
|
CCCOMPOPTS=-Wall
|
|
|
|
|
# Otherwise:
|
|
|
|
|
# CCCOMPOPTS=
|
|
|
|
|
|
|
|
|
|
### Additional link-time options
|
|
|
|
|
CCLINKOPTS=
|
|
|
|
|
|
|
|
|
|
### If using GCC on a Dec Alpha under OSF1:
|
|
|
|
|
LOWADDRESSES=-Xlinker -taso
|
|
|
|
|
# Otherwise:
|
|
|
|
|
# LOWADDRESSES=
|
|
|
|
|
|
|
|
|
|
### 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
|
