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=unavailable autolearn_force=no version=3.4.4 Path: eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!news.eternal-september.org!mx02.eternal-september.org!feeder.eternal-september.org!news.glorb.com!peer02.iad.highwinds-media.com!news.highwinds-media.com!feed-me.highwinds-media.com!post02.iad.highwinds-media.com!news.flashnewsgroups.com-b7.4zTQh5tI3A!not-for-mail From: Stephen Leake Newsgroups: comp.lang.ada Subject: Re: GNAT GPL 2015 Troubles References: <86d20p2xnw.fsf@stephe-leake.org> <14b883a9-c5ce-49ba-b608-23ffce29cf56@googlegroups.com> Date: Tue, 23 Jun 2015 09:07:38 -0500 Message-ID: <86381isel1.fsf@stephe-leake.org> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/24.5 (windows-nt) Cancel-Lock: sha1:M5YUZW4Ui6IEjhA2PhMz+Yxt2Fk= MIME-Version: 1.0 Content-Type: text/plain X-Complaints-To: abuse@flashnewsgroups.com Organization: FlashNewsgroups.com X-Trace: f3bdc5589682ce97f808424670 X-Received-Bytes: 1948 X-Received-Body-CRC: 545698368 Xref: news.eternal-september.org comp.lang.ada:26426 Date: 2015-06-23T09:07:38-05:00 List-Id: Simon Wright writes: > "RasikaSrinivasan@gmail.com" writes: > >> navigation did not work for me. i browsed and found the files but it >> is not ideal. A strong vote for your point about use clauses as well. > > For RTS components (e.g. Ada.Interrupts.Names.EXTI0_IRQ) I end up in the > native RTS. In spite of having the correct GPR loaded. "gnat list" is used to get the system library; testing with GNAT GPL 2014: with a project file foo.gpr containing package Builder is for Default_Switches ("ada") use ("--RTS=sjlj"); end Builder; 'gnat list -v -P foo.gpr' returns the wrong system library. 'gnat list -v --RTS=sjlj' returns the correct system library. So the solution is to change gnat-core.el gnat-get-paths-1 to pass --RTS=... to 'gnat list', but in a general way. We could add a project variable 'runtime' (or 'rts'?), with default value "zcx". The gnat tools don't accept --RTS=zcx (at least not with a default install), so we have to check for that special case at each use. -- -- Stephe