(Previously and briefly discussed on this list: https://lists.fedoraproject.org/archives/list/devel@xxxxxxxxxxxxxxxxxxxxxxx/thread/2O4HBOK6PTQZAFAVIRDVMZGG2PYB2QHM/) 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/ _______________________________________________ devel mailing list -- devel@xxxxxxxxxxxxxxxxxxxxxxx To unsubscribe send an email to devel-leave@xxxxxxxxxxxxxxxxxxxxxxx Fedora Code of Conduct: https://docs.fedoraproject.org/en-US/project/code-of-conduct/ List Guidelines: https://fedoraproject.org/wiki/Mailing_list_guidelines List Archives: https://lists.fedoraproject.org/archives/list/devel@xxxxxxxxxxxxxxxxxxxxxxx
