From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me X-Spam-Level: X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00 autolearn=unavailable autolearn_force=no version=3.4.4 Path: eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!news.eternal-september.org!mx02.eternal-september.org!.POSTED!not-for-mail From: Paul Rubin Newsgroups: comp.lang.ada Subject: Re: Weakness of Ada is expensive / security / etc. ? Anything else? Date: Mon, 20 Jul 2015 11:09:04 -0700 Organization: A noiseless patient Spider Message-ID: <87wpxuwvjz.fsf@jester.gateway.sonic.net> References: <084c0dc7-ae74-4cb8-b1fe-78f42de94291@googlegroups.com> <87pp3m91be.fsf@mid.deneb.enyo.de> <871tg2yb7m.fsf@jester.gateway.sonic.net> <87lhea90lr.fsf@mid.deneb.enyo.de> Mime-Version: 1.0 Content-Type: text/plain Injection-Info: mx02.eternal-september.org; posting-host="d4217d68945dedf510265c644f2a7daa"; logging-data="18623"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX18mzNq0Rc4zeuU4Lv1nY1YW" User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/24.3 (gnu/linux) Cancel-Lock: sha1:D6jnN8WSiVBaYiFq6KtRi3ycbMk= sha1:VjmBPHkr7D/U+aQGsFn1sBxYMbc= Xref: news.eternal-september.org comp.lang.ada:26911 Date: 2015-07-20T11:09:04-07:00 List-Id: Florian Weimer writes: >> What compiler is that? > GNAT with a developer subscription from Red Hat. Is that basically the FOSS segment of GNAT, with some support added? Does the target system have to be Red Hat (or at least Linux), as opposed to embedded targets? Otherwise it sounds too good to be true.