Folks - Before I try to Coq mailing lists, I am wondering if anyone here has had success building
Coq under Cygwin. I've tried the dune and the make approaches, and both fail,
in different ways, but seemingly because some components can't deal with the
uniquenesses
of Cygwin - though they seem to try to provide for it.
Regards - Eliot
--
Problem reports: https://cygwin.com/problems.html
FAQ: https://cygwin.com/faq/
Documentation: https://cygwin.com/docs.html
Unsubscribe info: https://cygwin.com/ml/#unsubscribe-simple
