From: tojst1+@pitt.edu (Tore Joergensen)
Subject: Re: Ada Validation
Date: 1996/03/28
Date: 1996-03-28T00:00:00+00:00 [thread overview]
Message-ID: <4jcpss$s2u@usenet.srv.cis.pitt.edu> (raw)
In-Reply-To: 00001a73+00002c38@msn.com
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. |
+-------------------------+-------------------------------------------+
next prev parent reply other threads:[~1996-03-28 0:00 UTC|newest]
Thread overview: 6+ messages / expand[flat|nested] mbox.gz Atom feed top
1996-03-27 0:00 Ada Validation Kenneth Mays
1996-03-28 0:00 ` Tore Joergensen [this message]
1996-03-27 0:00 ` Robert Dewar
1996-03-28 0:00 ` Tore Joergensen
1996-03-28 0:00 ` Carl Bowman
-- strict thread matches above, loose matches on Subject: below --
1989-01-27 13:15 Gregory S. Lakis
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox