1 #########################################################################
5 # Xavier Leroy, projet Cristal, INRIA Rocquencourt #
7 # Copyright 1999 Institut National de Recherche en Informatique et #
8 # en Automatique. All rights reserved. This file is distributed #
9 # under the terms of the GNU Library General Public License, with #
10 # the special exception on linking described in file ../LICENSE. #
12 #########################################################################
16 ### Compile-time configuration
18 ########## General configuration
20 ### Where to install the binaries
23 ### Where to install the standard library
24 LIBDIR=/usr/local/lib/ocaml
25 STUBLIBDIR=$(LIBDIR)/stublibs
27 ### Where to install the man pages
28 # Man pages for commands go in $(MANDIR)/man$(MANEXT)
29 # Man pages for the library go in $(MANDIR)/mano
33 ### Do #! scripts work on your system?
34 ### Beware: on some systems (e.g. SunOS 4), this will work only if
35 ### the string "#!$(BINDIR)/ocamlrun" is less than 32 characters long.
36 ### In doubt, set SHARPBANGSCRIPTS to false.
38 #SHARPBANGSCRIPTS=false
40 ########## Configuration for the bytecode compiler
42 ### Which C compiler to use for the bytecode interpreter.
43 ### Performance of the bytecode interpreter is *much* improved
44 ### if Gnu CC version 2 is used.
48 ### Additional compile-time options for $(BYTECC).
49 # If using gcc on Intel 386 or Motorola 68k:
50 # (the -fno-defer-pop option circumvents a bug in certain versions of gcc)
51 #BYTECCCOMPOPTS=-fno-defer-pop -Wall
52 # If using gcc and being superstitious:
55 #BYTECCCOMPOPTS=-U__GNUC__ -fno-defer-pop -Wall
59 ### Additional link-time options for $(BYTECC)
60 ### If using GCC on a Dec Alpha under OSF1:
61 #BYTECCLINKOPTS=-Wl,-T,12000000 -Wl,-D,14000000
62 # To support dynamic loading of shared libraries (they need to look at
64 #BYTECCLINKOPTS=-Wl,-E
70 #CCLIBS=-lcurses -ltermcap -lm
72 ### How to invoke the C preprocessor
73 # This is not needed anymore. Leave these lines commented out.
77 #CPP=/usr/ccs/lib/cpp -P
81 ### How to invoke ranlib
85 # If ranlib is not needed:
89 ### Shared library support
90 # Extension for shared libraries: so if supported, a if not supported
93 # Set to nothing if shared libraries supported, and to -custom if not supported
94 #CUSTOM_IF_NOT_SHARED=
95 #CUSTOM_IF_NOT_SHARED=-custom
96 # Options to $(BYTECC) to produce shared objects (e.g. PIC)
97 #SHAREDCCCOMPOPTS=-fPIC
98 # How to build a shared library, invoked with output .so as first arg
99 # and object files as remaining args
100 #MKSHAREDLIB=gcc -shared -o
101 # Compile-time option to $(BYTECC) to add a directory to be searched
102 # at run-time for shared libraries
103 #BYTECCRPATH=-Wl,-rpath
105 ############# Configuration for the native-code compiler
107 ### Name of architecture for the native-code compiler
108 ### Currently supported:
110 ### alpha Digital/Compaq Alpha machines under DUnix/Tru64 or Linux
111 ### i386 Intel Pentium PCs under Linux, *BSD*, NextStep
112 ### sparc Sun Sparcstation under SunOS 4.1 or Solaris 2
113 ### mips SGI machines under IRIX
114 ### hppa HP 9000/700 under HPUX and Linux
115 ### power Macintosh under Mac OS X and Linux
116 ### ia64 Intel Itanium/IA64 under Linux
117 ### arm ARM under Linux
119 ### Set ARCH=none if your machine is not supported
130 ### Name of architecture model for the native-code compiler.
131 ### Some architectures come in several slightly different flavors
132 ### that share a common code generator. This variable tailors the
133 ### behavior of the code generator to the particular flavor used.
134 ### Currently needed only if ARCH=power; leave MODEL=default for
135 ### other architectures.
136 ### If ARCH=power: set MODEL=ppc
137 ### For other architectures: leave MODEL=default
142 ### Name of operating system family for the native-code compiler.
143 ### If ARCH=sparc: choose between
144 ### SYSTEM=sunos SunOS 4.1
145 ### SYSTEM=solaris Solaris 2
147 ### If ARCH=i386: choose between
148 ### SYSTEM=linux_aout Linux with a.out binaries
149 ### SYSTEM=linux_elf Linux with ELF binaries
150 ### SYSTEM=bsd FreeBSD, probably works for NetBSD also
151 ### SYSTEM=nextstep NextStep
153 ### For other architectures: set SYSTEM=unknown
163 ### Which C compiler to use for the native-code compiler.
164 ### cc is better than gcc on the Mips and Alpha.
168 ### Additional compile-time options for $(NATIVECC).
169 # For cc on the Alpha:
170 #NATIVECCCOMPOPTS=-std1
171 # For cc on the Mips:
172 #NATIVECCCOMPOPTS=-std
173 # For gcc if superstitious:
174 #NATIVECCCOMPOPTS=-Wall
176 ### Additional link-time options for $(NATIVECC)
179 # Compile-time option to $(NATIVECC) to add a directory to be searched
180 # at run-time for shared libraries
181 #NATIVECCRPATH=-Wl,-rpath
183 ### Flags for the assembler
184 # For the Alpha or the Mips:
187 #ASFLAGS=-u -m ppc -w
189 #ASFLAGS=-u -m pwr -w
193 ### Command and flags to use for assembling .S files (often with preprocessing)
194 # If gcc is available:
196 #ASPPFLAGS=-c -DSYS_$(SYSTEM)
197 # On SunOS and Solaris:
199 #ASPPFLAGS=-P -DSYS_$(SYSTEM)
204 ### Extra flags to use for assembling .S files in profiling mode
206 #ASPPPROFFLAGS=-pg -DPROFILING
208 #ASPPPROFFLAGS=-DPROFILING
210 ### Whether profiling with gprof is supported
211 # If yes: (x86/Linux, Alpha/Digital Unix, Sparc/Solaris):
213 # If no: (all others)
216 ### Option to give to the C compiler for profiling
220 ### How to perform a partial link
221 PARTIALLD=ld -r $(NATIVECCLINKOPTS)
223 ############# Configuration for the contributed libraries
225 ### Which libraries to compile and install
226 # Currently available:
227 # unix Unix system calls
228 # str Regular expressions and high-level string processing
229 # num Arbitrary-precision rational arithmetic
230 # threads Lightweight concurrent processes
231 # systhreads Same as threads, requires POSIX threads
232 # graph Portable drawing primitives for X11
233 # dynlink Dynamic linking of bytecode
234 # labltk Tcl/Tk interface
235 # bigarray Large, multidimensional numerical arrays
237 OTHERLIBRARIES=unix str num threads graph dynlink labltk bigarray
239 ### Name of the target architecture for the "num" library
241 # generic (portable C, works everywhere)
243 # amd64 (AMD Opteron, Athlon64)
248 # If you don't know, leave BNG_ARCH=generic, which selects a portable
249 # C implementation of these routines.
253 ### Link-time options to ocamlc or ocamlopt for linking with POSIX threads
254 # Needed for the "systhreads" package
256 #PTHREAD_LINK=-cclib -lpthread
258 #PTHREAD_LINK=-cclib -lpthread -cclib -lposix4
260 ### -I options for finding the X11/*.h includes
261 # Needed for the "graph" and "labltk" packages
263 #X11_INCLUDES=-I/usr/X11R6/include
264 # For SunOS with OpenLook:
265 #X11_INCLUDES=/usr/openwin/include
267 ### Link-time options to ocamlc or ocamlopt for linking with X11 libraries
268 # Needed for the "graph" and "labltk" packages
271 # For SunOS with OpenLook:
272 #X11_LINK=-L$(X11_LIB) -lX11
274 ### -I options for finding the include file ndbm.h
275 # Needed for the "dbm" package
278 # For recent Linux systems:
279 #DBM_INCLUDES=-I/usr/include/gdbm
281 ### Preprocessor options for finding tcl.h and tk.h
282 # Needed for the "labltk" package
283 # Required only if not in the standard include path.
284 # For Tcl/Tk 8.0 on FreeBSD:
285 #TK_DEFS="-I/usr/local/include/tcl8.0 -I/usr/local/include/tk8.0"
287 ### Linker options for linking tcl and tk libraries
288 # Needed for the "labltk" package
289 # Usually (with appropriate version numbers):
290 #TK_LINK="-ltk8.0 -ltcl8.0"
291 # For Tcl/Tk 8.0 on FreeBSD:
292 #TK_LINK="-L/usr/local/lib -ltk8.0 -ltcl8.0"