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-02 17:03:41 -07:00
parent f78d831de3
commit fd11b28d15
1 changed files with 6 additions and 6 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

12
doc/make/msys2.md
View file

@ -20,19 +20,19 @@ Here are the commands to install all dependencies needed to compile Lean on your
```bash
# Update Packages
pacman -Syu
pacman -Sy
# Install gcc (4.9.1)
pacman -Su mingw-w64-x86_64-gcc
pacman -S mingw-w64-x86_64-gcc
# Install mpfr, gmp, lua
pacman -Su mingw-w64-x86_64-mpfr mingw-w64-x86_64-gmp mingw-w64-x86_64-lua
pacman -S mingw-w64-x86_64-mpfr mingw-w64-x86_64-gmp mingw-w64-x86_64-lua
# Install python, ninja, gdb, cmake
pacman -Su python2 mingw-w64-x86_64-ninja mingw-w64-x86_64-gdb mingw-w64-x86_64-cmake
# Install python, ninja, cmake
pacman -S mingw-w64-x86_64-python2 mingw-w64-x86_64-ninja mingw-w64-x86_64-cmake
# Install git
pacman -Su git
pacman -S git
```
Make sure that you add `c:\msys64\mingw64\bin` into the `PATH` environment variable.