Revision 46f23e8dc1cfce9d433cb07dfc1b768cd046236a authored by fclement on 07 April 2010, 15:25:05 UTC, committed by fclement on 07 April 2010, 15:25:05 UTC
1 parent d529c4a
INSTALL
#######################################################################
# #
# 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.
Warning: you must have write access to the Caml libraries installation
directory (the OCamlP3l run-time libraries will be installed in sub-directory
"ocamlp3l" of directory `ocamlc -where`). If you cannot gain write access to
this directory, you have to re-install Caml in a more friendly place.
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
Computing file changes ...