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/pluginsdyn.itarget | |
| 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/pluginsdyn.itarget')
| -rw-r--r-- | plugins/pluginsdyn.itarget | 23 |
1 files changed, 23 insertions, 0 deletions
diff --git a/plugins/pluginsdyn.itarget b/plugins/pluginsdyn.itarget new file mode 100644 index 0000000000..f44121ee4a --- /dev/null +++ b/plugins/pluginsdyn.itarget @@ -0,0 +1,23 @@ +field/field_plugin.cmxs +setoid_ring/newring_plugin.cmxs +extraction/extraction_plugin.cmxs +firstorder/ground_plugin.cmxs +rtauto/rtauto_plugin.cmxs +fourier/fourier_plugin.cmxs +romega/romega_plugin.cmxs +omega/omega_plugin.cmxs +micromega/micromega_plugin.cmxs +dp/dp_plugin.cmxs +xml/xml_plugin.cmxs +subtac/subtac_plugin.cmxs +ring/ring_plugin.cmxs +cc/cc_plugin.cmxs +groebner/groebner_plugin.cmxs +funind/recdef_plugin.cmxs +syntax/ascii_syntax_plugin.cmxs +syntax/nat_syntax_plugin.cmxs +syntax/numbers_syntax_plugin.cmxs +syntax/r_syntax_plugin.cmxs +syntax/string_syntax_plugin.cmxs +syntax/z_syntax_plugin.cmxs +quote/quote_plugin.cmxs |