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.3 required=5.0 tests=BAYES_00,INVALID_MSGID
	autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,9079fcba2f29f945
X-Google-Attributes: gid103376,public
From: tojst1+@pitt.edu (Tore Joergensen)
Subject: Re: Ada Validation
Date: 1996/03/28
Message-ID: <4jcpss$s2u@usenet.srv.cis.pitt.edu>#1/1
X-Deja-AN: 144572843
references: <00001a73+00002c38@msn.com>
organization: University of Pittsburgh
newsgroups: comp.lang.ada
Date: 1996-03-28T00:00:00+00:00
List-Id: <comp.lang.ada>

Kenneth Mays (KMays@msn.com) wrote:
: For those of you who don't like standards (I'm not saying they are 
: the answer to everything - but try SCSI on various platforms), then 
: think of why ANSI/ISO, VESA, and other organizations got together. We 
: can stick together an get GNAT-95 bug-ridden and Ada95 complaint for 
: validation - since it is free and avalable on all systems. Then, we 
: will have somewhere to start without breaking the bank.
: -Ken

GNAT 3.00 for SGI is validated (I'm not sure how it works, but I guess
3.04 is validated too (?)). The other ports use more or less the same
code. If I've understood resent postings correctly, the reason for not
validating all the ports is that a validation is expensive (I think 
somebody mentioned twenty grands, which is much to spend on a free 
compiler). I've not had any problems with GNAT 3.01 for OS/2, and I think
it is a very nice place to start without breaking the bank :-). Free is a
very attractive price for students and hobby-programmers. BTW, it is
not available on all systems, just a fairly big bunch.
-- 
+-------------------------+-------------------------------------------+
| Tore B. Joergensen      | e-mail : tore@lis.pitt.edu                |
| Centre Court Villa      | web    : http://www.pitt.edu/~tojst1      |
| 5535 Centre Avenue # 6  |                                           |
| Pgh, PA 15232, USA      | Norwegian MSIS-student at Univ. of Pgh.   |
+-------------------------+-------------------------------------------+