From: Eliot Moss <moss@cs.umass.edu>
To: David Allsopp <David.Allsopp@cl.cam.ac.uk>,
"cygwin@cygwin.com" <cygwin@cygwin.com>
Subject: Re: Building Coq in Cygwin
Date: Thu, 6 May 2021 10:00:26 -0400 [thread overview]
Message-ID: <9a0f5141-e1c9-efa7-0e59-3107d44390f4@cs.umass.edu> (raw)
In-Reply-To: <af76b61e3ad9472ca51e7706bf8e579e@metastack.com>
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, libgmp-devel and
> flexdll 0.39 packages and run:
>
> opam init
> opam switch -y create coq ocaml-base-compiler.4.12.0
> # This takes a looong time, especially the "make install" step
> opam install -y coq
> eval $(opam env)
> coqtop
> Quit.
>
> (NB flexdll 0.39 must be selected manually or using the new flexdll=0.39-1 syntax on the command
line,
> as I've left it marked test until ocaml 4.12 is packaged)
Thank you, David, that worked great! I was able then to go on and process a
Coq library I was interested in, and it went through with no problems. I
appreciate the help!
Best wishes - Eliot
prev parent reply other threads:[~2021-05-06 14:00 UTC|newest]
Thread overview: 4+ messages / expand[flat|nested] mbox.gz Atom feed top
2021-05-06 0:56 Eliot Moss
2021-05-06 3:37 ` Marco Atzeri
2021-05-06 12:22 ` David Allsopp
2021-05-06 14:00 ` Eliot Moss [this message]
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=9a0f5141-e1c9-efa7-0e59-3107d44390f4@cs.umass.edu \
--to=moss@cs.umass.edu \
--cc=David.Allsopp@cl.cam.ac.uk \
--cc=cygwin@cygwin.com \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).