Gentoo Project

Ada

Bug Reports

• dev-lang/gnat-gpl Ada compilers: enabling ACATS tests

  133140 - Assigned to Gentoo Linux ADA team
• dev-lang/spark-2017: gnatprove ignores -aP option

  659724 - Assigned to Gentoo Linux ADA team
• dev-lang/gnat-gpl-2021-r4 does not respect LDFLAGS

  815523 - Assigned to Gentoo Linux ADA team
• dev-lang/gnat-gpl-2021-r4 - /.../environment:line <snip>: .../gcc: No such file or directory

  829178 - Assigned to Gentoo musl team
• dev-lang/spark-2021 leaks CFLAGS into ada (warning: command-line option ‘-Wimplicit-function-declaration’ is valid for C/ObjC but not for Ada)

  836784 - Assigned to Gentoo Linux ADA team
• dev-ada/ada_language_server-22.0.0 does not respect LDFLAGS

  882451 - Assigned to Gentoo Linux ADA team
• dev-ada/libadalang-23.0.0-r2 does not respect LDFLAGS

  882453 - Assigned to Gentoo Linux ADA team
• dev-ada/libadalang-tools-23.0.0-r1 does not respect LDFLAGS

  882455 - Assigned to Gentoo Linux ADA team
• dev-lang/spark-2021 does not respect LDFLAGS

  883387 - Assigned to Gentoo Linux ADA team
• dev-lang/gnat-gpl-2021-r4 installs less files with clang stricter

  883587 - Assigned to Gentoo Linux ADA team
• dev-ada/langkit-23.0.0-r1 fails tests: printers.py:42: error: Item "None" of "Optional[List[SubPrettyPrinter]]" has no attribute "append" [union-attr]

  897764 - Assigned to Gentoo Linux ADA team
• dev-ada/gpr-23.0.0-r5 installs files that contain writable and executable sections

  902533 - Assigned to Gentoo Linux ADA team
• dev-lang/gnat-gpl-2021-r4 - /.../install: cannot stat gnatdll: No such file or directory

  909083 - Assigned to Gentoo Linux ADA team
• dev-ada/langkit: needs to use PEP517 build (DistutilsNonPEP517Build)

  909904 - Assigned to Gentoo Linux ADA team
• dev-ada/gtkada-23.0.0-r2 - gprbuild: .../tools.gpr processing failed

  910205 - Assigned to Gentoo Linux ADA team
• dev-lang/gnat-gpl-2021-r4 has implicit function declarations in configure logs (PYTHON-3.12-SYSTEM)

  911515 - Assigned to Gentoo Linux ADA team