Pavel Zhukov wrote:
I'm going to drop armv7hl from the list of gprbuild_arches untill
bug is
fixed because it can take years.
As long as GPRbuild can rebuild itself and XMLada, I think it will be
less work for you if you disable armv7hl only for those packages that
are broken by the compiler bug. Then you may not have to do the
bootstrap dance when the bug is fixed.
Björn