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!feeder.eternal-september.org!news.unit0.net!news.uni-stuttgart.de!news.enyo.de!.POSTED!not-for-mail From: Florian Weimer Newsgroups: comp.lang.ada Subject: Re: Weakness of Ada is expensive / security / etc. ? Anything else? Date: Mon, 20 Jul 2015 20:25:05 +0200 Message-ID: <87h9oy8z5q.fsf@mid.deneb.enyo.de> 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> <87wpxuwvjz.fsf@jester.gateway.sonic.net> Mime-Version: 1.0 Content-Type: text/plain X-Trace: news.enyo.de 1437416705 2905 192.168.18.20 (20 Jul 2015 18:25:05 GMT) X-Complaints-To: news@enyo.de Cancel-Lock: sha1:vUr+j61U42KClVrS9tCJqIiHdAM= Xref: news.eternal-september.org comp.lang.ada:26912 Date: 2015-07-20T20:25:05+02:00 List-Id: * Paul Rubin: > 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? Yes, as far as I can see, it's the same bits you get as part of Red Hat Enterpise Linux (and CentOS is built from pretty much the same sources). It's based on the FSF version, so you get the GNAT run time exception. > Does the target system have to be Red Hat (or at least Linux), as > opposed to embedded targets? Production support (after deployment) is separate, and Red Hat will support deployment on Red Hat Enterprise Linux only, I assume. So this is certainly not an option for small-device embedded development, or high-assurance software. But for those markets, AdaCore's pricing is not unreasonable, I think.