On 32-bit ARM Fedora's %{configure} macro forces:
./configure ... --host=armv7hl-redhat-linux-gnu ...
On the same host, config.guess prints:
armv7l-unknown-linux-gnueabihf
The OCaml configure script tests for:
AS_CASE([$host],
...
[armv7*-*-linux-gnueabihf],
[arch=arm; model=armv7; system=linux_eabihf],
...
[armv7*-*-linux-gnueabi],
[arch=arm; model=armv7; system=linux_eabi],
As a result it works if $host contains the GNU string, but fails on
the forced Fedora host string.
Who's right here? Also can I change what Fedora's %{configure} macro
sets --host to by modifying only the spec file?
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/