Re: GNAT GPL 2015 Troubles

[Stephen Leake <stephen_leake@stephe-leake.org>]

Simon Wright <simon@pushface.org> writes:

> "RasikaSrinivasan@gmail.com" <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