Rocksolid Light

Welcome to novaBBS (click a section below)

mail  files  register  newsreader  groups  login

Message-ID:  

Schshschshchsch. -- The Gorn, "Arena", stardate 3046.2

devel / comp.lang.ada / Re: Status of AdaControl

SubjectAuthor
* Re: Status of AdaControlThomas
`- Re: Status of AdaControlSimon Wright

1
Re: Status of AdaControl

<fantome.forums.tDeContes-02E64E.20054924032022@news.free.fr>

  copy mid

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

  copy link   Newsgroups: comp.lang.ada
Path: i2pn2.org!i2pn.org!paganini.bofh.team!pasdenom.info!nntpfeed.proxad.net!proxad.net!feeder1-2.proxad.net!cleanfeed1-a.proxad.net!nnrp4-1.free.fr!not-for-mail
From: fantome....@free.fr.invalid (Thomas)
Newsgroups: comp.lang.ada
Mail-Copies-To: nobody
Subject: Re: Status of AdaControl
References: <s3l4qi$aq$1@dont-email.me> <lysg4h1uv0.fsf@pushface.org>
MIME-Version: 1.0
Content-Type: text/plain; charset=US-ASCII
Content-Transfer-Encoding: 7bit
User-Agent: MT-NewsWatcher/3.5.3b3 (Intel Mac OS X)
Date: Thu, 24 Mar 2022 20:05:50 +0100
Message-ID: <fantome.forums.tDeContes-02E64E.20054924032022@news.free.fr>
Lines: 17
Organization: Guest of ProXad - France
NNTP-Posting-Date: 24 Mar 2022 20:05:50 CET
NNTP-Posting-Host: 91.175.52.121
X-Trace: 1648148750 news-2.free.fr 3450 91.175.52.121:7754
X-Complaints-To: abuse@proxad.net
 by: Thomas - Thu, 24 Mar 2022 19:05 UTC

In article <lysg4h1uv0.fsf@pushface.org>,
Simon Wright <simon@pushface.org> wrote:

> FSF GCC 11 doesn't support ASIS either.
>
> This will mean no gnatmetric, gnatpp, gnatstub, gnattest for macOS
> users, at least until I can escape the branch hell that's stopping me
> building libadalang!

gnatpp had already been used to make RAPID.

i think gnatstub too, even if i can't really say it,
anyway i would like to use it sometimes, even if it's not very often.

--
RAPID maintainer
http://savannah.nongnu.org/projects/rapid/

Re: Status of AdaControl

<ly1qyr3x6p.fsf@pushface.org>

  copy mid

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

  copy link   Newsgroups: comp.lang.ada
Path: i2pn2.org!i2pn.org!aioe.org!vNObJwB5W4WN632vBkQn9g.user.46.165.242.75.POSTED!not-for-mail
From: sim...@pushface.org (Simon Wright)
Newsgroups: comp.lang.ada
Subject: Re: Status of AdaControl
Date: Thu, 24 Mar 2022 20:36:14 +0000
Organization: Aioe.org NNTP Server
Message-ID: <ly1qyr3x6p.fsf@pushface.org>
References: <s3l4qi$aq$1@dont-email.me> <lysg4h1uv0.fsf@pushface.org>
<fantome.forums.tDeContes-02E64E.20054924032022@news.free.fr>
Mime-Version: 1.0
Content-Type: text/plain
Injection-Info: gioia.aioe.org; logging-data="44410"; posting-host="vNObJwB5W4WN632vBkQn9g.user.gioia.aioe.org"; mail-complaints-to="abuse@aioe.org";
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/27.2 (darwin)
X-Notice: Filtered by postfilter v. 0.9.2
Cancel-Lock: sha1:2TRh+Gj59GKdqY2150UX4xCh2gE=
 by: Simon Wright - Thu, 24 Mar 2022 20:36 UTC

Thomas <fantome.forums.tDeContes@free.fr.invalid> writes:

> In article <lysg4h1uv0.fsf@pushface.org>,
> Simon Wright <simon@pushface.org> wrote:
>
>> FSF GCC 11 doesn't support ASIS either.
>>
>> This will mean no gnatmetric, gnatpp, gnatstub, gnattest for macOS
>> users, at least until I can escape the branch hell that's stopping me
>> building libadalang!
>
> gnatpp had already been used to make RAPID.
>
> i think gnatstub too, even if i can't really say it, anyway i would
> like to use it sometimes, even if it's not very often.

I'd escaped the branch hell by the time I released the 11.2.0 build. The
answer was basically to use a matching set of AdaCore's tags on
libadalang etc

1
server_pubkey.txt

rocksolid light 0.9.8
clearnet tor