Peter Robinson <pbrobinson(a)gmail.com> wrote:
On Sat, May 2, 2015 at 10:13 PM, Björn Persson
<Bjorn(a)xn--rombobjrn-67a.se> wrote:
> OK, here we go:
> · one patch to Gnatcoll for GCC 5
> · one patch to Matreshka for GCC 5
> · another patch to build Matreshka in spite of bug 1151793
> · one fix to GPRbuild that is needed before Matreshka can be built
> · and a better workaround for the libgnat version issue that really
> should get in before the release.
All of those are now built, also fixed up rawhide too
Thanks for all your help. I don't yet see the fixed GPRbuild in Bodhi
though. Did you mean to submit that?
Björn Persson