Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!
Bug 800527 - please stabilize dev-lang/gnat-gpl-2021
Summary: please stabilize dev-lang/gnat-gpl-2021
Alias: None
Product: Gentoo Linux
Classification: Unclassified
Component: Stabilization (show other bugs)
Hardware: All Linux
: Normal normal (vote)
Assignee: Gentoo Linux ADA team
Depends on:
Reported: 2021-07-04 17:35 UTC by Tupone Alfredo
Modified: 2021-12-19 22:09 UTC (History)
1 user (show)

See Also:
Package list:
dev-lang/gnat-gpl-2020 amd64 x86 dev-lang/gnat-gpl-2021-r1 amd64 x86 dev-ada/gprbuild-2021-r1 amd64 x86 dev-ada/libgpr-2021 amd64 x86 dev-ada/gnatsymbolize-2021 amd64 x86 dev-ada/gnatmem-2021 amd64 x86 dev-ada/gnatcoll-core-2021-r1 amd64 x86 dev-ada/aunit-2021 amd64 x86 dev-ada/gnatcoll-bindings-2021 dev-ada/gtkada-2021 dev-ada/aws-2021 dev-ada/xmlada-2021-r1
Runtime testing required: ---
nattka: sanity-check+


Note You need to log in before you can comment on or make changes to this bug.
Description Tupone Alfredo gentoo-dev 2021-07-04 17:35:20 UTC
please stabilize dev-lang/gnat-gpl-2021 and dev-lang/gnat-gpl-2020 

and related packages

Reproducible: Always
Comment 1 NATTkA bot gentoo-dev 2021-07-04 17:44:21 UTC Comment hidden (obsolete)
Comment 2 NATTkA bot gentoo-dev 2021-07-04 18:08:22 UTC Comment hidden (obsolete)
Comment 3 NATTkA bot gentoo-dev 2021-07-04 20:28:21 UTC Comment hidden (obsolete)
Comment 4 Agostino Sarubbo gentoo-dev 2021-07-20 06:34:08 UTC
amd64 stable
Comment 5 Illia Demidoff 2021-07-20 08:38:48 UTC
dev-lang/gnat-gpl-2021 is not stable because it cannot be compiled.

/var/tmp/portage/dev-lang/gnat-gpl-2021/work/gcc-10-2021-20210519-19A74-src/libsanitizer/sanitizer_common/sanitizer_platform_limits_posix.cpp:133:10: fatal error: linux/cyclades.h: No such file or directory
  133 | #include <linux/cyclades.h>
      |          ^~~~~~~~~~~~~~~~~~
mv -f .deps/sanitizer_platform_limits_solaris.Tpo .deps/sanitizer_platform_limits_solaris.Plo
compilation terminated.

Probably related bug:
Comment 6 Larry the Git Cow gentoo-dev 2021-07-20 16:56:49 UTC
The bug has been referenced in the following commit(s):

commit e39c9de6d8c1f87cbbed0a4f4a83107f53e0a42e
Author:     Alfredo Tupone <>
AuthorDate: 2021-07-20 16:56:31 +0000
Commit:     Alfredo Tupone <>
CommitDate: 2021-07-20 16:56:31 +0000

    dev-lang/gnat-gpl: fix sanitizer old include
    Package-Manager: Portage-3.0.20, Repoman-3.0.2
    Signed-off-by: Alfredo Tupone <>

 dev-lang/gnat-gpl/Manifest                |   1 +
 dev-lang/gnat-gpl/gnat-gpl-2021-r1.ebuild | 133 ++++++++++++++++++++++++++++++
 2 files changed, 134 insertions(+)
Comment 7 NATTkA bot gentoo-dev 2021-11-25 08:16:53 UTC Comment hidden (obsolete)
Comment 8 NATTkA bot gentoo-dev 2021-11-25 20:20:54 UTC Comment hidden (obsolete)
Comment 9 NATTkA bot gentoo-dev 2021-11-26 17:48:41 UTC Comment hidden (obsolete)
Comment 10 NATTkA bot gentoo-dev 2021-11-26 18:04:42 UTC
All sanity-check issues have been resolved
Comment 11 Agostino Sarubbo gentoo-dev 2021-12-19 22:09:43 UTC
x86 stable. Closing.