arm support for gprbuild
Pavel Zhukov
pavel at zhukoff.net
Mon Jun 23 19:28:08 UTC 2014
Hi all,
As you probably know gprbuild is broken in Fedora'ARM.
It happened because (for some reasons) koji uses
--target=armv7hl-redhat-linux-gnu for gprbuild configuration but
gprbuild expects armv7hl-redhat-linux-gnueabi ("gcc -dumpmachine"'s
output).
I sent email to @devel and @arm and response was like "Gcc and mock do
wrong things but we use that we want for consistency" [1].
I'd not like to hardcore target somewhere or use dirty "sed tricks" to
workaround that configuration.
So... I need help :(
Any ideas/suggestions?
--
Pavel
[1] https://lists.fedoraproject.org/pipermail/devel/2014-June/200040.html
More information about the Ada
mailing list