comp.lang.ada
 help / color / mirror / Atom feed
From: "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>
Subject: Re: ALI Files Cross-References Inconsistency?
Date: Sat, 26 Sep 2020 10:03:45 +0200	[thread overview]
Message-ID: <rkmsl1$f8o$1@gioia.aioe.org> (raw)
In-Reply-To: 86a6xd5vwc.fsf@stephe-leake.org

On 26/09/2020 00:33, Stephen Leake wrote:
> "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de> writes:
> 
>> On 25/09/2020 18:16, Stephen Leake wrote:
>>> Leandro Ribeiro <leandrobribeiro@gmail.com> writes:
>>>
>>>> I am currently analyzing .ali files.
>>> Be aware that AdaCore is moving away from ali files for cross
>>> referencing; that functionality is now provided by libadalang.
>>
>> Can you elaborate?
> 
> GNATStudio uses libadalang when navigating between files; it does not
> use the .ali files.
> 
>> Presently we keep ALI files as build artifacts. Object files are not
>> enough in order to avoid recompilation.
> 
> Ok, so .ali files will not go away entirely. But they may lose all their
> cross-reference info.

Thanks. Recompilation is only one aspect. We want to freeze the whole 
project state. I see there is the file clang_ref_cache.db. It looks like 
a database (SQLite?). Probably we should to store it as well in the future.

-- 
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de

  reply	other threads:[~2020-09-26  8:03 UTC|newest]

Thread overview: 15+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2020-08-13 15:24 ALI Files Cross-References Inconsistency? Leandro Ribeiro
2020-08-13 15:55 ` Dennis Lee Bieber
2020-08-13 21:18   ` Simon Wright
2020-08-14 19:45     ` Dennis Lee Bieber
2020-08-13 17:17 ` Egil H H
2020-08-14  8:11   ` Leandro Ribeiro
2020-08-14 16:35     ` Per Sandberg
2020-08-14 17:23       ` Simon Wright
2020-08-15  7:56         ` J-P. Rosen
2020-08-14 19:47     ` Dennis Lee Bieber
2020-09-25 16:16 ` Stephen Leake
2020-09-25 19:35   ` Dmitry A. Kazakov
2020-09-25 22:33     ` Stephen Leake
2020-09-26  8:03       ` Dmitry A. Kazakov [this message]
2020-09-30  9:53 ` wj46633
replies disabled

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