Commit e9ffdf1a authored by Pietro Abate's avatar Pietro Abate
Browse files

Add more detailed explanations regarding the submodule setup

parent cef54682
......@@ -175,7 +175,23 @@ the CDuce command line.
Compile Cduce 0.5.5 using ocaml 3.12.1 and opam
The lastest stable version compatible with ocaml 3.12.1 is cudce 0.5.5
the git branch ocamlinterface is a fork from tag 0.5.5 and links the
ocaml source code (tags/3.12.1) via a git submodule. To correctly setup
the environment, first you need to switch on the ocamlinterface and
setup the ocaml submodule.
git clone -b ocamlinterface
git submodule init
git submodule update
Then using OPAM you need to install and configure the correct compiler and
modules needed to build cduce. Ocamlfind will take care of installing the
cduce libraries and make them available.
opam switch 3.12.1
eval `opam config env`
opam install ocamlnet
opam install pxp
opam install ocurl
......@@ -188,7 +204,10 @@ make install
ocamlfind list | grep cduce
find $HOME/.opam/ -name cduce_lib\*
which cduce
The directory tests contains few tests to check if the ocaml interface was
compiled correctly.
cd tests/ocaml
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