diff options
| author | letouzey | 2010-02-18 18:14:50 +0000 |
|---|---|---|
| committer | letouzey | 2010-02-18 18:14:50 +0000 |
| commit | c0511de2634363029307aa35a1f41539bae905d0 (patch) | |
| tree | 81318705af4df0dde90c813ded12f270f9f330ee /plugins/xml/doubleTypeInference.mli | |
| parent | a3e17da69f93f5df8b57964761bedb0ec3afe147 (diff) | |
Experimental build of coqtop.exe + plugins via cross-compilation linux-->win32
Ideally, just install the cross-compiler (mingw32-ocaml on debian)
and launch ./configure -local && ./build win32
For the moment, this needs some twicking of mingw32-ocaml, plus
a mingw32-camlp5 which is not yet distributed. If you want to play with
that, contact me...
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@12792 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'plugins/xml/doubleTypeInference.mli')
0 files changed, 0 insertions, 0 deletions