From mboxrd@z Thu Jan 1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on
ip-172-31-91-241.ec2.internal
X-Spam-Level:
X-Spam-Status: No, score=-1.0 required=3.0 tests=FREEMAIL_FROM,NICE_REPLY_A
autolearn=ham autolearn_force=no version=3.4.6
Path: eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: Blady
Newsgroups: comp.lang.ada
Subject: Re: Where to report bugs in gnatpp?
Date: Wed, 27 Sep 2023 21:26:54 +0200
Organization: A noiseless patient Spider
Message-ID:
References:
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Wed, 27 Sep 2023 19:26:55 -0000 (UTC)
Injection-Info: dont-email.me; posting-host="7b664bca1c4cf6b19fe9c9a73e2860f2";
logging-data="3419725"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX185dRb7S0zcEdbtmoQs/FsX"
User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.15; rv:102.0)
Gecko/20100101 Thunderbird/102.15.1
Cancel-Lock: sha1:VcbuvrvOuHugDbXkXp0Jj7HMRIg=
In-Reply-To:
Content-Language: fr, en-US
Xref: news.eternal-september.org comp.lang.ada:65736
List-Id:
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.