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 07:33:39 PST Path: archiver1.google.com!newsfeed.google.com!postnews1.google.com!not-for-mail From: dewar@gnat.com (Robert Dewar) Newsgroups: comp.lang.ada Subject: Re: GNAT 3.13p build for Solaris 8_x86 Date: 12 Jul 2001 07:33:38 -0700 Organization: http://groups.google.com/ Message-ID: <5ee5b646.0107120633.3703a5ea@posting.google.com> References: <5ee5b646.0107111915.222cebe2@posting.google.com> NNTP-Posting-Host: 205.232.38.14 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 8bit X-Trace: posting.google.com 994948419 15377 127.0.0.1 (12 Jul 2001 14:33:39 GMT) X-Complaints-To: groups-support@google.com NNTP-Posting-Date: 12 Jul 2001 14:33:39 GMT Xref: archiver1.google.com comp.lang.ada:9873 Date: 2001-07-12T14:33:39+00:00 List-Id: Kilgallen@eisner.decus.org.nospam (Larry Kilgallen) wrote in message news:... > 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. And even if they were run by the official testing site, this would not make the compiler validated, since to have an officially validated compiler, you have to have some kind of formal guarantee that the compiler you are using is the one that was validated, which typically requires a formal commercial contract of some kind. But indeed it is useful to run the tests informally, and that is certainly possible, since the test suite is indeed freely available. However, it is far from trivial to setup this test suite (we have probably invested in aggregate 6-12 person months setting up our testing environment, but that environment is much more complex than is required for this kind of use. I think it is still asking a lot for someone to try to set this up on their own (certainly running the validation tests is a much harder task than building GNAT from sources). One positive thing here is that Laurent Guerby has volunteered to setup a suitable test environment for GNAT version 5.00p (that will be the designation of the GNAT sources that are placed at the GNU site that are compatible with GCC 3.x). This test environment will include the ACVC tests, as well as a set of tests that we at ACT have generated for testing GNAT specific features (the main test suites we use, the DEC test suite, and the much more extensive ACT suite, are not distributable, since they contain proprietary customer code in both cases). Robert Dewar Ada Core Technologies