sdgoij/lean4
1
0
Fork 0
mirror of https://github.com/leanprover/lean4.git synced 2026-03-17 18:34:06 +00:00
Code Issues Packages Projects Releases Wiki Activity

doc: correct msys2 build instructions

Browse Source
This commit is contained in:
mhuisi
2020-08-25 15:57:07 +02:00
committed by Sebastian Ullrich
parent e5b7daf9c2
commit 21d176c1ea
2 changed files with 6 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
doc/make/index.md
View File

@@ -21,7 +21,7 @@ Setting up a basic release build:
```bash
git clone https://github.com/leanprover/lean4
cd lean
cd lean4
mkdir -p build/release
cd build/release
cmake ../..
@@ -32,7 +32,7 @@ Setting up a basic debug build:
```bash
git clone https://github.com/leanprover/lean4
cd lean
cd lean4
mkdir -p build/debug
cd build/debug
cmake -D CMAKE_BUILD_TYPE=DEBUG ../..

7
doc/make/msys2.md
View File

@@ -13,16 +13,17 @@ It is easy to install all dependencies, it produces native
[The official webpage of msys2][msys2] provides one-click installers.
Once installed it, you should run the "MSYS2 MinGW 64-bit shell" from the start menu.
It has a package management system, [pacman][pacman], which is used in Arch Linux.
Do not run "MSYS2 MSYS" instead!
MSYS2 MinGW has a package management system, [pacman][pacman], which is used in Arch Linux.
Here are the commands to install all dependencies needed to compile Lean on your machine.
```bash
pacman -S make python mingw-w64-x86_64-cmake mingw-w64-x86_64-ccache git
pacman -S make python mingw-w64-x86_64-cmake mingw-w64-x86_64-ccache mingw-w64-x86_64-clang git
```
Then follow the [generic build instructions](index.md) in the [msys2] shell, using
`-G "Unix Makefiles"` as the generator. This ensures that cmake will call `sh` instead
`cmake ../.. -G "Unix Makefiles"` instead of `cmake ../..`. This ensures that cmake will call `sh` instead
of `cmd.exe` for script tasks.
## Install lean