-
Notifications
You must be signed in to change notification settings - Fork 0
/
2002.01.22.html
56 lines (40 loc) · 2.25 KB
/
2002.01.22.html
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
<html><body>
<a href="2002.01.15.html">Previous week</a> <a href="index.html">Up</a> <a href="2002.01.29.html">Next week</a>
<pre>
Hello,
Here is the latest Caml Weekly News, week 15 to 22 january, 2002.
Summary:
1) <a href="#1">Dynamic linking with native compilation</a>
2) <a href="#2">New version of otags</a>
<a name="1"/>======================================================================
1) Dynamic linking with native compilation
----------------------------------------------------------------------
Christophe Raffalli asked and David Mentre answered:
> > another question, I use C because I want dynamic linking with native
> > compilation (I want the dynamically loaded code to be native too).
> > Is it possible to implement that for OCaml ?
>
> Yes, look at the Asmdynlink module in the Hump.
Sorry, I overlocked asmdynlink description. Here are the (supposed)
correct answers:
dl-runtime: a patch for using primitives from shared libraries with
OCaml 3.00 <a href="http://www.eleves.ens.fr:8080/home/frisch/soft#dl-runtime">http://www.eleves.ens.fr:8080/home/frisch/soft#dl-runtime</a>
SCaml : A patch, against OCaml 3.04, making it possible to: create,
link against and dynamically load shared objects on i386 ELF platforms.
<a href="http://algol.prosalg.no/~malc/scaml/">http://algol.prosalg.no/~malc/scaml/</a>
<a name="2"/>======================================================================
2) New version of otags
----------------------------------------------------------------------
Cuihtlauac ALVARADO announced:
I'm not so sure to get it all right, but it reminds me that we forgot
to announce the new Otags release (for Ocaml 3.04). Jean-Francois has
just finished to upload it at :
<a href="http://moninjf.multimania.com/Ocaml/otags-3.04.tar.gz">http://moninjf.multimania.com/Ocaml/otags-3.04.tar.gz</a>
Nothing very new in this release, except the version number which
matches Ocaml's. We've tested it on Coq V7.2, it worked.
Like the last version it is now stand alone, you don't need anything
but Ocaml to compile.
Hope it can help; comments, bugs and misc. are wellcome.
======================================================================
Alan Schmitt
</pre></body></html>