14 |
|
|
15 |
---------------------------------------------------------------------- |
---------------------------------------------------------------------- |
16 |
Name: Matthias Blume (blume (at) tti - c (dot) org) |
Name: Matthias Blume (blume (at) tti - c (dot) org) |
17 |
|
Date: 2004/05/19 22:10:00 CDT |
18 |
|
Tag: blume-20040519-ml-build |
19 |
|
Description: |
20 |
|
|
21 |
|
Arranged for ml-build to clean up after itself a little bit better. |
22 |
|
The script generates a temporary SML source file and compiles it using |
23 |
|
CM, so CM generates metadata (GUID, SKEL, objectfile) for it. It now |
24 |
|
gets rid of those at the end, so they don't accumulate under .cm. |
25 |
|
|
26 |
|
This required a minor change to install.sh because the name of the |
27 |
|
metadata directory (default: .cm) is actually configurable at |
28 |
|
installation time. |
29 |
|
|
30 |
|
---------------------------------------------------------------------- |
31 |
|
Name: Matthias Blume (blume (at) tti - c (dot) org) |
32 |
|
Date: 2004/05/18 15:50:00 CDT |
33 |
|
Tag: blume-20040518-mkreader |
34 |
|
Description: |
35 |
|
|
36 |
|
Added Posix.IO.mk{Bin,Text}{Reader,Writer} by lifting their respective |
37 |
|
implementations from internal modules PosixBinPrimIO and PosixTextPrimIO. |
38 |
|
|
39 |
|
---------------------------------------------------------------------- |
40 |
|
Name: Matthias Blume (blume (at) tti - c (dot) org) |
41 |
|
Date: 2004/05/11 14:35:00 CDT |
42 |
|
Tag: blume-20040511-win32sock |
43 |
|
Description: |
44 |
|
|
45 |
|
Added previously missing support for many socket-related functions |
46 |
|
under win32. Thanks to David Hansel <hansel@reactive-systems.com> |
47 |
|
for the voluminous patch! |
48 |
|
|
49 |
|
(I have not tested this patch under win32 yet.) |
50 |
|
|
51 |
|
Here is David's e-mail: |
52 |
|
|
53 |
|
Hi, |
54 |
|
|
55 |
|
Attached to this email you find a diff against sml/nj 110.45 |
56 |
|
that will enable socket support under Windows. |
57 |
|
|
58 |
|
To apply the patch (using unix or cygwin) |
59 |
|
1) gunzip runtime.diff.gz |
60 |
|
2) "cd" into "src/runtime" in the source tree of a fresh |
61 |
|
110.45 installation. |
62 |
|
3) patch -p 1 < [your/path/to]runtime.diff |
63 |
|
|
64 |
|
The code compiles fine but has NOT yet been extensively tested. |
65 |
|
I only ran a few tests for basic socket client functionality |
66 |
|
(which worked fine). Especially the functions that use ioctl |
67 |
|
are not tested at all and might not work (see below). |
68 |
|
|
69 |
|
I implemented this since we want to move to a newer version of sml/nj |
70 |
|
but need socket support in order to use it. This is the first time I |
71 |
|
even had a look at the sml/nj source, so please review my changes |
72 |
|
before making this part of the distribution! Here are a few issues |
73 |
|
that I think might be better for someone to solve who is more |
74 |
|
familiar with the sml/nj source (and socket programming): |
75 |
|
|
76 |
|
- getnetbyaddr.c and getnetbyname.c will raise a "not implemented" |
77 |
|
exception since I could not figure out what the windows equivalent |
78 |
|
of these functions is |
79 |
|
|
80 |
|
- In sockets-osdep.h there are a some #include statements that are |
81 |
|
only used in a few files that include sockets-osdep.h |
82 |
|
|
83 |
|
- In smlnj-sock-lib.c, function init_fn() calls WSAStartup() but |
84 |
|
does not process its return value since I don't know how to |
85 |
|
report an error upwards. |
86 |
|
|
87 |
|
- It would probably be good to have a call to WSACleanup() when |
88 |
|
the library is unloaded (if there is such a possibility). |
89 |
|
Otherwise I think Windows will take care of this automatically |
90 |
|
when the process finishes. |
91 |
|
|
92 |
|
- I used ioctlsocket() as a replacement for ioctl() but I have |
93 |
|
no idea if that is actually the proper replacement on Windows. |
94 |
|
|
95 |
|
- All these issues are marked in the code by "FIXME" comments. |
96 |
|
|
97 |
|
We use sml/nj extensively in our products and are quite happy |
98 |
|
with it. I hope this contribution will help you. |
99 |
|
|
100 |
|
Keep up the good work! |
101 |
|
|
102 |
|
David |
103 |
|
|
104 |
|
---------------------------------------------------------------------- |
105 |
|
Name: Matthias Blume (blume (at) tti - c (dot) org) |
106 |
|
Date: 2004/05/11 14:20:00 CDT |
107 |
|
Tag: blume-20040511-installml |
108 |
|
Description: |
109 |
|
|
110 |
|
Fixed two bugs in installml script. (Thanks to Vesa A. Norrman for |
111 |
|
the patch.) |
112 |
|
|
113 |
|
---------------------------------------------------------------------- |
114 |
|
Name: Matthias Blume (blume (at) tti - c (dot) org) |
115 |
|
Date: 2004/05/11 14:05:00 CDT |
116 |
|
Tag: blume-20040511-nlffi-netbsd |
117 |
|
Description: |
118 |
|
|
119 |
|
Added support for nlffi under netbsd. (Thanks to Vesa A. Norrman for |
120 |
|
the patch.) |
121 |
|
|
122 |
|
---------------------------------------------------------------------- |
123 |
|
Name: Matthias Blume (blume (at) tti - c (dot) org) |
124 |
|
Date: 2004/05/11 12:05:00 CDT |
125 |
|
Tag: blume-20040511-exports |
126 |
|
Description: |
127 |
|
|
128 |
|
As per request by Adam Chlipala <adam@hcoop.net>, extended various |
129 |
|
export lists in compiler-related .cm-files. |
130 |
|
|
131 |
|
---------------------------------------------------------------------- |
132 |
|
Name: Matthias Blume (blume (at) tti - c (dot) org) |
133 |
|
Date: 2004/05/11 11:35:00 CDT |
134 |
|
Tag: blume-20040511-allsource |
135 |
|
Description: |
136 |
|
|
137 |
|
The installer now honors the "src-smlnj" target again, although its meaning |
138 |
|
has changed from "all sources required for the compiler" to "all sources |
139 |
|
the installer knows about". In other words, if you enable "src-smlnj" |
140 |
|
in the "targets" file, then the installer will pull in sources for |
141 |
|
everything. (Notice that this refers to source code only. Compiled |
142 |
|
code is still only installed for modules that were requested explicitly |
143 |
|
or which are required for other modules that were requested explicitly.) |
144 |
|
|
145 |
|
---------------------------------------------------------------------- |
146 |
|
Name: Matthias Blume (blume (at) tti - c (dot) org) |
147 |
|
Date: 2004/04/23 17:40:00 CDT |
148 |
|
Tag: blume-20040423-ieee-scan |
149 |
|
Description: |
150 |
|
|
151 |
|
Fixed IEEEReal.scan (and .fromString) so that if there is an overflow |
152 |
|
in the exponent calculation we get INF or ZERO (depending on the mantissa |
153 |
|
and the sign of the exponent). |
154 |
|
|
155 |
|
---------------------------------------------------------------------- |
156 |
|
Name: Matthias Blume (blume (at) tti - c (dot) org) |
157 |
|
Date: 2004/04/23 10:40:00 CDT |
158 |
|
Tag: blume-20040423-ml-build |
159 |
|
Description: |
160 |
|
|
161 |
|
The ml-build script now terminates with a non-0 status when something |
162 |
|
goes wrong. |
163 |
|
|
164 |
|
---------------------------------------------------------------------- |
165 |
|
Name: Matthias Blume (blume (at) tti - c (dot) org) |
166 |
|
Date: 2004/04/22 16:35:00 CDT |
167 |
|
Tag: blume-20040422-Option |
168 |
|
Description: |
169 |
|
|
170 |
|
Made exception Option to be the same as exception Option.Option |
171 |
|
(as it should be). |
172 |
|
|
173 |
|
---------------------------------------------------------------------- |
174 |
|
Name: Allen Leung (leunga (at) reservoir (dot) com) |
175 |
|
Date: 2004/03/19 14:40:00 EST |
176 |
|
Tag: leunga-20040319-cygwin-nlffi |
177 |
|
Description: |
178 |
|
|
179 |
|
Fixed the runtime so that ml-nlffi-lib runs on the cygwin version |
180 |
|
of SML/NJ. The problem is that |
181 |
|
|
182 |
|
lib = dlopen(NULL, ...) |
183 |
|
f = dlsym(lib, "malloc"); |
184 |
|
|
185 |
|
does not work on Windows unless we explicitly export symbols |
186 |
|
such as 'malloc' during linking. We fixed this by explicitly |
187 |
|
exporting the required symbols with the magic gcc incantation: |
188 |
|
|
189 |
|
-Wl,--export-all cygwin.def |
190 |
|
|
191 |
|
where cygwin.def is a file containing all the symbols that |
192 |
|
we wish to export. |
193 |
|
|
194 |
|
I suspect this is a Windows problem and we'll have to |
195 |
|
do the same (somehow with windows compilers) when |
196 |
|
we build the native win32 version with the system |
197 |
|
calls LoadLibrary/GetProcAddress. |
198 |
|
|
199 |
|
---------------------------------------------------------------------- |
200 |
|
Name: Matthias Blume (blume (at) tti - c (dot) org) |
201 |
|
Date: 2004/03/04 16:35:00 CST |
202 |
|
Tag: blume-20040304-intinf-fmt |
203 |
|
Description: |
204 |
|
|
205 |
|
Fixed problem with IntInf.fmt (sign would show up on the right instead |
206 |
|
of on the left for BIN, OCT, and HEX). |
207 |
|
|
208 |
|
---------------------------------------------------------------------- |
209 |
|
Name: Matthias Blume (blume (at) tti - c (dot) org) |
210 |
|
Date: 2004/03/04 11:25:00 CST |
211 |
|
Tag: blume-20040304-symlinks |
212 |
|
Description: |
213 |
|
|
214 |
|
Fixed problem with installer script (unix only) where bin/ml-yacc and |
215 |
|
friends pointed (via symlinks) to absolute locations instead of just |
216 |
|
.run-sml. This was reported by Vesa A Norrman. |
217 |
|
|
218 |
|
---------------------------------------------------------------------- |
219 |
|
Name: Matthias Blume (blume (at) tti - c (dot) org) |
220 |
|
Date: 2004/02/13 14:50:00 CST |
221 |
|
Tag: Release_110_45 |
222 |
|
Description: |
223 |
|
|
224 |
|
New working version (110.45). New bootfiles. |
225 |
|
|
226 |
|
---------------------------------------------------------------------- |
227 |
|
Name: Matthias Blume (blume (at) tti - c (dot) org) |
228 |
|
Date: 2004/01/26 15:15:15 CST |
229 |
|
Tag: blume-20040126-toplevel |
230 |
|
Description: |
231 |
|
|
232 |
|
Improved handling of exceptions at the interactive toplevel. |
233 |
|
|
234 |
|
---------------------------------------------------------------------- |
235 |
|
Name: Matthias Blume (blume (at) tti - c (dot) org) |
236 |
|
Date: 2004/01/26 11:25:00 |
237 |
|
Tag: blume-20040126-app |
238 |
|
Description: |
239 |
|
|
240 |
|
Type of top-level "app" corrected. |
241 |
|
Added code for setting vp_limitPtrMask to Win32-specific runtime. |
242 |
|
|
243 |
|
---------------------------------------------------------------------- |
244 |
|
Name: Matthias Blume (blume (at) tti - c (dot) org) |
245 |
|
Date: 2003/11/18 17:10 CST |
246 |
|
Tag: blume-20031118-basis-fiddle |
247 |
|
Description: |
248 |
|
|
249 |
|
- changed Timer interface to what might become the spec |
250 |
|
- POSIX_FLAGS -> BIT_FLAGS according to spec |
251 |
|
- some other minor discrepancies wrt. spec eliminated |
252 |
|
|
253 |
|
---------------------------------------------------------------------- |
254 |
|
Name: Matthias Blume (blume (at) tti - c (dot) org) |
255 |
|
Date: 2003/11/06 12:00:00 CST |
256 |
|
Tag: Release_110_44 |
257 |
|
Description: |
258 |
|
|
259 |
|
New working version (110.44). New bootfiles. |
260 |
|
|
261 |
|
---------------------------------------------------------------------- |
262 |
|
Name: Matthias Blume (blume (at) tti - c (dot) org) |
263 |
|
Date: 2003/11/04 11:50:00 CST |
264 |
|
Tag: blume-20031104-move-libraries |
265 |
|
Description: |
266 |
|
|
267 |
|
Eliminated the "dont_move_libraries" directive in config/targets. |
268 |
|
(The mechanism was broken and could not be fixed easily. Moreover, |
269 |
|
there does not seem to be any reason not to move all libraries into |
270 |
|
lib during installation. I originally implemented this directive as a |
271 |
|
backward-compatibility feature when I first introduced the new CM. |
272 |
|
Now that things have been stable for a long time and going back to the |
273 |
|
old CM is not an option, there is no reason to keep it around.) |
274 |
|
|
275 |
|
---------------------------------------------------------------------- |
276 |
|
Name: Matthias Blume (blume (at) tti - c (dot) org) |
277 |
|
Date: 2003/11/03 16:00:00 CST |
278 |
|
Tag: blume-20031103-installdir |
279 |
|
Description: |
280 |
|
|
281 |
|
Made installer honor INSTALLDIR variable again. (Thanks to Chris |
282 |
|
Richards for pointing out the problem and providing the solution.) |
283 |
|
|
284 |
|
---------------------------------------------------------------------- |
285 |
|
Name: Matthias Blume (blume (at) tti - c (dot) org) |
286 |
|
Date: 2003/10/01 17:05:00 CDT |
287 |
|
Tag: blume-20031001-lal-mlrisc |
288 |
|
Description: |
289 |
|
|
290 |
|
MLRISC bug fix from Lal. |
291 |
|
|
292 |
|
---------------------------------------------------------------------- |
293 |
|
Name: Matthias Blume (blume (at) tti - c (dot) org) |
294 |
Date: 2003/09/30 16:10:00 CDT |
Date: 2003/09/30 16:10:00 CDT |
295 |
Tag: blume-20030930-primio-bat |
Tag: blume-20030930-primio-bat |
296 |
Description: |
Description: |