arm support for gprbuild

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