comp.lang.ada
 help / color / mirror / Atom feed
From: Stephen Leake <stephen_leake@stephe-leake.org>
Subject: Re: GNAT GPL 2015 Troubles
Date: Tue, 23 Jun 2015 08:35:37 -0500
Date: 2015-06-23T08:35:37-05:00	[thread overview]
Message-ID: <867fqusg2e.fsf@stephe-leake.org> (raw)
In-Reply-To: 14b883a9-c5ce-49ba-b608-23ffce29cf56@googlegroups.com

"RasikaSrinivasan@gmail.com" <RasikaSrinivasan@gmail.com> writes:

> On Sunday, June 21, 2015 at 7:13:16 AM UTC-4, Simon Wright wrote:
>> Stephen Leake <stephen_leake@stephe-leake.org> writes:
>> 
>> > Does ada-mode navigation help here? Since these are pre-compiled
>> > files, C-c C-d should always show the declaration of these
>> > identifiers, even if your full project does not yet compile.
>> 
>> It certainly would if I was trying to build with them rather than just
>> poking about! Good point, though I'd still prefer not to see 'use' (I
>> make an exception for Ada.Text_IO, though :-)
>> 
>> I seem to remember that you need to keep .ali's even after a failed
>> compilation for this to work - -gnatqQ
>
> navigation did not work for me. 

Can you say why, or show the commands you used to test? I'd like to
improve this.

-- 
-- Stephe


      parent reply	other threads:[~2015-06-23 13:35 UTC|newest]

Thread overview: 13+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2015-06-20 18:38 GNAT GPL 2015 Troubles RasikaSrinivasan
2015-06-20 19:31 ` Simon Wright
2015-06-21  9:55   ` Stephen Leake
2015-06-21 11:13     ` Simon Wright
2015-06-21 16:00       ` RasikaSrinivasan
2015-06-21 16:21         ` Simon Wright
2015-06-23 14:07           ` Stephen Leake
2015-06-23 17:07             ` Simon Wright
2015-06-23 19:09               ` Simon Wright
2015-06-23 23:25               ` RasikaSrinivasan
2015-06-24  5:14                 ` Pascal Obry
2015-06-24 11:34                   ` David Botton
2015-06-23 13:35         ` Stephen Leake [this message]
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox