* Where to report bugs in gnatpp?
@ 2023-09-26 23:32 richardthiebaud
2023-09-27 5:11 ` G.B.
2023-09-27 19:26 ` Blady
0 siblings, 2 replies; 3+ messages in thread
From: richardthiebaud @ 2023-09-26 23:32 UTC (permalink / raw)
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.
^ permalink raw reply [flat|nested] 3+ messages in thread
* Re: Where to report bugs in gnatpp?
2023-09-26 23:32 Where to report bugs in gnatpp? richardthiebaud
@ 2023-09-27 5:11 ` G.B.
2023-09-27 19:26 ` Blady
1 sibling, 0 replies; 3+ messages in thread
From: G.B. @ 2023-09-27 5:11 UTC (permalink / raw)
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...
$
^ permalink raw reply [flat|nested] 3+ messages in thread
* Re: Where to report bugs in gnatpp?
2023-09-26 23:32 Where to report bugs in gnatpp? richardthiebaud
2023-09-27 5:11 ` G.B.
@ 2023-09-27 19:26 ` Blady
1 sibling, 0 replies; 3+ messages in thread
From: Blady @ 2023-09-27 19:26 UTC (permalink / raw)
Le 27/09/2023 à 01:32, richardthiebaud a écrit :
> 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.
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.
^ permalink raw reply [flat|nested] 3+ messages in thread
end of thread, other threads:[~2023-09-27 19:26 UTC | newest]
Thread overview: 3+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2023-09-26 23:32 Where to report bugs in gnatpp? richardthiebaud
2023-09-27 5:11 ` G.B.
2023-09-27 19:26 ` Blady
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox