blob: 11b69fd40c3fb034ffaf30e902dcb41236b2ea1e (
plain)
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
|
### Compile-time configuration
### Name of architecture for the native-code compiler
### Currently supported: alpha, sparc, i386
### Set ARCH=none if yourt machine is not supported
ARCH=alpha
#ARCH=sparc
#ARCH=i386
#ARCH=none
### Which C compiler to use.
### Performance of the bytecode interpreter is *much* improved
### if Gnu CC 2 is used.
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
|
