Commit 346528dc authored by MAUNY Michel's avatar MAUNY Michel

Slightly reformat and update installation instructions

parent 64528998
...@@ -11,28 +11,39 @@ ...@@ -11,28 +11,39 @@
This is just a reminder for quick installation. This is just a reminder for quick installation.
A more complete installation procedure is described in file SETUP/INSTALL. A more complete installation procedure is described in file SETUP/INSTALL.
0) Install Objective Caml 4.02 distribution 0) Install OCaml (>= 4.02). See http://ocaml.org for installation
(available from http://ocaml.org). instructions.
Then install the Camplp4 processor in its 4.02 distribution
(available from https://github.com/ocaml/camlp4). Then install the Camplp4 processor in the corresponding distribution.
If OCaml has been installed through the OPAM package manager, then:
opam install camlp4
should do the job. Alternatively, see https://github.com/ocaml/camlp4
for download and installation instructions.
1) Install the Heritage_resources package: 1) Install the Heritage_resources package:
git clone git@gitlab.inria.fr:huet/Heritage_Resources.git
2) Create your configuration file my_config.txt git clone https://gitlab.inria.fr/huet/Heritage_Resources.git
2) Create your configuration file SETUP/CONFIGS/my_config.txt
Look at the SETUP/CONFIGS directory to find examples. All fields are
explained in SETUP/config_help.txt.
Look at the SETUP/CONFIGS directory to find examples.
SETUP/config_help.txt explains all the fields.
Then make a symbolic link to your configuration file in SETUP dir: Then make a symbolic link to your configuration file in SETUP dir:
ln -s my_config.txt config cd SETUP
The "config" link has to be located in the SETUP directory, ln -s CONFIGS/my_config.txt ./config
the path of my_config.txt is arbitrary, either outside the Platform area,
or possibly inside the CONFIGS directory if you plan to update regularly, The "config" link has to be located in the SETUP directory, the path
and signaling it to the developers in order to include it in the Git distrib of my_config.txt is arbitrary, either outside the Platform area, or
possibly inside the CONFIGS directory if you plan to update regularly,
and signaling it to the developers in order to include it in the Git
distrib
3) Launch configuration in main dir 3) Launch configuration in main dir
./configure ./configure
4) Launch compilation 4) Launch compilation
...@@ -40,9 +51,9 @@ Then make a symbolic link to your configuration file in SETUP dir: ...@@ -40,9 +51,9 @@ Then make a symbolic link to your configuration file in SETUP dir:
make make
5) Install it 5) Install it
sudo make install sudo make install
6) Enjoy :-) 6) Enjoy :-)
Report all problems to Gerard.Huet@inria.fr Report all problems to Gerard.Huet@inria.fr
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