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 autolearn=ham autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,52a0bacbcdd2da17 X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 2003-08-17 04:32:12 PST Path: archiver1.google.com!news1.google.com!newsfeed.stanford.edu!news-spur1.maxwell.syr.edu!news.maxwell.syr.edu!kibo.news.demon.net!news.demon.co.uk!demon!not-for-mail From: Simon Wright Newsgroups: comp.lang.ada Subject: Re: Realtime/embedded project to help with employment. Date: 17 Aug 2003 12:30:39 +0100 Organization: Pushface Sender: simon@smaug.pushface.org Message-ID: References: <3F3D8AA4.7050703@attbi.com> NNTP-Posting-Host: pogner.demon.co.uk Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii X-Trace: news.demon.co.uk 1061119931 15253 62.49.19.209 (17 Aug 2003 11:32:11 GMT) X-Complaints-To: abuse@demon.net NNTP-Posting-Date: Sun, 17 Aug 2003 11:32:11 +0000 (UTC) User-Agent: Gnus/5.09 (Gnus v5.9.0) Emacs/21.1 Xref: archiver1.google.com comp.lang.ada:41627 Date: 2003-08-17T12:30:39+01:00 List-Id: "Robert I. Eachus" writes: > But be careful. If you need a validated Ada compiler, you do need to > contract with GNAT to get one. If you only need a validated compiler > for final delivery, you can wait on signing the contract.--But I don't > recommend doing so, ACT's support is among the best compiler support I > have ever seen, or provided. (The reason for all this about > validated compilers has little or nothing to do with making money. > ACT will be swearing that the compiler they provided you with is a > validated compiler when used as you use it, on this hardware with, > this operating system release, and these compiler options. Compilers ^^^^^^^^^^^^^^^^^^^^^^^^^^ I seem to remember that this may be a problem: the options you need to validate may not be those you would want/need to use in a real-world application. Apologies if this is FUD ... > are not validated in a vacuum, and ACT needs to fill in the blanks, if > you will, to give you a 'real' validation certificate. If you felt > like it, you could validate the GNAT compiler in your environment or > pay someone else to do it for you. But they would probably charge > more than ACT. ;-)