The Coq mailing list

[Pierre Letouzey <pierre.letouzey AT inria.fr>]

----- Mail original -----
> Hello
> I have checked out the files from theh svn repo in order to use the
> development version on Windows 7.
> 
> In the readme it says, "Alternatively, it is now possible (and even
> recommended ...) to build Windows executables of coq from Linux thanks to a
> mingw cross-compiler. If interested, please contact us for more details."
> Could I please have these details?
> 
>  - Chris Chak
> 

Hi

I've clean-up a bit the cross-compiling scripts I'm using to create the
Coq 8.4 packages for win32. It's now in a public repository : 

 https://github.com/letouzey/coq-debian-mingw32

More information in the README... It's still quite rough, and will probably
only work on the exact same combination I'm using here (debian squeeze +
amd64 + coq 8.4 branch). In particular, note that compiling the current Coq
trunk won't work (at least not entirely), since coqide now depends on
gtksourceview, which isn't packaged yet for debian-mingw32. I plan to
do that soon, I'll keep you informed. At least coqtop should still compile...

Hope this help

Pierre Letouzey