INSTALL.md 827 Bytes
Newer Older
1 2
Installation instructions
=========================
MARCHE Claude's avatar
MARCHE Claude committed
3 4


5 6 7 8 9
Installation from a source distribution (tarball)
-------------------------------------------------

After unpacking, installation is done by

10 11 12
    ./configure
    make
    make install (as root)
MARCHE Claude's avatar
MARCHE Claude committed
13

14
To install also the Ocaml library, do
MARCHE Claude's avatar
MARCHE Claude committed
15

16 17
    make byte
    make install-lib (as root)
18 19 20 21 22 23 24


Installation from the git repository
------------------------------------

First run

25 26
    autoconf
    automake --add-missing
27

28 29
to build the `./configure` file and install the helper scripts, then follow
the instructions from the section above.
MARCHE Claude's avatar
MARCHE Claude committed
30 31


32 33
Detailed instructions
---------------------
MARCHE Claude's avatar
MARCHE Claude committed
34 35

For detailed instructions and required dependencies, please see
36 37
the manual [doc/manual.pdf](http://why3.lri.fr/manual.pdf), Chapter 5
[Compilation, Installation](http://why3.lri.fr/doc/install.html).