max/lean4-htt
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 2

doc: ubuntu: specify fewer versions that will become outdated anyway

Browse source
This commit is contained in:
Sebastian Ullrich 2021-11-09 09:37:19 +01:00
parent d7b8479760
commit c29ad9a9b3
5 changed files with 7 additions and 7 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
doc/SUMMARY.md
View file

@ -58,7 +58,7 @@
- [Development Guide](./dev/index.md)
- [Commit Convention](./dev/commit_convention.md)
- [Building Lean](./make/index.md)
- [Ubuntu Setup](./make/ubuntu-16.04.md)
- [Ubuntu Setup](./make/ubuntu.md)
- [macOS Setup](./make/osx-10.9.md)
- [Windows MSYS2 Setup](./make/msys2.md)
- [Windows with WSL](./make/wsl.md)

2
doc/dev/index.md
View file

@ -1,7 +1,7 @@
# Development Workflow
- [Commit Convention](./commit_convention.md)
- [Building Lean](../make/index.md)
- [Ubuntu Setup](../make/ubuntu-16.04.md)
- [Ubuntu Setup](../make/ubuntu.md)
- [macOS Setup](../make/osx-10.9.md)
- [Windows MSYS2 Setup](../make/msys2.md)
- [Windows with WSL](../make/wsl.md)

2
doc/make/index.md
View file

@ -8,7 +8,7 @@ Requirements
Platform-Specific Setup
-----------------------
- [Linux (Ubuntu)](ubuntu-16.04.md)
- [Linux (Ubuntu)](ubuntu.md)
- [Windows (msys2)](msys2.md)
- [Windows (Visual Studio)](msvc.md)
- [Windows (WSL)](wsl.md)

4
doc/make/ubuntu-16.04.md → doc/make/ubuntu.md
View file

@ -1,4 +1,4 @@
# Installing Lean on Ubuntu 16.04
# Installing Lean on Ubuntu
## Build Dependencies
@ -8,5 +8,5 @@ follow the [generic build instructions](index.md).
## Basic packages
```bash
sudo apt-get install git libgmp-dev cmake ccache gcc-10 g++-10
sudo apt-get install git libgmp-dev cmake ccache clang
```

4
doc/make/wsl.md
View file

@ -8,7 +8,7 @@ As an alternative to the [MSYS2](msys2.md) setup you can also use the
debug using [Visual Studio Code][vscode] in Windows.
For the most part setup in WSL is the same as
[Ubuntu](Ubuntu-16.04.md). This document provides additional
[Ubuntu](ubuntu.md). This document provides additional
information on how to setup Windows Visual Studio Code remote
debugging into your WSL environment using the lean extension running
in WSL.
@ -51,4 +51,4 @@ this setting is set as follows:
```
This will result in a logs folder being created inside your lean
package folder in the WSL file system.
package folder in the WSL file system.