arm support for gprbuild

[Pavel Zhukov]

Hi Julian,

Thank you for quick reply. Yes, I saw your patch.
But you hardcoded armv7hl-redhat-linux-gnueabi as well. let's imagine  
if ARM team change armv7 to armv9 or so...

--
Pavel

Quoting Julian Leyh <julian at vgai.de>:

> Hi Pavel,
>
>
> in my templates_parser package, I added a patch to modify the  
> Makefile and add the --target parameter to gprbuild. Have a look at  
> lines 25-28 of  
> http://pkgs.fedoraproject.org/cgit/templates_parser.git/tree/templates_parser-makefile.patch
>
>
> If anybody knows a better way, please tell.
>
>
> Thanks,
>
> Julian
>
>
>
>
>
>
> Von: Pavel Zhukov
> Gesendet: ‎Montag‎, ‎23‎. ‎Juni‎ ‎2014 ‎21‎:‎28
> An: ada at lists.fedoraproject.org
> Cc: landgraf at fedoraproject.org
>
>
>
>
>
>
> 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
>
> _______________________________________________
> Fedora Ada mailing list
> Ada at lists.fedoraproject.org
> https://admin.fedoraproject.org/mailman/listinfo/ada