compiling coq with the ocaml mingw32 cross-compiler

[Richard Jones]

On Mon, Feb 22, 2010 at 08:39:23PM -0600, Romain Beauxis wrote:
[...]

Just my 2c here ...

It would be great if Debian could push changes for cross-compilation
back upstream.  Perhaps this is something we will be able to discuss
at the OCaml Users Conference in April?

> Currently, the team is not willing to distribute any cross-compiled ocaml 
> module. However, this may still be discussed. It would be particularly 
> interesting if the cross-compiled modules could be built with a minimal 
> modification of the packaging structure.

In Fedora we maintain over 100 mingw32-* packages (not OCaml
specifically, but many C and C++ libraries), and there are often quite
a lot of changes from upstream and from the native package.  I'm
afraid that "minimal modification" is going to be very hard to
achieve.  Of course it's always something to aim towards, but maybe
not this decade :-(

> Yes, this can be an issue. In general, I recommend to set the PATH with the 
> cross-compiler binaries first:
>   export PATH=/usr/i586-mingw32msvc/bin:$PATH

Oooo, I don't like this at all.  This is not necessary for any Fedora
cross-compiled packages, so I'm not clear why it should be needed for
Debian ones.

Rich.

-- 
Richard Jones
Red Hat