armv7hl-redhat-linux-gnu as target in configure option and all packages built with gprbuild are FTBFS as the result [1]. I'm not able to debug it using qemu because both rpmbuild and mock use "right" target *-linux-gnueabi and gprbuild can handle it without any problems.
So Why does koji replace the target and is it expected to have different targets on build and "target" systems? Google said me at least Asterisk developers were complained about that.
--
Pavel
[1] https://bugzilla.redhat.com/showdependencytree.cgi?id=1109392