info
Google Groups no longer supports new Usenet posts or subscriptions. Historical content remains viewable.
Dismiss
Groups keyboard shortcuts have been updated
Dismiss
See shortcuts
Where to report bugs in gnatpp?
53 views
Skip to first unread message
richardthiebaud
Sep 26, 2023, 7:33:03 PM9/26/23
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 AM9/27/23
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 PM9/27/23
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.
0 new messages