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-74-118.ec2.internal X-Spam-Level: X-Spam-Status: No, score=-1.9 required=3.0 tests=BAYES_00 autolearn=ham autolearn_force=no version=3.4.6 Path: eternal-september.org!reader02.eternal-september.org!aioe.org!vNObJwB5W4WN632vBkQn9g.user.46.165.242.75.POSTED!not-for-mail From: 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: References: 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= Xref: reader02.eternal-september.org comp.lang.ada:63631 List-Id: Thomas writes: > In article , > Simon Wright 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