Re: compiling coq with the ocaml mingw32 cross-compiler
by 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
14 years, 1 month
Non-disfunctional libjpeg upstream
by Richard W.M. Jones
http://sourceforge.net/projects/libjpeg-turbo/
libjpeg-turbo is a version of libjpeg which uses MMX, SSE, and SSE2
SIMD instructions to accelerate baseline JPEG compression/
decompression by about 2-4x on x86 and x86-64 platforms. It is based
on libjpeg/SIMD but has numerous enhancements.
I talked privately to Adam Tkac who is involved with this project, and
he is very interested in receiving any Windows / cross-compiler
patches that we may be carrying. This looks like a good project, and
hopefully at some point we (and Fedora) can switch over to using this
instead of vanilla libjpeg. There are obvious benefits for Windows
32-bit and 64-bit users.
Rich.
--
Richard Jones, Virtualization Group, Red Hat http://people.redhat.com/~rjones
virt-top is 'top' for virtual machines. Tiny program with many
powerful monitoring features, net stats, disk stats, logging, etc.
http://et.redhat.com/~rjones/virt-top
14 years, 1 month