Where to report bugs in gnatpp?

42 views
Skip to first unread message

richardthiebaud

unread,
Sep 26, 2023, 7:33:03 PMSep 26
to
I have a bug with gnatpp which prevents is starting. Where should I
report this? I tried to report it on Gnu's bug system but they said it
is not their program.

G.B.

unread,
Sep 27, 2023, 1:11:44 AMSep 27
to
On 27.09.23 01:32, richardthiebaud wrote:
> I have a bug with gnatpp which prevents is starting. Where should I report this? I tried to report it on Gnu's bug system but they said it is not their program.

When I invoke mine with option --help, then the last line
it outputs has this:

Report bugs to...
$


Blady

unread,
Sep 27, 2023, 3:26:58 PMSep 27
to
Hello,

GNATPP is part of LibAdaLang Tools available on GitHub:
https://github.com/AdaCore/libadalang-tools

Post your issue there: https://github.com/AdaCore/libadalang-tools/issues

HTH, Pascal.


Reply all
Reply to author
Forward
0 new messages