Where to report bugs in gnatpp?
42 views
Skip to first unread message
richardthiebaud
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.
report this? I tried to report it on Gnu's bug system but they said it
is not their program.
G.B.
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
> 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.
it outputs has this:
Report bugs to...
$
Blady
Sep 27, 2023, 3:26:58 PMSep 27
to
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