| 1 |
<?xml version="1.0" encoding="ISO-8859-1" standalone="yes"?>
|
| 2 |
<page name="ocaml">
|
| 3 |
|
| 4 |
<title>OCaml + CDuce</title>
|
| 5 |
|
| 6 |
<left>
|
| 7 |
<local-links href="index,documentation"/>
|
| 8 |
</left>
|
| 9 |
|
| 10 |
<box>
|
| 11 |
|
| 12 |
<p>
|
| 13 |
OCaml+CDuce is a modified version of OCaml 3.08.2 with CDuce
|
| 14 |
extensions (expressions, types, patterns).
|
| 15 |
</p>
|
| 16 |
|
| 17 |
<p>
|
| 18 |
See the <a
|
| 19 |
href="http://pauillac.inria.fr/~frisch/ocamlcduce/doc/README.cduce">README.cduce</a>
|
| 20 |
file for more information, The sub-directory <tt>tests/</tt> has some
|
| 21 |
simple examples. There is also an ocamldoc-generated documentation
|
| 22 |
for the <a href="http://pauillac.inria.fr/~frisch/ocamlcduce/doc/">support library</a>.
|
| 23 |
</p>
|
| 24 |
|
| 25 |
<p>
|
| 26 |
The package contains a bootstrapped compiler. The build procedure is
|
| 27 |
the same as for OCaml (<tt>configure, make world, make install</tt>).
|
| 28 |
</p>
|
| 29 |
|
| 30 |
<ul>
|
| 31 |
<li><a
|
| 32 |
href="http://pauillac.inria.fr/~frisch/ocamlcduce/download/cduce-ocaml-0.0.2.tar.gz">Compiler,
|
| 33 |
version 0.0.2</a></li>
|
| 34 |
<li><a
|
| 35 |
href="http://pauillac.inria.fr/~frisch/ocamlcduce/download/xml-support-0.0.2.tar.gz">Support
|
| 36 |
library, version 0.0.2</a></li>
|
| 37 |
</ul>
|
| 38 |
|
| 39 |
<p>
|
| 40 |
GODI users can upgrade an existing installation by adding this
|
| 41 |
line to their <tt>etc/godi.conf</tt> file:
|
| 42 |
</p>
|
| 43 |
<sample>
|
| 44 |
GODI_BUILD_SITES += http://pauillac.inria.fr/~frisch/ocamlcduce/godi
|
| 45 |
</sample>
|
| 46 |
<p>
|
| 47 |
and by forcing a recompilation of the <tt>godi-ocaml-src</tt>
|
| 48 |
and <tt>godi-ocaml</tt> packages. They should also build
|
| 49 |
the <tt>godi-xml-support</tt> library.
|
| 50 |
</p>
|
| 51 |
|
| 52 |
<p>
|
| 53 |
Some simple examples can be found <a href="http://pauillac.inria.fr/~frisch/ocamlcduce/tests/">here</a>.</p>
|
| 54 |
|
| 55 |
</box>
|
| 56 |
|
| 57 |
</page>
|