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: border1.nntp.dca.giganews.com!nntp.giganews.com!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: Tools Generating Ada References: <5a341bef-ace4-468c-b5b6-55d46868d802@googlegroups.com> <85zjm2yorr.fsf@stephe-leake.org> <8f4037b8-ed00-4a98-8096-e18e507e7cbb@googlegroups.com> Date: Thu, 13 Feb 2014 09:31:13 -0600 Message-ID: <85eh37xc5a.fsf@stephe-leake.org> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/24.3 (windows-nt) Cancel-Lock: sha1:7ljBhF0vq2ODDC8QmF8NhL2kbr0= MIME-Version: 1.0 Content-Type: text/plain X-Complaints-To: abuse@flashnewsgroups.com Organization: FlashNewsgroups.com X-Trace: 132cc52fce547eef2f4a326207 X-Received-Bytes: 1777 X-Received-Body-CRC: 1442277870 Xref: number.nntp.dca.giganews.com comp.lang.ada:184824 Date: 2014-02-13T09:31:13-06:00 List-Id: Vincent DIEMUNSCH 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