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,FREEMAIL_FROM autolearn=ham autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,be23df8e7e275d73 X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 2001-09-03 21:30:40 PST Path: archiver1.google.com!newsfeed.google.com!newsfeed.stanford.edu!logbridge.uoregon.edu!hardy.tc.umn.edu!laurel.tc.umn.edu!not-for-mail From: brentcarnellis@hotmail.com Newsgroups: comp.lang.ada Subject: Re: More Uniform Ada libraries (was: Proving Correctness) Date: Tue, 04 Sep 2001 04:32:28 GMT Organization: Impossible Message-ID: <3b9456ca.15085013@news.tc.umn.edu> References: <9kea9a$lsc$1@nh.pace.co.uk> <9keduf$qvc$1@a1-hrz.uni-duisburg.de> <9kelv1$riq$1@a1-hrz.uni-duisburg.de> <9krkfa$g12$1@nh.pace.co.uk> X-Trace: laurel.tc.umn.edu 999577837 14604 128.101.253.89 (4 Sep 2001 04:30:37 GMT) X-Complaints-To: usenet@laurel.tc.umn.edu X-Newsreader: Forte Free Agent 1.11/32.235 Xref: archiver1.google.com comp.lang.ada:12669 Date: 2001-09-04T04:32:28+00:00 List-Id: On Thu, 09 Aug 2001 07:47:46 GMT, "nicolas" wrote: > >Aonix Objectada is excellent for us, except that link time is far too long >for our applications and cannot be used today for dayly development >When the link time is 12mns instead of 20s, and has to be done 10 or 20 >times a day, it is a problem. You have something royally screwed up in your environment. Meaty-sized 50 Megabyte executables link in about 10 seconds with GNAT (Sun, SGI, Linux, etc). >Will Aonix go on with Ada ? some have doubts > >Rational Apex is not bad, but still have some little problems No Apex has big problems for student programs, like not doing Text_IO.Get_Line correctly.