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 # Configuration for Windows, Mingw compiler
18 ######### General configuration
22 ### Where to install the binaries
25 ### Where to install the standard library
28 ### Where to install the stub DLLs
29 STUBLIBDIR=$(LIBDIR)/stublibs
31 ### Where to install the info files
34 ### Where to install the man pages
37 ########## Toolchain and OS dependencies
52 SHARPBANGSCRIPTS=false
59 SUPPORTS_SHARED_LIBRARIES=true
72 SYSTHREAD_SUPPORT=true
75 ########## Configuration for the bytecode compiler
77 ### Which C compiler to use for the bytecode interpreter.
78 BYTECC=gcc -mno-cygwin
80 ### Additional compile-time options for $(BYTECC). (For static linking.)
81 BYTECCCOMPOPTS=-O -mms-bitfields -Wall -Wno-unused
83 ### Additional link-time options for $(BYTECC). (For static linking.)
86 ### Additional compile-time options for $(BYTECC). (For building a DLL.)
87 DLLCCCOMPOPTS=-O -mms-bitfields -Wall -Wno-unused -DCAML_DLL
93 ### How to invoke the C preprocessor
96 ### How to build an EXE
97 MKEXE=$(BYTECC) -o $(1) $(2)
98 #ml let mkexe out files opts = Printf.sprintf "%s -o %s %s %s" bytecc out opts files;;
100 ### How to build a DLL
101 MKDLL=$(BYTECC) -shared -o $(1) -Wl,--out-implib,$(2) $(3)
102 #ml let mkdll out implib files opts = Printf.sprintf "%s -shared -o %s -Wl,--out-implib,%s %s %s" bytecc out implib files opts;;
104 ### How to build a static library
105 MKLIB=rm -f $(1); ar rcs $(1) $(2)
106 #ml let mklib out files opts = Printf.sprintf "rm -f %s && ar rcs %s %s %s" out opts out files;;
108 ### Canonicalize the name of a system library
110 #ml let syslib x = "-l"^x;;
112 ### The ranlib command
116 ############# Configuration for the native-code compiler
118 ### Name of architecture for the native-code compiler
121 ### Name of architecture model for the native-code compiler.
124 ### Name of operating system family for the native-code compiler.
127 ### Which C compiler to use for the native-code compiler.
130 ### Additional compile-time options for $(NATIVECC).
131 NATIVECCCOMPOPTS=-O -mms-bitfields -Wall -Wno-unused
133 ### Additional link-time options for $(NATIVECC)
136 ### Build partially-linked object file
137 PARTIALLD=ld -r $(NATIVECCLINKOPTS)
138 PACKLD=$(PARTIALLD) -o #there must be a space after this '-o'
140 ############# Configuration for the contributed libraries
142 OTHERLIBRARIES=win32unix systhreads str num win32graph dynlink bigarray labltk
144 ### Name of the target architecture for the "num" library
148 ### Configuration for LablTk
149 # Set TK_ROOT to the directory where you installed TCL/TK 8.4
150 # There must be no spaces or special characters in $(TK_ROOT)
152 TK_DEFS=-I$(TK_ROOT)/include
153 TK_LINK=$(TK_ROOT)/lib/tk84.lib $(TK_ROOT)/lib/tcl84.lib
155 ############# Aliases for common commands
157 MAKEREC=$(MAKE) -f Makefile.nt