INSTALL.md 827 Bytes
Newer Older
Guillaume Melquiond's avatar
Guillaume Melquiond committed
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

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

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

Guillaume Melquiond's avatar
Guillaume Melquiond committed
16 17
    make byte
    make install-lib (as root)
18 19 20 21 22 23 24


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

First run

Guillaume Melquiond's avatar
Guillaume Melquiond committed
25 26
    autoconf
    automake --add-missing
27

Guillaume Melquiond's avatar
Guillaume Melquiond committed
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).