From fa7a527590a4bce006d662eb2a14f6a5569e0295 Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Mon, 20 Jul 2015 17:32:20 -0700 Subject: [PATCH] feat(doc/make/msys2): add emacs-dependencies --- doc/make/msys2.md | 3 +++ 1 file changed, 3 insertions(+) diff --git a/doc/make/msys2.md b/doc/make/msys2.md index 3b978c13b..3b385ba83 100644 --- a/doc/make/msys2.md +++ b/doc/make/msys2.md @@ -51,6 +51,9 @@ In the [msys2] shell, execute the following commands. ```bash cd /c/ git clone https://github.com/leanprover/lean +git clone http://github.com/leanprover/emacs-dependencies +mkdir -p lean/src/emacs/dependencies +cp -R emacs-dependencies/* lean/src/emacs/dependencies cd lean mkdir build && cd build cmake -D CMAKE_CXX_COMPILER=g++.exe -G Ninja ../src