(Previously and briefly discussed on this list:
https://lists.fedoraproject.org/archives/list/devel@lists.fedoraproject.o...)
In:
https://github.com/ocaml/ocaml/pull/9435
Especially the second comment onwards, claims that the host triple
that our %configure script supplies on armv7 is wrong. It's certainly
different from Debian, and as that's what the upstream developers use
they don't want to change their configure script to recognize our host
triple.
Note that they are using a custom configure script, it's not generated
by autoconf.
Anyway I don't especially know (even less care) who's right or wrong
here, so I'm just pointing this out. We will probably carry Olaf's
patch downstream instead.
Rich.
--
Richard Jones, Virtualization Group, Red Hat
http://people.redhat.com/~rjones
Read my programming and virtualization blog:
http://rwmj.wordpress.com
virt-df lists disk usage of guests without needing to install any
software inside the virtual machine. Supports Linux and Windows.
http://people.redhat.com/~rjones/virt-df/