From d200cb6510344e4b66918b3df9d270f749174dad Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Sat, 10 Aug 2013 14:32:42 -0700 Subject: [PATCH] Add instructions for cygwin Signed-off-by: Leonardo de Moura --- README.md | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/README.md b/README.md index 6132464c5..344193709 100644 --- a/README.md +++ b/README.md @@ -78,6 +78,11 @@ Instructions for installing clang-3.3 (C++11 compatible) on OS X 10.8 $ brew install llvm --with-clang --with-asan +Install Packages on Cygwin +-------------------------- +Just run cygwin setup.exe (http://cygwin.com/install.html) and make sure that you have installed g++ 4.8.1 (or greater), cmake, gmp and libmpfr. +We have tested Lean using Cygwin for 64-bit versions of Windows. + Build Instructions ==================