diff options
| author | letouzey | 2010-02-24 19:30:09 +0000 |
|---|---|---|
| committer | letouzey | 2010-02-24 19:30:09 +0000 |
| commit | 043532049cf272fd870294265707febc68d1e6a5 (patch) | |
| tree | 5f99e3c01aa0d8b982361146ca2cd04c9c5ea963 /plugins/syntax/string_syntax_plugin.mllib | |
| parent | d7534f6f3c52eb2c1fdb91bbfa49a818f771fbb8 (diff) | |
Win32 cross-compilation from debian: build of coqide.exe and other binaries
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
Diffstat (limited to 'plugins/syntax/string_syntax_plugin.mllib')
0 files changed, 0 insertions, 0 deletions