Skip to Content.
Sympa Menu

coq-club - [Coq-Club] experimental windows package of coq 8.3 beta

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] experimental windows package of coq 8.3 beta


chronological Thread 
  • From: Pierre Letouzey <Pierre.Letouzey AT pps.jussieu.fr>
  • To: coq-club AT inria.fr
  • Subject: [Coq-Club] experimental windows package of coq 8.3 beta
  • Date: Mon, 15 Mar 2010 18:17:09 +0100


Hi all!

I'm glad to annonce the availability of an experimental windows
package for Coq 8.3 beta: the auto-installer can be found at [1].

Please note that the content of this package does not exactly
correspond to the official source 8.3-beta0 package available at [2].
Instead, it is based on the revision 12866 of the svn 8.3 branch,
adding some more patches, in particular some concerning the windows
build infrastructure. The differences between this and 8.3-beta0
should be fairly minor.

Apart from this being a pre-version of coq 8.3, I should also stress
that this binary package itself is quite experimental. It has been
build via a quite new approach: no windows system used, but rather a
debian linux system running a mingw32 cross-compilation toolchain.
Even if the obtained binaries seem to work fine on basic tests, I'd be
glad to hear feedbacks about this package, either positive or negative
ones. If everything goes well, it might become the standard way of
building windows packages in the future. But for the moment, this is
only an experiment of mine, with _no_ official support from the coq
dev team. So please be warned:

                    *** DISCLAIMER ***
 this package comes with absolutely no warranty, use at your own risk.

It incorporates third-party binaries (gtk, gnu) whose corresponding
sources can be obtained on the respective websites. People interested
in this cross-compilation methodology will find in [3] the scripts I
used for the build. As an interesting consequence, it should be quite
doable to recreate a build enviromnent compatible with this package,
allowing one to start compiling plugins. A debian with the same
mingw32-ocaml package (currently 3.11.2+debian4) should be a good
starting point (see for instance the DEBOOTSTRAP file in [3]).

Best regards, 
Pierre Letouzey

[1] 
https://transfert.inria.fr/fichiers/5fcd0de89d1670479a9ba947fa426cd1/coq-installer-8.3-svn-r12866.exe
[2] http://coq.inria.fr/coq-83-beta-version
[3] 
https://transfert.inria.fr/fichiers/457488e0252c261564108500ebcaf0b9/coq-debian-mingw32-buildscripts.tgz



Archive powered by MhonArc 2.6.16.

Top of Page