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,
lib
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 some
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 un
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
4 matches
Mail list logo
