On 5/6/2021 8:22 AM, David Allsopp via Cygwin wrote:
> I fixed the underlying problem in OCaml 4.12, but I haven't had time to
propose
> adopting the Cygwin packages yet - I'm hoping to over the next few months.
>
> The short-term workaround is either to use Cygwin32 or to install the opam,
Marco Atzeri wrote:
> On 06.05.2021 02:56, Eliot Moss wrote:
> > 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
On 06.05.2021 02:56, Eliot Moss wrote:
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
3 matches
Mail list logo
