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/
_______________________________________________
devel mailing list -- devel@lists.fedoraproject.org
To unsubscribe send an email to devel-le...@lists.fedoraproject.org
Fedora Code of Conduct: https://getfedora.org/code-of-conduct.html
List Guidelines: https://fedoraproject.org/wiki/Mailing_list_guidelines
List Archives: 
https://lists.fedoraproject.org/archives/list/devel@lists.fedoraproject.org

Reply via email to