#######################################################################
# #
# OCamlP3l #
# #
# (C) 2004-2007 #
# Roberto Di Cosmo (dicosmo@dicosmo.org) #
# Zheng Li (zli@lip6.fr) #
# Pierre Weis (Pierre.Weis@inria.fr) #
# Francois Clement (Francois.Clement@inria.fr) #
# #
# Based on original Ocaml P3L System #
# (C) 1997 by #
# Roberto Di Cosmo (dicosmo@ens.fr) #
# Marco Danelutto (marcod@di.unipi.it) #
# Xavier Leroy (Xavier.Leroy@inria.fr) #
# Susanna Pelagatti (susanna@di.unipi.it) #
# #
# This program is free software; you can redistribute it and/or #
# modify it under the terms of the GNU Library General Public License #
# as published by the Free Software Foundation; either version 2 #
# of the License, or (at your option) any later version. #
# #
# This program is distributed in the hope that it will be useful, #
# but WITHOUT ANY WARRANTY; without even the implied warranty of #
# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the #
# GNU Library General Public License for more details. #
# #
#######################################################################
OcamlP3l Version 2.03
---------------------
INSTALLATION INSTRUCTIONS
=========================
To install OcamlP3l, you need to have Objective Caml version 3.09 or higher
installed in your system, with the Unix library.
Then, if (and only if) you do not want to install the software binaries in the
directory /usr/local/bin, modify the configuration make file makefile.config in
the root directory of the distribution.
Now, just type
make configure
make
make install
and you are done.
Other make commands include:
make clean
make uninstall