From 6616f661f92eac2dfd953c338df5e7267f680728 Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Wed, 16 Nov 2016 15:57:19 -0800 Subject: [PATCH] chore(doc/make/msys2): Remove Lua from installation instructions --- doc/make/msys2.md | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/doc/make/msys2.md b/doc/make/msys2.md index 3b385ba831..aad9f5edc6 100644 --- a/doc/make/msys2.md +++ b/doc/make/msys2.md @@ -11,9 +11,9 @@ It is easy to install all dependencies, it produces native ## Installing dependencies -Lean requires Python2 or Python3. If you do not have a Python installation on your machine, +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 +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. @@ -28,7 +28,7 @@ Here are the commands to install all dependencies needed to compile Lean on your 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 +pacman -S mingw-w64-x86_64-mpfr mingw-w64-x86_64-gmp # Install ninja, cmake pacman -S mingw-w64-x86_64-ninja mingw-w64-x86_64-cmake