1999-11-17 10:59:06 -08:00
|
|
|
#########################################################################
|
|
|
|
# #
|
|
|
|
# Objective Caml #
|
|
|
|
# #
|
|
|
|
# Xavier Leroy, projet Cristal, INRIA Rocquencourt #
|
|
|
|
# #
|
|
|
|
# Copyright 1999 Institut National de Recherche en Informatique et #
|
|
|
|
# en Automatique. All rights reserved. This file is distributed #
|
2001-12-07 05:41:02 -08:00
|
|
|
# under the terms of the GNU Library General Public License, with #
|
|
|
|
# the special exception on linking described in file ../LICENSE. #
|
1999-11-17 10:59:06 -08:00
|
|
|
# #
|
|
|
|
#########################################################################
|
|
|
|
|
|
|
|
# $Id$
|
|
|
|
|
2002-06-07 02:49:45 -07:00
|
|
|
# Configuration for Windows, Mingw compiler
|
1996-02-21 02:49:46 -08:00
|
|
|
|
|
|
|
######### General configuration
|
|
|
|
|
2002-06-07 02:49:45 -07:00
|
|
|
PREFIX=C:/ocamlmgw
|
2000-01-31 21:43:25 -08:00
|
|
|
|
1996-02-21 02:49:46 -08:00
|
|
|
### Where to install the binaries
|
2002-06-07 02:49:45 -07:00
|
|
|
BINDIR=$(PREFIX)/bin
|
1996-02-21 02:49:46 -08:00
|
|
|
|
|
|
|
### Where to install the standard library
|
2002-06-07 02:49:45 -07:00
|
|
|
LIBDIR=$(PREFIX)/lib
|
1996-02-21 02:49:46 -08:00
|
|
|
|
1996-03-11 05:58:31 -08:00
|
|
|
### Where to install the info files
|
2000-01-31 21:43:25 -08:00
|
|
|
DISTRIB=$(PREFIX)
|
1996-03-11 05:58:31 -08:00
|
|
|
|
2002-06-07 02:49:45 -07:00
|
|
|
########## Toolchain and OS dependencies
|
|
|
|
|
|
|
|
TOOLCHAIN=mingw
|
|
|
|
CCOMPTYPE=cc
|
|
|
|
O=o
|
|
|
|
A=a
|
|
|
|
S=s
|
|
|
|
SO=s.o
|
|
|
|
DO=d.o
|
|
|
|
EXE=.exe
|
1999-10-14 06:35:59 -07:00
|
|
|
|
1996-02-21 02:49:46 -08:00
|
|
|
########## Configuration for the bytecode compiler
|
|
|
|
|
|
|
|
### Which C compiler to use for the bytecode interpreter.
|
2002-06-18 06:01:53 -07:00
|
|
|
# Can also use "gcc -mno-cygwin"
|
2002-06-07 02:49:45 -07:00
|
|
|
BYTECC=gcc
|
1996-02-21 02:49:46 -08:00
|
|
|
|
2001-08-28 07:47:48 -07:00
|
|
|
### Additional compile-time options for $(BYTECC). (For static linking.)
|
2002-06-07 02:49:45 -07:00
|
|
|
BYTECCCOMPOPTS=-O -Wall -Wno-unused
|
1996-02-21 02:49:46 -08:00
|
|
|
|
2001-08-28 07:47:48 -07:00
|
|
|
### Additional link-time options for $(BYTECC). (For static linking.)
|
2002-06-07 02:49:45 -07:00
|
|
|
BYTECCLINKOPTS=
|
1996-02-21 02:49:46 -08:00
|
|
|
|
2001-08-28 07:47:48 -07:00
|
|
|
### Additional compile-time options for $(BYTECC). (For building a DLL.)
|
2002-06-07 02:49:45 -07:00
|
|
|
DLLCCCOMPOPTS=-O -Wall -Wno-unused -D_DLL
|
2001-08-28 07:47:48 -07:00
|
|
|
|
1996-02-21 02:49:46 -08:00
|
|
|
### Libraries needed
|
2002-06-07 02:49:45 -07:00
|
|
|
BYTECCLIBS=-lm
|
|
|
|
NATIVECCLIBS=-lm
|
1996-02-21 02:49:46 -08:00
|
|
|
|
|
|
|
### How to invoke the C preprocessor
|
2002-06-18 06:01:53 -07:00
|
|
|
CPP=$(BYTECC) -E
|
2002-06-07 02:49:45 -07:00
|
|
|
|
|
|
|
### How to build a DLL
|
2002-06-18 06:01:53 -07:00
|
|
|
MKDLL=$(BYTECC) -shared -o $(1) -Wl,--out-implib,$(2) $(3)
|
1996-02-21 02:49:46 -08:00
|
|
|
|
2002-06-07 02:49:45 -07:00
|
|
|
### How to build a static library
|
|
|
|
MKLIB=rm -f $(1); ar rcs $(1) $(2)
|
|
|
|
|
|
|
|
### Canonicalize the name of a system library
|
|
|
|
SYSLIB=-l$(1)
|
|
|
|
|
|
|
|
### The ranlib command
|
|
|
|
RANLIBCMD=ranlib
|
1996-02-21 02:49:46 -08:00
|
|
|
|
|
|
|
############# Configuration for the native-code compiler
|
|
|
|
|
|
|
|
### Name of architecture for the native-code compiler
|
|
|
|
ARCH=i386
|
|
|
|
|
|
|
|
### Name of architecture model for the native-code compiler.
|
|
|
|
MODEL=default
|
|
|
|
|
|
|
|
### Name of operating system family for the native-code compiler.
|
2002-06-07 02:49:45 -07:00
|
|
|
SYSTEM=mingw
|
1996-02-21 02:49:46 -08:00
|
|
|
|
|
|
|
### Which C compiler to use for the native-code compiler.
|
2002-06-18 06:01:53 -07:00
|
|
|
NATIVECC=$(BYTECC)
|
1996-02-21 02:49:46 -08:00
|
|
|
|
|
|
|
### Additional compile-time options for $(NATIVECC).
|
2002-06-07 02:49:45 -07:00
|
|
|
NATIVECCCOMPOPTS=-O -Wall -Wno-unused
|
1996-02-21 02:49:46 -08:00
|
|
|
|
|
|
|
### Additional link-time options for $(NATIVECC)
|
2002-06-07 02:49:45 -07:00
|
|
|
NATIVECCLINKOPTS=
|
|
|
|
|
|
|
|
### Build partially-linked object file
|
|
|
|
PARTIALLD=ld -r $(NATIVECCLINKOPTS)
|
1996-02-21 02:49:46 -08:00
|
|
|
|
2002-06-07 02:49:45 -07:00
|
|
|
### nm and objcopy from GNU binutils
|
|
|
|
BINUTILS_NM=nm
|
|
|
|
BINUTILS_OBJCOPY=objcopy
|
1996-02-21 02:49:46 -08:00
|
|
|
|
|
|
|
############# Configuration for the contributed libraries
|
|
|
|
|
2001-11-06 05:21:00 -08:00
|
|
|
OTHERLIBRARIES=win32unix systhreads str num win32graph dynlink bigarray labltk
|
1996-04-01 07:25:05 -08:00
|
|
|
|
1996-02-21 02:49:46 -08:00
|
|
|
### Name of the target architecture for the "num" library
|
|
|
|
BIGNUM_ARCH=C
|
|
|
|
|
2000-01-31 21:43:25 -08:00
|
|
|
### Configuration for LablTk
|
2002-06-07 02:49:45 -07:00
|
|
|
TK_DEFS=
|
|
|
|
TK_LINK=-ltk80 -ltcl80
|
2000-01-31 21:43:25 -08:00
|
|
|
|
1996-02-21 02:49:46 -08:00
|
|
|
############# Aliases for common commands
|
|
|
|
|
2002-06-07 02:49:45 -07:00
|
|
|
MAKEREC=$(MAKE) -f Makefile.nt
|
|
|
|
MAKECMD=$(MAKE)
|