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=ham autolearn_force=no version=3.4.4 X-Google-Thread: 103376,6c7dea22b75ba442 X-Google-Attributes: gid103376,public,usenet X-Google-Language: ENGLISH,ASCII-7-bit Path: g2news1.google.com!news3.google.com!out03a.usenetserver.com!news.usenetserver.com!in02.usenetserver.com!news.usenetserver.com!cycny01.gnilink.net!spamkiller2.gnilink.net!gnilink.net!trndny02.POSTED!c9e1c1fe!not-for-mail From: Jeffrey Creem User-Agent: Thunderbird 2.0.0.6 (Windows/20070728) MIME-Version: 1.0 Newsgroups: comp.lang.ada Subject: Re: ada compiler? References: In-Reply-To: Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit Message-ID: <6hdj05-mm1.ln1@newserver.thecreems.com> Date: Sun, 11 Nov 2007 14:15:01 GMT NNTP-Posting-Host: 71.168.122.204 X-Complaints-To: abuse@verizon.net X-Trace: trndny02 1194790501 71.168.122.204 (Sun, 11 Nov 2007 09:15:01 EST) NNTP-Posting-Date: Sun, 11 Nov 2007 09:15:01 EST Xref: g2news1.google.com comp.lang.ada:18277 Date: 2007-11-11T14:15:01+00:00 List-Id: anon wrote: > Now academic version of GNAT defaults to low integrity, while most > others Ada compilers default to high integrity including GNAT PRO. And > with a few vendors, the install program will ask for the desired > installation integrity level. > > Wrong again. Normal GNATPro does not default to high integrity. I've got GNATPro on Solaris, Linux, vxWorks, Windows XP and none of them default to what you are calling high integrity. e.g. Under XP gnatls -v GNATLS Pro 6.0.2 (20070620-41) Running isitada, returns it is not Ada I have been willing to take it on faith for a while that perhaps you have a version version of GNATPro (perhaps one for a DO-178B platform) that acts differently.... It also is quite odd to start talking about other vendorS when the switches we are discussing are all gcc ada switches. Most other Ada vendors are not using GCC and don't compile c,c++ and Ada as the original poster requested. Granted, there are a few (at least one) other people selling Ada compilers based on gnat other than AdaCore so perhaps you are talking about them.