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-Thread: 103376,229eda63f0d80a47 X-Google-NewGroupId: yes X-Google-Attributes: gida07f3367d7,domainid0,public,usenet X-Google-Language: ENGLISH,CP1252 Path: g2news1.google.com!postnews.google.com!g7g2000vbl.googlegroups.com!not-for-mail From: Ed Falis Newsgroups: comp.lang.ada Subject: Re: Q: Profiles Date: Sat, 6 Nov 2010 07:43:55 -0700 (PDT) Organization: http://groups.google.com Message-ID: References: <4cd3e506$0$6992$9b4e6d93@newsspool4.arcor-online.net> <4cd47014$0$6989$9b4e6d93@newsspool4.arcor-online.net> <35bf03b0-b251-4e14-b0cb-d8cec31b7380@35g2000prt.googlegroups.com> NNTP-Posting-Host: 72.74.240.221 Mime-Version: 1.0 Content-Type: text/plain; charset=windows-1252 Content-Transfer-Encoding: quoted-printable X-Trace: posting.google.com 1289054635 24983 127.0.0.1 (6 Nov 2010 14:43:55 GMT) X-Complaints-To: groups-abuse@google.com NNTP-Posting-Date: Sat, 6 Nov 2010 14:43:55 +0000 (UTC) Complaints-To: groups-abuse@google.com Injection-Info: g7g2000vbl.googlegroups.com; posting-host=72.74.240.221; posting-account=AbUV6AoAAABCszcq2uwr3Y_xpLTcXcln User-Agent: G2/1.0 X-HTTP-UserAgent: Opera/9.80 (X11; Linux i686; U; en) Presto/2.6.30 Version/10.63,gzip(gfe) Xref: g2news1.google.com comp.lang.ada:15335 Date: 2010-11-06T07:43:55-07:00 List-Id: On Nov 5, 11:27=A0pm, Yannick Duch=EAne (Hibou57) wrote: > Le Sat, 06 Nov 2010 00:11:37 +0100, Ed Falis a =E9cri= t: > > > The --RTS=3D switch for gnatmake or --config=3D,,,, switch to gprconfig= is > > The --RTS=3D=85 option is really useful with GNAT-Pro, isn't it ? Right, the GNAT Pro line is the may place supporting alternate run- time libraries of the various GNATs. - Ed