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

doc(make/msys2.md): remove msys2's Python, add how to install native one

Browse source 
[skip ci]
This commit is contained in:
Soonho Kong 2015-05-12 13:03:51 -04:00
parent 22a0e80ae8
commit 651345a89b
1 changed files with 8 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

11
doc/make/msys2.md
View file

@ -11,7 +11,12 @@ It is easy to install all dependencies, it produces native
## Installing dependencies
[The official webpage][msys2] provides one-click installers.
Lean requires Python2 or Python3. If you do not have a Python installation on your machine,
please download and install one from [Python.org](https://www.python.org/downloads/windows).
Also please make sure that your `PATH` environment variable includes the installed
Python directory (i.e. `C:\Python27`).
[The official webpage of msys2][msys2] provides one-click installers.
We assume that you install [msys2][msys2] at `c:\msys64`.
Once installed it, you can run msys2 shell from the start menu.
It has a package management system, [pacman][pacman], which is used in Arch Linux.
@ -25,8 +30,8 @@ pacman -S mingw-w64-x86_64-gcc
# Install mpfr, gmp, lua
pacman -S mingw-w64-x86_64-mpfr mingw-w64-x86_64-gmp mingw-w64-x86_64-lua
# Install python, ninja, cmake
pacman -S mingw-w64-x86_64-python2 mingw-w64-x86_64-ninja mingw-w64-x86_64-cmake
# Install ninja, cmake
pacman -S mingw-w64-x86_64-ninja mingw-w64-x86_64-cmake
# Install git
pacman -S git