Gnatcoll 2017 can no longer be built in Fedora 30 because of API changes
in libgpr. An upgrade to Gnatcoll 2018 is necessary, but has the
complication that Gnatcoll has been split into three separate libraries.
I think the best way forward is to make three new source packages –
gnatcoll-core, gnatcoll-bindings and gnatcoll-db – and turn the current
gnatcoll package into a metapackage that pulls in the three new ones to
make upgrades smooth. After a few releases I think we can retire the
As a start I have a gnatcoll-core review request here:
I'm not yet sure about the directory layout. I may find that I need to
move some files when I make the other packages.
I'm trying to rebuild ada packages with gcc and seems like this time
armv7hl is broken.
Initially it was a problem with gprinstall code which was crashing on exit
from exception handler (https://gcc.gnu.org/bugzilla/show_bug.cgi?id=89493).
After spending ~1 week on debugging we gave up and I have worked this
around by getting rid of Name_Error but now matreshka is failed with
I'm going to drop armv7hl from the list of gprbuild_arches untill bug is
fixed because it can take years.