Update gprbuild to new 2011 release
Created attachment 566403 [details] changes to the spec I think GPRbuild can be upgraded now. Version 2011 builds with GCC 4.7, and I've used it to successfully build Gnatcoll in Rawhide. Most of the patches didn't apply to GPRbuild 2011 unmodified. I updated gprbuild-destdir.patch and gprbuild-gnatflags.patch. Instead of updating gprbuild-shared.patch I set LIBRARY_TYPE to "relocatable" on the Make command line as shown in the README file. gprbuild-gccversion.patch and gprbuild-gcc46.patch seem to no longer be needed, so I dropped them. Naturally I added the usrmove patch. (See bug 797557.) I also deleted "Requires: xmlada". The automatic dependencies on libxmlada_*.so.4 should suffice. In F17 you have to either add "BUILD=production" to the Make command line or install fedora-gnat-project-common 3.4 from updates-testing. Otherwise the build will fail due to style checks being treated as errors.
Created attachment 566404 [details] updated patch
Created attachment 566405 [details] updated patch
Created attachment 566406 [details] resolve the link /bin → /usr/bin; GPRbuild 2011 version
Hi Björn Thank you very much. I'll fix these issues as soon as possible.
gprbuild-2011-3.fc17 has been submitted as an update for Fedora 17. https://admin.fedoraproject.org/updates/gprbuild-2011-3.fc17
Package gprbuild-2011-3.fc17: * should fix your issue, * was pushed to the Fedora 17 testing repository, * should be available at your local mirror within two days. Update it with: # su -c 'yum update --enablerepo=updates-testing gprbuild-2011-3.fc17' as soon as you are able to. Please go to the following url: https://admin.fedoraproject.org/updates/FEDORA-2012-2863/gprbuild-2011-3.fc17 then log in and leave karma (feedback).
gprbuild-2011-3.fc17 has been pushed to the Fedora 17 stable repository. If problems still persist, please make note of it in this bug report.