coq/coq-win32.itarget, branch master The formal proof system Officially discontinue the experimental coq build via ocamlbuild 2016-06-08T12:32:56+00:00 Pierre Letouzey 2016-06-01T23:22:41+00:00 1d6d0060330197896748739a625d0b1c7f083da2 It has been accidentaly broken since early 2014 (and especially in 8.5), no easy repair, I won't devote any more hours to this stuff. Moreover no one seems to care apart from Emilio, but he's ok to work on this in a separate repository or branch. I left a dev/doc/ocamlbuild.txt file with a few words about this experiment. 
 It has been accidentaly broken since early 2014 (and especially
 in 8.5), no easy repair, I won't devote any more hours to this stuff.
 Moreover no one seems to care apart from Emilio, but he's ok to work
 on this in a separate repository or branch.
 I left a dev/doc/ocamlbuild.txt file with a few words about this
 experiment.
Win32 cross-compilation from debian: build of coqide.exe and other binaries 2010-02-24T19:30:09+00:00 letouzey 2010-02-24T19:30:09+00:00 043532049cf272fd870294265707febc68d1e6a5 Details will follow. In a word, we use a gtk+ win32 bundle from gtk.org to build some (unofficial) mingw32-liblablgtk2 debian packages. Then ./configure -local && ./build win32 is enough to get all native win32 binaries and plugin cmxs from a confortable linux box. Next step: an auto-installer :-) git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@12804 85f007b7-540e-0410-9357-904b9bb8a0f7 
 Details will follow. In a word, we use a gtk+ win32 bundle from gtk.org
 to build some (unofficial) mingw32-liblablgtk2 debian packages. Then
  ./configure -local && ./build win32
 is enough to get all native win32 binaries and plugin cmxs from
 a confortable linux box.

 Next step: an auto-installer :-)

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@12804 85f007b7-540e-0410-9357-904b9bb8a0f7