[Demexp-dev] compiling and installing cduce

[David MENTRE]

Hello,

Please find below my notes to install CDuce on my debian linux machine:

 Installation de CDuce.

    * # apt-get install libpxp-ocaml-dev libpcre-ocaml-dev 
libnetclient-ocaml-dev
    *

      Compile OCaml
          o $ wget http://caml.inria.fr/distrib/ocaml-3.08/ocaml-3.08.1.tar.bz2
          o $ tar jxf ocaml-3.08.1.tar.bz2
          o $ cd ocaml-3.08.1/
          o $ ./configure -no-tk
          o $ make world && make opt && make opt.opt
    * $ wget http://www.cduce.org/download/cduce-0.2.1.tar.gz
    * $ tar zxvf cduce-0.2.1.tar.gz ; cd cduce-0.2.1
    * $ ./configure --prefix=/usr/local/stow/cduce-0.2.1 
--mliface=/home/david/00-poubelle/ocaml-3.08.1/
    * $ make all
    * $ make install
    * dans /usr/local/stow : stow cduce-0.2.1

It might be of some use if you want to install CDuce yourself.

Yours,
d.
-- 
pub  1024D/A3AD7A2A 2004-10-03 David MENTRE <address@hidden>
 5996 CC46 4612 9CA4 3562  D7AC 6C67 9E96 A3AD 7A2A