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,LOTS_OF_MONEY autolearn=ham autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,1d0e6fa19045a321 X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 2001-07-12 03:49:28 PST Path: archiver1.google.com!newsfeed.google.com!newsfeed.stanford.edu!news-spur1.maxwell.syr.edu!news.maxwell.syr.edu!newsfeed.cwix.com!sjc-peer.news.verio.net!news.verio.net!iad-read.news.verio.net.POSTED!kilgallen From: Kilgallen@eisner.decus.org.nospam (Larry Kilgallen) Newsgroups: comp.lang.ada Subject: Re: GNAT 3.13p build for Solaris 8_x86 Message-ID: References: <5ee5b646.0107111915.222cebe2@posting.google.com> Organization: LJK Software Date: 12 Jul 2001 06:49:22 -0500 NNTP-Posting-Host: 216.44.122.34 X-Complaints-To: abuse@verio.net X-Trace: iad-read.news.verio.net 994934965 216.44.122.34 (Thu, 12 Jul 2001 10:49:25 GMT) NNTP-Posting-Date: Thu, 12 Jul 2001 10:49:25 GMT Xref: archiver1.google.com comp.lang.ada:9860 Date: 2001-07-12T06:49:22-05:00 List-Id: In article <5ee5b646.0107111915.222cebe2@posting.google.com>, dewar@gnat.com (Robert Dewar) writes: > almroth@attglobal.net (Andreas Almroth) wrote in message news:... >> OK, if you have the time, you could compile 3.13p from 3.12p level, >> which is exactly what I have done now... Everything seems to work so >> far... It is not verified/certified in any way, but it works for >> me... > > OK, good work, it's really not that hard! And for the public version > it really does not matter that it is not validated (indeed none of > the public versions of GNAT are validated). I was under the impression that the validation tests are available to all. If you were to run the tests yourself, some people might not be satisfied they were not run by the official testing site ($10,000 a pop ?). But presumable other people, including especially _you_ would be satisfied.