Installation instructions

Installation from a source distribution (tarball)

After unpacking, installation is done by

./configure
make
make install       # as super-user if needed

To also install Why3's OCaml library, do

make byte
make install-lib   # as super-user if needed

First run

autoconf

to build the ./configure file, then follow the instructions from the section above.

For detailed instructions and required dependencies, please see the manual: Compilation, Installation.