From b3ef489b9a25a2b8ea140331a1e2341c64307a5b Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Fri, 23 Dec 2016 10:01:08 -0800 Subject: [PATCH] chore(doc/make/cygwin): we do not support cygwin anymore (only MSYS2) --- doc/make/cygwin.md | 4 ---- 1 file changed, 4 deletions(-) delete mode 100644 doc/make/cygwin.md diff --git a/doc/make/cygwin.md b/doc/make/cygwin.md deleted file mode 100644 index 008ae47c9a..0000000000 --- a/doc/make/cygwin.md +++ /dev/null @@ -1,4 +0,0 @@ -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.