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.