Rocksolid Light

Welcome to RetroBBS

mail  files  register  newsreader  groups  login

Message-ID:  

The only person who always got his work done by Friday was Robinson Crusoe.


devel / comp.lang.ada / Where to report bugs in gnatpp?

SubjectAuthor
* Where to report bugs in gnatpp?richardthiebaud
+- Re: Where to report bugs in gnatpp?G.B.
`- Re: Where to report bugs in gnatpp?Blady

1
Where to report bugs in gnatpp?

<uevpnb$2nni9$1@dont-email.me>

  copy mid

https://www.rocksolidbbs.com/devel/article-flat.php?id=10134&group=comp.lang.ada#10134

  copy link   Newsgroups: comp.lang.ada
Path: i2pn2.org!i2pn.org!eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: thiebauddick2@aol.com (richardthiebaud)
Newsgroups: comp.lang.ada
Subject: Where to report bugs in gnatpp?
Date: Tue, 26 Sep 2023 19:32:59 -0400
Organization: A noiseless patient Spider
Lines: 3
Message-ID: <uevpnb$2nni9$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Tue, 26 Sep 2023 23:33:00 -0000 (UTC)
Injection-Info: dont-email.me; posting-host="47c3de9a5c4d9df2096ab293ec63418a";
logging-data="2874953"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1/VlG+1xJDZNb4mHGVkrMnG7jkozBJE+es="
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:102.0) Gecko/20100101
Thunderbird/102.15.1
Cancel-Lock: sha1:sBOlK4Y+rRebNChHMIyyWBvZSIQ=
Content-Language: en-US
 by: richardthiebaud - Tue, 26 Sep 2023 23:32 UTC

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.

Re: Where to report bugs in gnatpp?

<uf0did$2uh5a$1@dont-email.me>

  copy mid

https://www.rocksolidbbs.com/devel/article-flat.php?id=10135&group=comp.lang.ada#10135

  copy link   Newsgroups: comp.lang.ada
Path: i2pn2.org!i2pn.org!eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: bauhaus@notmyhomepage.invalid (G.B.)
Newsgroups: comp.lang.ada
Subject: Re: Where to report bugs in gnatpp?
Date: Wed, 27 Sep 2023 07:11:41 +0200
Organization: A noiseless patient Spider
Lines: 10
Message-ID: <uf0did$2uh5a$1@dont-email.me>
References: <uevpnb$2nni9$1@dont-email.me>
Reply-To: nonlegitur@notmyhomepage.de
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Wed, 27 Sep 2023 05:11:41 -0000 (UTC)
Injection-Info: dont-email.me; posting-host="6494f67f43994808011f60a1660eab39";
logging-data="3097770"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1/WkBeXI1FZIn8E8g5Mqsvq/KE2higID1Y="
User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.15; rv:102.0)
Gecko/20100101 Thunderbird/102.15.1
Cancel-Lock: sha1:vxja0j5vVS78VXbA8/KQN7J6Aug=
In-Reply-To: <uevpnb$2nni9$1@dont-email.me>
Content-Language: en-US
 by: G.B. - Wed, 27 Sep 2023 05:11 UTC

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...
$

Re: Where to report bugs in gnatpp?

<uf1vlu$38bid$1@dont-email.me>

  copy mid

https://www.rocksolidbbs.com/devel/article-flat.php?id=10136&group=comp.lang.ada#10136

  copy link   Newsgroups: comp.lang.ada
Path: i2pn2.org!i2pn.org!eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: p.p11@orange.fr (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
Lines: 15
Message-ID: <uf1vlu$38bid$1@dont-email.me>
References: <uevpnb$2nni9$1@dont-email.me>
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: <uevpnb$2nni9$1@dont-email.me>
Content-Language: fr, en-US
 by: Blady - Wed, 27 Sep 2023 19:26 UTC

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.

1
server_pubkey.txt

rocksolid light 0.9.8
clearnet tor