installation.rst

Installing Leon

Leon requires quite a few dependencies, and you will need to make sure everything is correctly set up before being able to build it. Leon is probably easiest to build on Linux-like platforms, but read on regarding other platforms.

Due to its nature, this documentation section may not always be up to date; we welcome pull requests with carefully written and tested improvements to the information below.

Requirements:

• Java SE Development Kit 8 or Java SE Development Kit 7 for your platform
• SBT 0.13.x (Available from http://www.scala-sbt.org/)
• Support for at least one external solver (See :ref:`smt-solvers`)
• Sphinx restructured text tool (for building local documentation)

Linux & Mac OS-X

Get the sources of Leon by cloning the official Leon repository:

$ git clone https://github.com/epfl-lara/leon.git
Cloning into 'leon'...
// ...
$ cd leon
$ sbt clean compile
// takes about 3 minutes

We now use sbt script to create a leon bash script that runs Leon with all the appropriate settings: