search

leanprover / leanprover.github.io

www
https://lean-lang.org/
15 stars 24 forks source link

Add install instructions #23

Closed soonhokong closed 9 years ago

soonhokong commented 9 years ago

Ubuntu

For the first time, you need to run:

sudo apt-get install python-software-properties  # to use add-apt-repository
sudo add-apt-repository ppa:leanprover/lean
sudo apt-get update
sudo apt-get install lean

To get the latest version, please run:

sudo apt-get update
sudo apt-get install --only-upgrade lean           # to make sure

it only upgrade lean. In general, you can do "apt-get upgrade"

Note: This PPA1 has an outdated version (2014.11.20). We need to set up a server running ppa-updater2

OSX

For the first time, you need to run (I assume that you're using homebrew):

brew tap leanprover/lean       # tap our repository

https://github.com/leanprover/homebrew-lean brew install lean

To get the latest version, please run:

brew update
brew upgrade lean

Note: I've set up two machines running OSX-10.9 and OSX-10.10 to provide precompiled binaries of Lean for both version of OSX. The latest binary is available at https://github.com/leanprover/homebrew-lean/tree/gh-pages

soonhokong commented 9 years ago

It's in http://leanprover.github.io/download