Attention une mise à jour du service Gitlab va être effectuée le mardi 30 novembre entre 17h30 et 18h00. Cette mise à jour va générer une interruption du service dont nous ne maîtrisons pas complètement la durée mais qui ne devrait pas excéder quelques minutes. Cette mise à jour intermédiaire en version 14.0.12 nous permettra de rapidement pouvoir mettre à votre disposition une version plus récente.

Commit 352264fa authored by POTTIER Francois's avatar POTTIER Francois
Browse files

Convert INSTALLATION.md to markdown.

parent 9fae2e10
------------------------------------------------------------------------------ ## Requirements
REQUIREMENTS
You need OCaml 4.02 or later, ocamlbuild, and GNU make. You need OCaml 4.02 or later, ocamlbuild, and GNU make.
------------------------------------------------------------------------------ ## Configuration Choices
CONFIGURATION CHOICES
1- PREFIX ### `PREFIX`
The value of the PREFIX variable can be changed to control where the software, The value of the `PREFIX` variable can be changed to control where the software,
the standard library, and the documentation are stored. These files are copied the standard library, and the documentation are stored. These files are copied
to the following places: to the following places:
```
$PREFIX/bin/ $PREFIX/bin/
$PREFIX/share/menhir/ $PREFIX/share/menhir/
$PREFIX/doc/menhir/ $PREFIX/doc/menhir/
```
PREFIX must be set when invoking "make all" and "make install" (see below). `PREFIX` must be set when invoking `make all` and `make install` (see below).
2- USE_OCAMLFIND
The support libraries, MenhirLib and MenhirSdk, are installed either via ### `USE_OCAMLFIND`
ocamlfind or directly in the directory $PREFIX/share/menhir. Installing via
ocamlfind is recommended (and is the default). It requires the "ocamlfind"
executable to be found in the PATH. An explicit choice can be made by setting
USE_OCAMLFIND to "true" or "false" when running "make all" (see below).
3- TARGET The support libraries, `MenhirLib` and `MenhirSdk`, are installed either via
ocamlfind or directly in the directory `$PREFIX/share/menhir`. Installing via
ocamlfind is recommended (and is the default). It requires the `ocamlfind`
executable to be found in the `PATH`. An explicit choice can be made by setting
`USE_OCAMLFIND` to `true` or `false` when running `make all` (see below).
If your machine does not have the native code OCaml compiler (ocamlopt), but ### `TARGET`
does have the bytecode compiler (ocamlc), then you should define "TARGET=byte"
when running "make all" and "make install".
------------------------------------------------------------------------------ If your machine does not have the native code OCaml compiler (`ocamlopt`), but
does have the bytecode compiler (`ocamlc`), then you should define `TARGET=byte`
when running `make all` and `make install`.
COMPILATION & INSTALLATION ## Compilation And Installation
Compile and install as follows: Compile and install as follows:
```
make PREFIX=/usr/local USE_OCAMLFIND=true all make PREFIX=/usr/local USE_OCAMLFIND=true all
sudo make PREFIX=/usr/local install sudo make PREFIX=/usr/local install
```
(If necessary, adjust PREFIX, USE_OCAMLFIND and TARGET as described above.) (If necessary, adjust `PREFIX`, `USE_OCAMLFIND` and `TARGET` as described above.)
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