annotate src/ocaml-core-1-fixes.patch @ 5893:53a6c7df43f8

Mesa 3D: Update to version 21.1.8. * src/mesa.mk: Update version and checksum. * src/mesa-2-uninitialized.patch: Remove file. * dist-files.mk: Remove file from list.
author Markus Mützel <markus.muetzel@gmx.de>
date Thu, 16 Sep 2021 22:37:45 +0200
parents 5ebcd132140a
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
2836
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
1 This file is part of MXE.
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
2 See index.html for further information.
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
3
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
4 Contains ad hoc patches for cross building.
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
5
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
6 From 002715e4bdd4f2aacb6ce8b1b89bae734b6c36fc Mon Sep 17 00:00:00 2001
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
7 From: MXE
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
8 Date: Wed, 13 Jun 2012 22:27:54 +0200
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
9 Subject: [PATCH] various patches to build an ocaml cross compiler
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
10
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
11
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
12 diff --git a/Makefile b/Makefile
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
13 index e53fd0d..0decd00 100644
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
14 --- a/Makefile
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
15 +++ b/Makefile
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
16 @@ -289,16 +289,17 @@ install:
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
17 for i in $(OTHERLIBRARIES); do \
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
18 (cd otherlibs/$$i; $(MAKE) install) || exit $$?; \
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
19 done
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
20 - cd ocamldoc; $(MAKE) install
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
21 + # cd ocamldoc; $(MAKE) install
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
22 if test -f ocamlopt; then $(MAKE) installopt; else :; fi
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
23 if test -f debugger/ocamldebug; then (cd debugger; $(MAKE) install); \
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
24 else :; fi
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
25 cp config/Makefile $(LIBDIR)/Makefile.config
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
26 - BINDIR=$(BINDIR) LIBDIR=$(LIBDIR) PREFIX=$(PREFIX) \
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
27 - ./build/partial-install.sh
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
28 + #BINDIR=$(BINDIR) LIBDIR=$(LIBDIR) PREFIX=$(PREFIX) \
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
29 + # ./build/partial-install.sh
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
30
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
31 # Installation of the native-code compiler
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
32 installopt:
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
33 + if test -d $(COMPLIBDIR); then : ; else $(MKDIR) $(COMPLIBDIR); fi
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
34 cd asmrun; $(MAKE) install
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
35 cp ocamlopt $(BINDIR)/ocamlopt$(EXE)
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
36 cd stdlib; $(MAKE) installopt
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
37 @@ -737,7 +738,7 @@ ocamlbuild.native: ocamlopt ocamlbuild-mixed-boot
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
38 ocamlbuildlib.native: ocamlopt ocamlbuild-mixed-boot
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
39 ./build/ocamlbuildlib-native-only.sh
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
40
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
41 -ocamlbuild-mixed-boot: ocamlc
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
42 +ocamlbuild-mixed-boot: ocamlc otherlibraries
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
43 ./build/mixed-boot.sh
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
44 touch ocamlbuild-mixed-boot
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
45
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
46 diff --git a/Makefile-mingw.in b/Makefile-mingw.in
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
47 new file mode 100644
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
48 index 0000000..c3dddf6
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
49 --- /dev/null
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
50 +++ b/Makefile-mingw.in
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
51 @@ -0,0 +1,160 @@
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
52 +######### General configuration
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
53 +
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
54 +PREFIX=@prefix@
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
55 +
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
56 +### Remove this to disable compiling camlp4
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
57 +#CAMLP4=camlp4
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
58 +
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
59 +### Where to install the binaries
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
60 +BINDIR=$(PREFIX)/bin
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
61 +
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
62 +### Where to install the standard library
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
63 +LIBDIR=$(PREFIX)/lib/ocaml
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
64 +
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
65 +### Where to install the stub DLLs
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
66 +STUBLIBDIR=$(LIBDIR)/stublibs
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
67 +
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
68 +### Where to install the info files
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
69 +DISTRIB=$(PREFIX)
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
70 +
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
71 +### Where to install the man pages
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
72 +MANDIR=$(PREFIX)/man
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
73 +
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
74 +########## Toolchain and OS dependencies
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
75 +
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
76 +TOOLCHAIN=cc
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
77 +
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
78 +### Toolchain prefix
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
79 +TOOLPREF=@toolpref@-
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
80 +
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
81 +CCOMPTYPE=cc
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
82 +O=o
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
83 +A=a
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
84 +S=s
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
85 +SO=dll
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
86 +EXE=
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
87 +EXT_DLL=.dll
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
88 +EXT_OBJ=.$(O)
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
89 +EXT_LIB=.$(A)
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
90 +EXT_ASM=.$(S)
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
91 +MANEXT=1
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
92 +SHARPBANGSCRIPTS=true
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
93 +PTHREAD_LINK=
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
94 +X11_INCLUDES=
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
95 +X11_LINK=
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
96 +DBM_INCLUDES=
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
97 +DBM_LINK=
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
98 +BYTECCRPATH=
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
99 +SUPPORTS_SHARED_LIBRARIES=true
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
100 +SHAREDCCCOMPOPTS=
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
101 +MKSHAREDLIBRPATH=
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
102 +NATIVECCPROFOPTS=-pg
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
103 +NATIVECCRPATH=
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
104 +ASM=$(TOOLPREF)as
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
105 +ASPP=$(TOOLPREF)gcc -c
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
106 +ASPPPROFFLAGS=-DPROFILING
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
107 +PROFILING=prof
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
108 +DYNLINKOPTS=-ldl
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
109 +DEBUGGER=ocamldebugger
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
110 +CC_PROFILE=-pg
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
111 +SYSTHREAD_SUPPORT=true
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
112 +EXTRALIBS=
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
113 +NATDYNLINK=true
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
114 +NATDYNLINKOPTS=
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
115 +CMXS=cmxs
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
116 +RUNTIMED=noruntimed
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
117 +ASM_CFI_SUPPORTED=false
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
118 +
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
119 +########## Configuration for the bytecode compiler
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
120 +
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
121 +### Which C compiler to use for the bytecode interpreter.
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
122 +BYTECC=$(TOOLPREF)gcc
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
123 +
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
124 +### Additional compile-time options for $(BYTECC). (For static linking.)
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
125 +BYTECCCOMPOPTS=-O -mms-bitfields -Wall -Wno-unused
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
126 +
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
127 +### Additional link-time options for $(BYTECC). (For static linking.)
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
128 +BYTECCLINKOPTS=-L$(PREFIX)/lib
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
129 +
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
130 +### Additional compile-time options for $(BYTECC). (For building a DLL.)
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
131 +DLLCCCOMPOPTS=
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
132 +
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
133 +### Libraries needed
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
134 +BYTECCLIBS=
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
135 +NATIVECCLIBS=
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
136 +
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
137 +### How to invoke the C preprocessor
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
138 +
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
139 +### Flexlink
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
140 +FLEXLINK=$(TOOLPREF)flexlink -chain mingw
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
141 +FLEXDIR=$(shell $(FLEXLINK) -where)
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
142 +IFLEXDIR=-I"$(FLEXDIR)"
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
143 +MKDLL=$(FLEXLINK)
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
144 +MKEXE=$(FLEXLINK) -exe
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
145 +MKMAINDLL=$(FLEXLINK) -maindll
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
146 +
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
147 +### How to build a static library
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
148 +MKLIB=$(TOOLPREF)ar rcs $(1) $(2)
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
149 +#ml let mklib out files opts = Printf.sprintf ("%sar rcs %s %s %s") toolpref out opts files;;
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
150 +
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
151 +### Canonicalize the name of a system library
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
152 +SYSLIB=-l$(1)
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
153 +#ml let syslib x = "-l"^x;;
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
154 +
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
155 +### The ranlib command
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
156 +RANLIB=$(TOOLPREF)ranlib
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
157 +RANLIBCMD=$(TOOLPREF)ranlib
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
158 +
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
159 +### The ar command
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
160 +ARCMD=$(TOOLPREF)ar
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
161 +
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
162 +############# Configuration for the native-code compiler
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
163 +
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
164 +### Name of architecture for the native-code compiler
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
165 +ARCH=i386
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
166 +
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
167 +### Name of architecture model for the native-code compiler.
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
168 +MODEL=default
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
169 +
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
170 +### Name of operating system family for the native-code compiler.
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
171 +SYSTEM=mingw
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
172 +
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
173 +### Which C compiler to use for the native-code compiler.
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
174 +NATIVECC=$(BYTECC)
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
175 +
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
176 +### Additional compile-time options for $(NATIVECC).
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
177 +NATIVECCCOMPOPTS=-O -mms-bitfields -Wall -Wno-unused
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
178 +
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
179 +### Additional link-time options for $(NATIVECC)
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
180 +NATIVECCLINKOPTS=-L$(PREFIX)/lib
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
181 +
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
182 +### Build partially-linked object file
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
183 +PACKLD=$(TOOLPREF)ld -r $(NATIVECCLINKOPTS) -o #there must be a space after this '-o'
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
184 +
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
185 +############# Configuration for the contributed libraries
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
186 +
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
187 +OTHERLIBRARIES=@otherlibraries@
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
188 +
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
189 +### Name of the target architecture for the "num" library
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
190 +BNG_ARCH=i386
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
191 +BNG_ASM_LEVEL=1
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
192 +
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
193 +### Configuration for LablTk
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
194 +# Set TK_ROOT to the directory where you installed TCL/TK 8.5
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
195 +# There must be no spaces or special characters in $(TK_ROOT)
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
196 +TK_DEFS=
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
197 +TK_LINK=
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
198 +
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
199 +############# Aliases for common commands
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
200 +
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
201 +# MAKEREC=$(MAKE) -f Makefile.nt
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
202 +# MAKECMD=$(MAKE)
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
203 +
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
204 +# Build compiler for cross-compilation.
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
205 +BUILD_MKEXE=gcc
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
206 +BUILD_RANLIB=ranlib
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
207 +BUILD_MKDLL=gcc -shared
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
208 +BUILD_CC=gcc
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
209 +BUILD_CCLIBS=-lm
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
210 +BUILD_CFLAGS=
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
211 +
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
212 diff --git a/asmrun/Makefile b/asmrun/Makefile
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
213 index d4f0c56..a535666 100644
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
214 --- a/asmrun/Makefile
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
215 +++ b/asmrun/Makefile
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
216 @@ -26,7 +26,7 @@ COBJS=startup.o main.o fail.o roots.o globroots.o signals.o signals_asm.o \
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
217 misc.o freelist.o major_gc.o minor_gc.o memory.o alloc.o compare.o ints.o \
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
218 floats.o str.o array.o io.o extern.o intern.o hash.o sys.o parsing.o \
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
219 gc_ctrl.o terminfo.o md5.o obj.o lexing.o printexc.o callback.o weak.o \
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
220 - compact.o finalise.o custom.o unix.o backtrace.o natdynlink.o debugger.o \
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
221 + compact.o finalise.o custom.o unix.o win32.o backtrace.o natdynlink.o debugger.o \
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
222 meta.o dynlink.o
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
223
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
224 ASMOBJS=$(ARCH).o
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
225 @@ -153,6 +153,8 @@ globroots.c: ../byterun/globroots.c
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
226 ln -s ../byterun/globroots.c globroots.c
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
227 unix.c: ../byterun/unix.c
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
228 ln -s ../byterun/unix.c unix.c
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
229 +win32.c: ../byterun/win32.c
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
230 + ln -s ../byterun/win32.c win32.c
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
231 dynlink.c: ../byterun/dynlink.c
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
232 ln -s ../byterun/dynlink.c dynlink.c
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
233 signals.c: ../byterun/signals.c
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
234 @@ -163,7 +165,7 @@ debugger.c: ../byterun/debugger.c
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
235 LINKEDFILES=misc.c freelist.c major_gc.c minor_gc.c memory.c alloc.c array.c \
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
236 compare.c ints.c floats.c str.c io.c extern.c intern.c hash.c sys.c \
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
237 parsing.c gc_ctrl.c terminfo.c md5.c obj.c lexing.c printexc.c callback.c \
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
238 - weak.c compact.c finalise.c meta.c custom.c main.c globroots.c unix.c \
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
239 + weak.c compact.c finalise.c meta.c custom.c main.c globroots.c unix.c win32.c \
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
240 dynlink.c signals.c debugger.c
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
241
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
242 clean::
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
243 diff --git a/asmrun/i386.S b/asmrun/i386.S
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
244 index e8e00a4..800247e 100644
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
245 --- a/asmrun/i386.S
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
246 +++ b/asmrun/i386.S
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
247 @@ -76,6 +76,9 @@
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
248 popl %edx; popl %ecx; popl %eax; popl %ebp
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
249 #define PROFILE_C \
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
250 pushl %ebp; movl %esp, %ebp; call Lmcount$stub; popl %ebp
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
251 +#elif defined(SYS_mingw)
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
252 +#define PROFILE_CAML
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
253 +#define PROFILE_C
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
254 #endif
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
255 #else
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
256 #define PROFILE_CAML
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
257 diff --git a/byterun/Makefile.common b/byterun/Makefile.common
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
258 index b519f75..2274562 100755
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
259 --- a/byterun/Makefile.common
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
260 +++ b/byterun/Makefile.common
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
261 @@ -24,7 +24,7 @@ COMMONOBJS=\
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
262 compare.o ints.o floats.o str.o array.o io.o extern.o intern.o \
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
263 hash.o sys.o meta.o parsing.o gc_ctrl.o terminfo.o md5.o obj.o \
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
264 lexing.o callback.o debugger.o weak.o compact.o finalise.o custom.o \
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
265 - dynlink.o
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
266 + dynlink.o win32.o
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
267
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
268 PRIMS=\
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
269 alloc.c array.c compare.c extern.c floats.c gc_ctrl.c hash.c \
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
270 diff --git a/byterun/dynlink.c b/byterun/dynlink.c
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
271 index 5cb2ed7..b6605fa 100644
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
272 --- a/byterun/dynlink.c
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
273 +++ b/byterun/dynlink.c
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
274 @@ -80,7 +80,12 @@ static char * parse_ld_conf(void)
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
275
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
276 stdlib = getenv("OCAMLLIB");
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
277 if (stdlib == NULL) stdlib = getenv("CAMLLIB");
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
278 - if (stdlib == NULL) stdlib = OCAML_STDLIB_DIR;
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
279 + if (stdlib == NULL)
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
280 +#ifdef OCAML_STDLIB_DIR
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
281 + stdlib = OCAML_STDLIB_DIR;
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
282 +#else
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
283 + stdlib = ".";
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
284 +#endif
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
285 ldconfname = caml_stat_alloc(strlen(stdlib) + 2 + sizeof(LD_CONF_NAME));
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
286 strcpy(ldconfname, stdlib);
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
287 strcat(ldconfname, "/" LD_CONF_NAME);
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
288 diff --git a/byterun/unix.c b/byterun/unix.c
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
289 index 7d24ef4..3619e67 100644
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
290 --- a/byterun/unix.c
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
291 +++ b/byterun/unix.c
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
292 @@ -15,6 +15,8 @@
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
293
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
294 /* Unix-specific stuff */
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
295
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
296 +#ifndef WIN32
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
297 +
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
298 #define _GNU_SOURCE
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
299 /* Helps finding RTLD_DEFAULT in glibc */
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
300
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
301 @@ -323,3 +325,5 @@ int caml_executable_name(char * name, int name_len)
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
302 }
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
303
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
304 #endif
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
305 +
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
306 +#endif /* !WIN32 */
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
307 diff --git a/byterun/win32.c b/byterun/win32.c
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
308 index f8ba9c9..82afc1c 100644
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
309 --- a/byterun/win32.c
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
310 +++ b/byterun/win32.c
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
311 @@ -13,6 +13,8 @@
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
312
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
313 /* $Id: win32.c 12686 2012-07-10 11:34:39Z scherer $ */
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
314
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
315 +#ifdef WIN32
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
316 +
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
317 /* Win32-specific stuff */
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
318
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
319 #include <windows.h>
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
320 @@ -35,6 +37,26 @@
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
321
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
322 #include "flexdll.h"
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
323
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
324 +/* XXX including <io.h> gets ../byterun/io.h for some reason.
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
325 + * Including the real io.h using the full path fails because of
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
326 + * some strange bug in the system header file itself. Give up and
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
327 + * just define _finddata_t explicitly here.
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
328 + */
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
329 +#ifndef _FSIZE_T_DEFINED
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
330 +typedef unsigned long _fsize_t;
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
331 +#define _FSIZE_T_DEFINED
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
332 +
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
333 +struct _finddata_t
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
334 +{
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
335 + unsigned attrib;
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
336 + time_t time_create;
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
337 + time_t time_access;
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
338 + time_t time_write;
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
339 + _fsize_t size;
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
340 + char name[FILENAME_MAX];
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
341 +};
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
342 +#endif
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
343 +
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
344 #ifndef S_ISREG
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
345 #define S_ISREG(mode) (((mode) & S_IFMT) == S_IFREG)
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
346 #endif
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
347 @@ -93,7 +115,7 @@ CAMLexport char * caml_search_exe_in_path(char * name)
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
348 pathlen = strlen(name) + 1;
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
349 if (pathlen < 256) pathlen = 256;
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
350 while (1) {
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
351 - fullname = stat_alloc(pathlen);
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
352 + fullname = caml_stat_alloc(pathlen);
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
353 retcode = SearchPath(NULL, /* use system search path */
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
354 name,
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
355 ".exe", /* add .exe extension if needed */
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
356 @@ -107,7 +129,7 @@ CAMLexport char * caml_search_exe_in_path(char * name)
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
357 break;
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
358 }
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
359 if (retcode < pathlen) break;
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
360 - stat_free(fullname);
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
361 + caml_stat_free(fullname);
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
362 pathlen = retcode + 1;
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
363 }
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
364 return fullname;
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
365 @@ -479,3 +501,5 @@ int caml_win32_random_seed (intnat data[16])
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
366 data[2] = GetCurrentProcessId();
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
367 return 3;
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
368 }
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
369 +
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
370 +#endif /* WIN32 */
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
371 diff --git a/hardcode_mingw_include.patch b/hardcode_mingw_include.patch
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
372 new file mode 100644
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
373 index 0000000..571747d
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
374 --- /dev/null
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
375 +++ b/hardcode_mingw_include.patch
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
376 @@ -0,0 +1,24 @@
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
377 +Index: build-tree/ocaml-3.11.1/utils/clflags.ml
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
378 +===================================================================
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
379 +--- build-tree.orig/ocaml-3.12.1/utils/clflags.ml 2010-01-07 04:00:11.000000000 +0100
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
380 ++++ build-tree/ocaml-3.12.1/utils/clflags.ml 2010-01-07 04:00:24.000000000 +0100
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
381 +@@ -20,7 +20,7 @@
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
382 +
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
383 + let compile_only = ref false (* -c *)
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
384 + and output_name = ref (None : string option) (* -o *)
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
385 +-and include_dirs = ref ([] : string list)(* -I *)
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
386 ++and include_dirs = ref (["@libdir@"] : string list)(* -I *)
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
387 + and no_std_include = ref false (* -nostdlib *)
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
388 + and print_types = ref false (* -i *)
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
389 + and make_archive = ref false (* -a *)
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
390 +--- build-tree.orig/ocaml-3.12.1/tools/ocamlmklib.mlp 2010-02-22 20:15:57.000000000 -0600
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
391 ++++ build-tree/ocaml-3.12.1/tools/ocamlmklib.mlp 2010-02-22 20:16:20.000000000 -0600
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
392 +@@ -29,7 +29,7 @@
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
393 + and failsafe = ref false (* whether to fall back on static build only *)
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
394 + and c_libs = ref [] (* libs to pass to mksharedlib and ocamlc -cclib *)
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
395 + and c_opts = ref [] (* options to pass to mksharedlib and ocamlc -ccopt *)
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
396 +-and ld_opts = ref [] (* options to pass only to the linker *)
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
397 ++and ld_opts = ref ["-I @libdir@"] (* options to pass only to the linker *)
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
398 + and ocamlc = ref (compiler_path "ocamlc")
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
399 + and ocamlopt = ref (compiler_path "ocamlopt")
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
400 + and output = ref "a" (* Output name for Caml part of library *)
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
401 diff --git a/myocamlbuild.ml b/myocamlbuild.ml
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
402 index c687242..ccdd937 100644
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
403 --- a/myocamlbuild.ml
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
404 +++ b/myocamlbuild.ml
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
405 @@ -107,9 +107,11 @@ let if_mixed_dir dir =
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
406 if mixed then ".."/dir else dir;;
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
407
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
408 let unix_dir =
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
409 - match Sys.os_type with
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
410 - | "Win32" -> if_mixed_dir "otherlibs/win32unix"
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
411 - | _ -> if_mixed_dir "otherlibs/unix";;
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
412 + if_mixed_dir (
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
413 + let win32path = "otherlibs/win32unix" in
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
414 + if Sys.file_exists (win32path / "unix.cma") then win32path
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
415 + else "otherlibs/unix"
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
416 + );;
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
417
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
418 let threads_dir = if_mixed_dir "otherlibs/threads";;
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
419 let systhreads_dir = if_mixed_dir "otherlibs/systhreads";;
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
420 diff --git a/ocamldoc/Makefile b/ocamldoc/Makefile
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
421 index 74c82d3..61036c8 100644
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
422 --- a/ocamldoc/Makefile
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
423 +++ b/ocamldoc/Makefile
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
424 @@ -69,6 +69,7 @@ INCLUDES_DEP=-I $(OCAMLSRCDIR)/parsing \
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
425 INCLUDES_NODEP= -I $(OCAMLSRCDIR)/stdlib \
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
426 -I $(OCAMLSRCDIR)/otherlibs/str \
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
427 -I $(OCAMLSRCDIR)/otherlibs/dynlink \
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
428 + -I $(OCAMLSRCDIR)/otherlibs/win32unix \
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
429 -I $(OCAMLSRCDIR)/otherlibs/unix \
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
430 -I $(OCAMLSRCDIR)/otherlibs/num \
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
431 -I $(OCAMLSRCDIR)/otherlibs/graph
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
432 diff --git a/otherlibs/Makefile.shared b/otherlibs/Makefile.shared
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
433 index 2c084a0..0e13022 100644
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
434 --- a/otherlibs/Makefile.shared
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
435 +++ b/otherlibs/Makefile.shared
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
436 @@ -33,7 +33,7 @@ MKLIB=$(CAMLRUN) $(ROOTDIR)/tools/ocamlmklib
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
437 #EXTRACFLAGS=
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
438 #EXTRACAMLFLAGS=
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
439 #LINKOPTS=
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
440 -#LDOPTS=
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
441 +LDOPTS=-L$(LIBDIR)
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
442 #HEADERS=
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
443
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
444 CMIFILES ?= $(CAMLOBJS:.cmo=.cmi)
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
445 @@ -42,7 +42,8 @@ CLIBNAME ?= $(LIBNAME)
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
446
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
447 all: lib$(CLIBNAME).$(A) $(LIBNAME).cma $(CMIFILES)
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
448
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
449 -allopt: lib$(CLIBNAME).$(A) $(LIBNAME).cmxa $(LIBNAME).$(CMXS) $(CMIFILES)
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
450 +allopt: lib$(CLIBNAME).$(A) $(LIBNAME).cmxa $(CMIFILES)
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
451 +# $(LIBNAME).$(CMXS)
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
452
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
453 $(LIBNAME).cma: $(CAMLOBJS)
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
454 $(MKLIB) -o $(LIBNAME) -oc $(CLIBNAME) -ocamlc '$(CAMLC)' -linkall $(CAMLOBJS) $(LINKOPTS)
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
455 @@ -50,8 +51,8 @@ $(LIBNAME).cma: $(CAMLOBJS)
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
456 $(LIBNAME).cmxa: $(CAMLOBJS_NAT)
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
457 $(MKLIB) -o $(LIBNAME) -oc $(CLIBNAME) -ocamlopt '$(CAMLOPT)' -linkall $(CAMLOBJS_NAT) $(LINKOPTS)
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
458
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
459 -$(LIBNAME).cmxs: $(LIBNAME).cmxa lib$(CLIBNAME).$(A)
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
460 - $(CAMLOPT) -shared -o $(LIBNAME).cmxs -I . $(LIBNAME).cmxa
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
461 +#$(LIBNAME).cmxs: $(LIBNAME).cmxa lib$(CLIBNAME).$(A)
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
462 +# $(CAMLOPT) -shared -o $(LIBNAME).cmxs -I . $(LIBNAME).cmxa
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
463
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
464 lib$(CLIBNAME).$(A): $(COBJS)
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
465 $(MKLIB) -oc $(CLIBNAME) $(COBJS) $(LDOPTS)
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
466 diff --git a/otherlibs/bigarray/Makefile b/otherlibs/bigarray/Makefile
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
467 index d442edb..dc34d6d 100644
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
468 --- a/otherlibs/bigarray/Makefile
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
469 +++ b/otherlibs/bigarray/Makefile
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
470 @@ -14,8 +14,8 @@
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
471 # $Id: Makefile 11156 2011-07-27 14:17:02Z doligez $
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
472
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
473 LIBNAME=bigarray
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
474 -EXTRACFLAGS=-I../unix -DIN_OCAML_BIGARRAY -DCAML_NAME_SPACE
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
475 -EXTRACAMLFLAGS=-I ../unix
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
476 +EXTRACFLAGS=-I../win32unix -I../unix -DIN_OCAML_BIGARRAY -DCAML_NAME_SPACE
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
477 +EXTRACAMLFLAGS=-I ../win32unix -I ../unix
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
478 COBJS=bigarray_stubs.$(O) mmap_unix.$(O)
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
479 CAMLOBJS=bigarray.cmo
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
480 HEADERS=bigarray.h
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
481 diff --git a/otherlibs/systhreads/Makefile b/otherlibs/systhreads/Makefile
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
482 index 502498f..7ed53df 100644
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
483 --- a/otherlibs/systhreads/Makefile
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
484 +++ b/otherlibs/systhreads/Makefile
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
485 @@ -15,13 +15,13 @@
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
486
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
487 include ../../config/Makefile
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
488
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
489 -CAMLC=../../ocamlcomp.sh -I ../unix
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
490 -CAMLOPT=../../ocamlcompopt.sh -I ../unix
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
491 +CAMLC=../../ocamlcomp.sh -I ../win32unix -I ../unix
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
492 +CAMLOPT=../../ocamlcompopt.sh -I ../win32unix -I ../unix
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
493 MKLIB=../../boot/ocamlrun ../../tools/ocamlmklib
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
494 COMPFLAGS=-warn-error A -g
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
495
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
496 -BYTECODE_C_OBJS=st_stubs_b.o
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
497 -NATIVECODE_C_OBJS=st_stubs_n.o
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
498 +BYTECODE_C_OBJS=st_stubs_b.o win32_b.o
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
499 +NATIVECODE_C_OBJS=st_stubs_n.o win32_n.o
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
500
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
501 THREAD_OBJS= thread.cmo mutex.cmo condition.cmo event.cmo threadUnix.cmo
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
502
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
503 @@ -37,6 +37,10 @@ st_stubs_b.o: st_stubs.c st_posix.h
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
504 -c st_stubs.c
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
505 mv st_stubs.o st_stubs_b.o
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
506
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
507 +win32_b.$(O): st_stubs.c st_win32.h
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
508 + $(BYTECC) -I ../../byterun $(BYTECCCOMPOPTS) $(CFLAGS) -c st_stubs.c
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
509 + mv st_stubs.$(O) win32_b.$(O)
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
510 +
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
511 # Dynamic linking with -lpthread is risky on many platforms, so
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
512 # do not create a shared object for libthreadsnat.
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
513 libthreadsnat.a: $(NATIVECODE_C_OBJS)
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
514 @@ -46,9 +50,13 @@ st_stubs_n.o: st_stubs.c st_posix.h
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
515 $(NATIVECC) -O -I../../asmrun -I../../byterun $(NATIVECCCOMPOPTS) $(SHAREDCCCOMPOPTS) -DNATIVE_CODE -DTARGET_$(ARCH) -DSYS_$(SYSTEM) -c st_stubs.c
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
516 mv st_stubs.o st_stubs_n.o
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
517
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
518 +win32_n.$(O): st_stubs.c st_win32.h
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
519 + $(NATIVECC) -DNATIVE_CODE -O -I../../asmrun -I../../byterun $(NATIVECCCOMPOPTS) -c st_stubs.c
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
520 + mv st_stubs.$(O) win32_n.$(O)
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
521 +
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
522 threads.cma: $(THREAD_OBJS)
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
523 $(MKLIB) -ocamlc '$(CAMLC)' -o threads $(THREAD_OBJS) \
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
524 - -cclib -lunix $(PTHREAD_LINK)
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
525 + -cclib -lunix $(PTHREAD_LINK) -lcamlrun
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
526
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
527 # See remark above: force static linking of libthreadsnat.a
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
528 threads.cmxa: $(THREAD_OBJS:.cmo=.cmx)
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
529 diff --git a/otherlibs/systhreads/Makefile.nt b/otherlibs/systhreads/Makefile.nt
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
530 index dc118b7..4b53d6e 100644
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
531 --- a/otherlibs/systhreads/Makefile.nt
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
532 +++ b/otherlibs/systhreads/Makefile.nt
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
533 @@ -21,6 +21,7 @@ CAMLOPT=../../boot/ocamlrun ../../ocamlopt -I ../../stdlib -I ../win32unix
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
534 COMPFLAGS=-warn-error A -g
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
535 MKLIB=../../boot/ocamlrun ../../tools/ocamlmklib
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
536 CFLAGS=-I../../byterun $(EXTRACFLAGS)
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
537 +LDOPTS=-L@libdir@
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
538
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
539 CAMLOBJS=thread.cmo mutex.cmo condition.cmo event.cmo threadUnix.cmo
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
540 CMIFILES=$(CAMLOBJS:.cmo=.cmi)
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
541 @@ -34,7 +35,7 @@ all: lib$(LIBNAME).$(A) $(LIBNAME).cma $(CMIFILES)
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
542 allopt: lib$(LIBNAME).$(A) $(LIBNAME).cmxa $(LIBNAME).cmxs $(CMIFILES)
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
543
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
544 $(LIBNAME).cma: $(CAMLOBJS)
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
545 - $(MKLIB) -o $(LIBNAME) -ocamlc "..\\..\\boot\\ocamlrun ..\\..\\ocamlc" -linkall $(CAMLOBJS) $(LINKOPTS)
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
546 + $(MKLIB) -o $(LIBNAME) -ocamlc "../../boot/ocamlrun ../../ocamlc" -linkall $(CAMLOBJS) $(LINKOPTS)
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
547
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
548 lib$(LIBNAME).$(A): $(COBJS)
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
549 $(MKLIB) -o $(LIBNAME) $(COBJS) $(LDOPTS)
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
550 @@ -46,7 +47,7 @@ st_stubs_b.$(O): st_stubs.c st_win32.h
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
551
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
552
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
553 $(LIBNAME).cmxa: $(CAMLOBJS:.cmo=.cmx)
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
554 - $(MKLIB) -o $(LIBNAME)nat -ocamlopt "..\\..\\boot\\ocamlrun ..\\..\\ocamlopt" -linkall $(CAMLOBJS:.cmo=.cmx) $(LINKOPTS)
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
555 + $(MKLIB) -o $(LIBNAME)nat -ocamlopt "../../boot/ocamlrun ../../ocamlopt" -linkall $(CAMLOBJS:.cmo=.cmx) $(LINKOPTS)
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
556 mv $(LIBNAME)nat.cmxa $(LIBNAME).cmxa
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
557 mv $(LIBNAME)nat.$(A) $(LIBNAME).$(A)
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
558
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
559 @@ -71,6 +72,7 @@ clean: partialclean
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
560 install:
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
561 cp dllthreads.dll $(STUBLIBDIR)/dllthreads.dll
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
562 cp libthreads.$(A) $(LIBDIR)/libthreads.$(A)
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
563 + cd $(LIBDIR); $(RANLIB) libthreads.$(A)
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
564 mkdir -p $(LIBDIR)/threads
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
565 cp $(CMIFILES) threads.cma $(LIBDIR)/threads
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
566 rm -f $(LIBDIR)/threads/stdlib.cma
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
567 @@ -78,6 +80,7 @@ install:
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
568
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
569 installopt:
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
570 cp libthreadsnat.$(A) $(LIBDIR)/libthreadsnat.$(A)
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
571 + cd $(LIBDIR); $(RANLIB) libthreadsnat.$(A)
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
572 cp $(THREAD_OBJS:.cmo=.cmx) threads.cmxa threads.$(A) $(LIBDIR)/threads
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
573 cp threads.cmxs $(LIBDIR)/threads
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
574
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
575 diff --git a/otherlibs/systhreads/st_win32.h b/otherlibs/systhreads/st_win32.h
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
576 index da602b7..7e1dcb9 100644
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
577 --- a/otherlibs/systhreads/st_win32.h
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
578 +++ b/otherlibs/systhreads/st_win32.h
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
579 @@ -17,7 +17,7 @@
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
580
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
581 #define _WIN32_WINNT 0x0400
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
582 #include <windows.h>
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
583 -#include <WinError.h>
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
584 +#include <winerror.h>
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
585 #include <stdio.h>
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
586 #include <signal.h>
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
587
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
588 diff --git a/otherlibs/win32graph/Makefile.nt b/otherlibs/win32graph/Makefile.nt
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
589 index 62c4678..e7c6d6b 100644
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
590 --- a/otherlibs/win32graph/Makefile.nt
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
591 +++ b/otherlibs/win32graph/Makefile.nt
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
592 @@ -18,10 +18,11 @@ COBJS=open.$(O) draw.$(O) events.$(O) dib.$(O)
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
593 CAMLOBJS=graphics.cmo
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
594 WIN32LIBS=$(call SYSLIB,kernel32) $(call SYSLIB,gdi32) $(call SYSLIB,user32)
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
595 LINKOPTS=-cclib "\"$(WIN32LIBS)\""
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
596 -LDOPTS=-ldopt "$(WIN32LIBS)"
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
597
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
598 include ../Makefile.nt
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
599
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
600 +LDOPTS=-L@libdir@ -ldopt "$(WIN32LIBS)"
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
601 +
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
602 graphics.ml: ../graph/graphics.ml
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
603 cp ../graph/graphics.ml graphics.ml
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
604 graphics.mli: ../graph/graphics.mli
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
605 diff --git a/otherlibs/win32unix/Makefile.nt b/otherlibs/win32unix/Makefile.nt
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
606 index 76a1c19..c401bbb 100644
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
607 --- a/otherlibs/win32unix/Makefile.nt
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
608 +++ b/otherlibs/win32unix/Makefile.nt
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
609 @@ -40,7 +40,6 @@ LIBNAME=unix
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
610 COBJS=$(ALL_FILES:.c=.$(O))
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
611 CAMLOBJS=unix.cmo unixLabels.cmo
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
612 LINKOPTS=-cclib $(WSOCKLIB)
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
613 -LDOPTS=-ldopt $(WSOCKLIB)
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
614 EXTRACAMLFLAGS=-nolabels
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
615 EXTRACFLAGS=-I../unix
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
616 HEADERS=unixsupport.h socketaddr.h
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
617 @@ -48,6 +47,8 @@ HEADERS=unixsupport.h socketaddr.h
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
618
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
619 include ../Makefile.nt
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
620
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
621 +LDOPTS=-L@libdir@ -ldopt $(WSOCKLIB)
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
622 +
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
623 clean::
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
624 rm -f $(UNIX_FILES) $(UNIX_CAML_FILES)
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
625
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
626 diff --git a/utils/config.mlp b/utils/config.mlp
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
627 index cdf67d4..b905059 100644
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
628 --- a/utils/config.mlp
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
629 +++ b/utils/config.mlp
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
630 @@ -86,11 +86,7 @@ let ext_asm = "%%EXT_ASM%%"
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
631 let ext_lib = "%%EXT_LIB%%"
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
632 let ext_dll = "%%EXT_DLL%%"
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
633
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
634 -let default_executable_name =
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
635 - match Sys.os_type with
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
636 - "Unix" -> "a.out"
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
637 - | "Win32" | "Cygwin" -> "camlprog.exe"
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
638 - | _ -> "camlprog"
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
639 +let default_executable_name = "camlprog.exe"
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
640
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
641 let systhread_supported = %%SYSTHREAD_SUPPORT%%;;
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
642
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
643 @@ -118,7 +114,7 @@ let print_config oc =
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
644 p "ext_asm" ext_asm;
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
645 p "ext_lib" ext_lib;
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
646 p "ext_dll" ext_dll;
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
647 - p "os_type" Sys.os_type;
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
648 + p "os_type" "Win32";
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
649 p "default_executable_name" default_executable_name;
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
650 p_bool "systhread_supported" systhread_supported;
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
651 flush oc;
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
652 --
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
653 1.7.9.5
5ebcd132140a add package ocaml-core
William <r.3@libertysurf.fr>
parents:
diff changeset
654