internal error: raised GNATDOC.NOT_IMPLEMENTED

[bracke]

If I run gnatdoc on the pragmarc project (as fetched from Alire) I get the following error:

compile_all.adb:82:1: internal error: raised GNATDOC.NOT_IMPLEMENTED : at gnatdoc-frontend.adb:2177 <SubpBody ["Compile_All"] compile_all.adb:82:1-86:17> not supported

All other files work just fine and the documentation is generated including one for compile_all.

gnatdoc is invoked like this:

alr exec -- gnatdoc --style=gnat -P pragmarc.gpr

The compile all code is not needed but it should not crash gnatdoc.

[godunko]

Does source code is available as Alire crate?

[bracke]

Yes:

https://alire.ada.dev/crates/pragmarc