Commit 9b1ab4b4 authored by Pietro Abate's avatar Pietro Abate

[r2003-11-16 23:10:35 by beppe] Updated to new version

Original author: beppe
Date: 2003-11-16 23:10:35+00:00
parent 20e64b87
......@@ -13,7 +13,7 @@ Prerequisites
Before compiling CDuce, you need to install recent releases of the
following packages:
ocaml => 3.07
ocaml => 3.07 (patchlevel 2)
http://caml.inria.fr/ocaml/distrib.html
findlib => 0.8
http://www.ocaml-programming.de/packages
......@@ -29,13 +29,14 @@ pxp => 1.9.93
Important notes:
- OCaml: cduce uses recursive modules so versions of OCaml before 3.07
will not work. Also the standard distribution has two bugs that make
CDuce compilation fail. Patch OCaml source by
will not work. Also early standard distribution of 3.07 had two bugs
that made CDuce compilation fail. Use patchlevel 2 distribution or patch
OCaml source by
http://caml.inria.fr/bin/caml-bugs/fixed?id=1863;page=77;user=guest
http://www.cduce.org/download/patch-ocaml-3.07
or (better) install OCaml cvs version
or (risky) install OCaml cvs version
cvs -d":pserver:anoncvs@camlcvs.inria.fr:/caml" login
<hit enter key when asked for password>
cvs -z3 -d":pserver:anoncvs@camlcvs.inria.fr:/caml" co ocaml
......@@ -106,6 +107,9 @@ distribution. It defines the following goals:
- make clean
back to the starting point
- make uninstall
removes installe files
Makefile accepts the following options.
NATIVE=true : use the OCaml native code compiler (ocamlopt) to build CDuce
......
......@@ -55,6 +55,7 @@ http://www.cduce.org/cgi-bin/cduce
Some features are disabled in the web interface (including
file manipulation).
3. dtd2cduce
dtd2cduce is small tool that generated CDuce type declarations from
......@@ -114,7 +115,7 @@ There are several sources of information concerning CDuce:
http://www.cduce.org/cgi-bin/cduce
- and of course the interpreter source code !
- and of course the interpreter source code!
------------------------------------------------------------------------------
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment