Google Groups no longer supports new Usenet posts or subscriptions. Historical content remains viewable.
Dismiss

Where to report bugs in gnatpp?

47 views
Skip to first unread message

richardthiebaud

unread,
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.

G.B.

unread,
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
it outputs has this:

Report bugs to...
$


Blady

unread,
Sep 27, 2023, 3:26:58 PM9/27/23
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.


0 new messages