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@xxxxxxxxxxxxxxxxxxxxxxx To unsubscribe send an email to devel-leave@xxxxxxxxxxxxxxxxxxxxxxx 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@xxxxxxxxxxxxxxxxxxxxxxx