max/lean4-htt
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 2

chore(doc/make/cygwin): we do not support cygwin anymore (only MSYS2)

Browse source
This commit is contained in:
Leonardo de Moura 2016-12-23 10:01:08 -08:00
parent 61c9fdd908
commit b3ef489b9a
1 changed files with 0 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
doc/make/cygwin.md
View file

@ -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.