| # Installing Lean on Ubuntu | |
| ## Build Dependencies | |
| Please ensure you have the following build tools available and then | |
| follow the [generic build instructions](index.md). | |
| ## Basic packages | |
| ```bash | |
| sudo apt-get install git libgmp-dev libuv1-dev cmake ccache clang | |
| ``` |