/[svn]/web/ocaml.xml
ViewVC logotype

Contents of /web/ocaml.xml

Parent Directory Parent Directory | Revision Log Revision Log


Revision 1658 - (show annotations)
Tue Jul 10 19:12:18 2007 UTC (5 years, 10 months ago) by abate
File MIME type: text/xml
File size: 1541 byte(s)
[r2005-05-05 22:42:31 by afrisch] Empty log message

Original author: afrisch
Date: 2005-05-05 22:43:43+00:00
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>

CVS Admin">CVS Admin
ViewVC Help
Powered by ViewVC 1.1.5