Re: transition to gcc/gnat-11
Hello.
Some news about the transition to gcc-11.
Most Ada packages are currently removed from testing because of
#995578 (libxmlada build-depends on unicode-data (< 14~) but
testing/unstable has 14.0.0-1). The fix is trivial but would require
a libxmlada transition, so it will be part of the libgnat transition
instead.
Most Ada packages are ready for the transition to gcc-11 in
experimental.
These packages are not in experimental yet but are usually trivial:
* adacgi adasockets alog (pending patches)
* plplot (only depends on libgnat)
* ada-reference-manual topal whitakers-words (only need a binary rebuild in unstable).
ghdl breaks the Ada policy by directly requesting a versioned gnat-10,
but has good reasons to do so. It can be ignored for our purpose
because it does not depend on libgnat (directly).
libgnatcoll-python is specific to Debian. It has been created as a
separate source package from libgnatcoll-bindings so that the other
components can reach testing despite the python component being stuck
with python2. It will be removed once libgnatcoll-bindings and
gnat-gps have been updated for python3.
Bad news now.
AdaCore does not distribute ASIS anymore since 2020.
This breaks adabrowse and adacontrol (libaws and gnat-gps have migrated to langkit).
According to https://www.adalog.fr/en/adacontrol.html#download,
asis-tool may be a possible successor.
AdaCore has removed libgnat-util from gcc-11, so it is now impossible
to build ASIS 2019 with gcc-11.
It is possible to build ASIS/2019 with gnat-10, producing a
non-compliant library, just sufficient for the build of adacontrol.
This does not require too much work, but only postpones the issue to
the end of life of gcc-10.
Ideally, asis-tools should be packaged, then adacontrol and adabrowse
built against it. I have no idea how much work this represents, but
to do this cleanly probably implies reintroducing a Debian-specific
libgnat-util, with non-trivial work every year.
Considering the available energy, it seems wise to migrate other
packages to gcc-11/12 before investigating these solutions.
Some other packages are also in need for love.
* gnat-gps requires ada_language_server (not packaged yet)
* gnat-gps and libaws require adalang (not packaged yet)
* adalang requires langkit (not fully packaged yet, please contact me if
you want to work on this)
* langkit may optionally use e3_core and e3_tests if someone is
motivated to package these python packages.
Reply to: