coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: Christian Doczkal <doczkal AT ps.uni-saarland.de>
- To: Coq-Club <coq-club AT inria.fr>
- Subject: [Coq-Club] Coq+Ssreflect 1.3 on Windows?
- Date: Wed, 16 Mar 2011 17:02:09 +0100
Dear Coq and ssreflect users
I have compiled Coq+ssreflect for various Linux systems, but there are
also some Windows systems I would like to run ssreflect on.
Is there a binary version of ssreflect 1.3 that works together with the
current binary distribution for Windows? If not ...
I tried to compile things manually on Windows 7 (64bit) but camlp5
(6.02.2) fails to build (under cygwin) using the binary distribution of
the MinGW based Ocaml compiler (3.11.0).
Camlp5 builds fine on cygwins ocaml compiler (3.12.0) but the Coq build
fails in one of the later stages.
If someone managed to compile camlp5+Coq+ssreflect on Windows 7 (64bit),
I would be happy to know how and with which compilers (and versions).
I'm sorry that I cannot give the exact error messages right now, since I
don't have access to that machine at the moment.
Btw, is it possible to build the ssreflect plugin against the binary
distribution of Coq? I tried, got a missing grammar.cmx(?) file, and
assumed no.
I'm posting here as none of the build failures are caused by ssreflect.
--
Regards
Christian
- [Coq-Club] Coq+Ssreflect 1.3 on Windows?, Christian Doczkal
- Re: [Coq-Club] Coq+Ssreflect 1.3 on Windows?, Jean-Marc Notin
- <Possible follow-ups>
- Re: [Coq-Club] Coq+Ssreflect 1.3 on Windows?, Daniel de Rauglaudre
Archive powered by MhonArc 2.6.16.