michael/lean2
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

doc(make/msys2): update instructions

Browse source
This commit is contained in:
Soonho Kong 2014-10-06 15:13:03 -07:00
parent 7eebefb3e9
commit 4350382b90
1 changed files with 14 additions and 8 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

22
doc/make/msys2.md
View file

@ -19,9 +19,6 @@ It has a package management system, [pacman][pacman], which is used in Arch Linu
Here are the commands to install all dependencies needed to compile Lean on your machine. Here are the commands to install all dependencies needed to compile Lean on your machine.
```bash ```bash
# Update Packages
pacman -Sy
# Install gcc (4.9.1) # Install gcc (4.9.1)
pacman -S mingw-w64-x86_64-gcc pacman -S mingw-w64-x86_64-gcc
@ -34,15 +31,22 @@ pacman -S mingw-w64-x86_64-python2 mingw-w64-x86_64-ninja mingw-w64-x86_64-cmake
# Install git # Install git
pacman -S git pacman -S git
``` ```
Make sure that you add `c:\msys64\mingw64\bin` into the `PATH` environment variable.
Close the msys2 shell and add `c:\msys64\mingw64\bin` into the `PATH`
environment variable.
- Windows 7/8: Control Panel > System and Security > System > Advanced
System Settings > Environment Variables... > Edit User variable
`Path`
## Build Lean ## Build Lean
We assume that you already check out Lean at `c:\lean` directory. In the [msys2] shell, In the [msys2] shell, execute the following commands.
execute the following commands.
```bash ```bash
cd /c/lean/ cd /c/
git clone https://github.com/leanprover/lean
cd lean
mkdir build && cd build mkdir build && cd build
cmake -D CMAKE_CXX_COMPILER=g++.exe -G Ninja ../src cmake -D CMAKE_CXX_COMPILER=g++.exe -G Ninja ../src
ninja ninja
@ -59,7 +63,9 @@ pacman -S mingw-w64-x86_64-boost
In the [msys2] shell, execute the following commands. In the [msys2] shell, execute the following commands.
```bash ```bash
cd /c/lean/ cd /c/
git clone https://github.com/leanprover/lean
cd lean
mkdir build && cd build mkdir build && cd build
cmake -D CMAKE_CXX_COMPILER=g++.exe -D BOOST=ON -G Ninja ../src cmake -D CMAKE_CXX_COMPILER=g++.exe -D BOOST=ON -G Ninja ../src
ninja ninja