comp.lang.ada
 help / color / mirror / Atom feed
From: Stephen Leake <stephen_leake@stephe-leake.org>
Subject: Re: Tools Generating Ada
Date: Thu, 13 Feb 2014 09:31:13 -0600
Date: 2014-02-13T09:31:13-06:00	[thread overview]
Message-ID: <85eh37xc5a.fsf@stephe-leake.org> (raw)
In-Reply-To: 8f4037b8-ed00-4a98-8096-e18e507e7cbb@googlegroups.com

Vincent DIEMUNSCH <vincent.diemunsch@gmail.com> writes:

> On Saturday, February 8, 2014 9:47:20 AM UTC+1, Stephen Leake wrote:
>> Vincent writes:
>> 

(please trim your responses; paging thru lots of irrelevant old posts is
annoying)

> Thank you very much for your complete response !

You're welcome.

> 
> I'll try this, maybe with the help of AdaCore's support.
>
> By the way, does GPRBuild creates "ali" files for an external tool ?

As others have pointed out, only the compiler generates ali files. But
gprbuild can call the compiler, so the answer is "yes, it can be used
for that".

However, you need to specify different compilation switches; the ali
files contain slightly different information when intended for ASIS than
when intended for the binder and linker. (auto_text_io is an ASIS
application).

auto_text_io can call the compiler to create the ali files it needs, or
you can use gprbuild to generate the ali files for auto_text_io; it
depends on your overall flow.

-- 
-- Stephe


      parent reply	other threads:[~2014-02-13 15:31 UTC|newest]

Thread overview: 14+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2014-02-07  8:57 Tools Generating Ada vincent.diemunsch
2014-02-07  9:34 ` Jacob Sparre Andersen
2014-02-07  9:41 ` Simon Wright
2014-02-07 16:32   ` Pascal Obry
2014-02-08  8:33   ` vincent.diemunsch
2014-02-07 16:52 ` Vadim Godunko
2014-02-07 19:32 ` gautier_niouzes
2014-02-08  8:47 ` Stephen Leake
2014-02-11 17:48   ` Vincent DIEMUNSCH
2014-02-11 21:08     ` briot.emmanuel
2014-02-12 11:52       ` Vincent DIEMUNSCH
2014-02-12 13:38         ` Pascal Obry
2014-02-12 16:18         ` Robert A Duff
2014-02-13 15:31     ` 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