Gentoo Project

Ada

Bug Reports

• dev-lang/spark-2017: gnatprove ignores -aP option

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

  815523 - Assigned to Gentoo Linux ADA 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-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/gtkada-23.0.0-r2 - gprbuild: .../tools.gpr processing failed

  910205 - Assigned to Gentoo Linux ADA team
• dev-lang/gnat-gpl-2021-r5 installs libtool files (.la) without corresponding static libraries

  923312 - Assigned to Gentoo Linux ADA team
• dev-lang/gnat-gpl-2021-r4 fails to compile: collect2: error: ld returned 1 exit status

  924243 - Assigned to Gentoo Linux ADA team
• dev-ada/e3-testsuite-26.0 fails tests on x86: FAILED test_adacore.py::test_timeout - AssertionError

  925074 - Assigned to Gentoo Linux ADA team
• dev-lang/gnat-gpl-2021-r5 - /.../mount.h: error: redefinition of struct mount_attr

  930975 - Assigned to Gentoo Linux ADA team
• dev-lang/gnat-gpl-2021-r5 - [ncurses-6.5] [meson-9999] [icu-75.1] checking whether objcopy supports debuglink... objcopy: .../ cannot fill debug link section x: No such file or directory

  938150 - Assigned to Gentoo Linux ADA team
• dev-lang/ada-bootstrap: provide newer binaries (possibly our own)

  940472 - Assigned to Gentoo Linux ADA team
• dev-lang/ada-bootstrap-0_p2021-r1 calls ar directly

  940583 - Assigned to Gentoo Linux ADA team
• dev-lang/ada-bootstrap-0_p2021-r1 fails to compile: gcc: error: unrecognized command line option -fno-diagnostics-color/var/tmp/portage/dev-lang/ada-bootstrap-0_p2021-r1/work/gnat-gpl-2014-x86_64-linux-bin/bin/gcc -c -O2 -fno-strict-aliasing -O2 -march=x

  940601 - Assigned to Gentoo Linux ADA team

Stabilization Bug Reports

• dev-ada/e3-testsuite-26.0: stablereq

  932937 - Assigned to Gentoo Linux ADA team
• dev-ada/gnatcoll-bindings-24.0.0: stablereq

  932938 - Assigned to Gentoo Linux ADA team