Re: arm support for gprbuild

[Julian Leyh]

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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.fedoraproject.org/pipermail/ada/attachments/20140623/f5dc1ae1/attachment.html>