INSTALL.md

   1 Installation instructions
   2 =========================
   3
   4
   5 Installation from a source distribution (tarball)
   6 -------------------------------------------------
   7
   8 After unpacking, installation is done by
   9
  10     ./configure
  11     make
  12     make install       # as super-user if needed
  13
  14 To also install Why3's OCaml library, do
  15
  16     make byte
  17     make install-lib   # as super-user if needed
  18
  19
  20 Installation from the git repository
  21 ------------------------------------
  22
  23 First run
  24
  25     autoconf
  26
  27 to build the `./configure` file, then follow the instructions from the
  28 section above.
  29
  30
  31 Detailed instructions
  32 ---------------------
  33
  34 For detailed instructions and required dependencies, please see
  35 the manual:
  36 [Compilation, Installation](https://www.why3.org/doc/install.html).