From: "J-P. Rosen" <rosen@adalog.fr>
Subject: Re: how to tell gnatmake to send executables to a different directory when compiling multi source?
Date: Wed, 01 Aug 2012 17:15:22 +0200
Date: 2012-08-01T17:15:22+02:00 [thread overview]
Message-ID: <jvbh6a$h17$1@dont-email.me> (raw)
In-Reply-To: <873947cbja.fsf@catnip.gol.com>
Le 01/08/2012 09:32, Miles Bader a �crit :
> It assumes nothing about the way .h files are used.
>
> It essentially emits the include-file graph in an appropriate format,
> usable by make.
>
Well, apparently it assumes that #include is used for every needed
library - and nothing /requires/ that in the C standard. An
undisciplined programmer could copy lines instead of #including them,
and then all tools will be fooled.
--
J-P. Rosen
Adalog
2 rue du Docteur Lombard, 92441 Issy-les-Moulineaux CEDEX
Tel: +33 1 45 29 21 52, Fax: +33 1 45 29 25 00
http://www.adalog.fr
next prev parent reply other threads:[~2012-08-06 15:11 UTC|newest]
Thread overview: 65+ messages / expand[flat|nested] mbox.gz Atom feed top
2012-07-29 9:31 how to tell gnatmake to send executables to a different directory when compiling multi source? Nasser M. Abbasi
2012-07-29 10:00 ` Dmitry A. Kazakov
2012-07-29 11:35 ` Nasser M. Abbasi
2012-07-29 12:29 ` Patrick
2012-07-29 13:02 ` Nasser M. Abbasi
2012-07-29 13:49 ` Ludovic Brenta
2012-07-29 14:09 ` Nasser M. Abbasi
2012-07-29 15:35 ` Ludovic Brenta
2012-07-29 15:42 ` Patrick
2012-07-29 16:41 ` Ludovic Brenta
2012-07-29 16:46 ` Patrick
2012-07-29 17:35 ` Vasiliy Molostov
2012-07-29 19:40 ` Dmitry A. Kazakov
2012-07-29 22:22 ` Vasiliy Molostov
2012-07-29 19:46 ` Robert A Duff
2012-07-30 0:20 ` Vasiliy Molostov
2012-07-30 3:01 ` Nasser M. Abbasi
2012-07-30 4:48 ` Nasser M. Abbasi
2012-07-30 21:05 ` Robert A Duff
2012-07-30 5:50 ` Dmitry A. Kazakov
2012-07-30 11:16 ` Vasiliy Molostov
2012-07-30 12:25 ` Georg Bauhaus
2012-07-30 12:59 ` Vasiliy Molostov
2012-07-30 14:07 ` Georg Bauhaus
2012-07-30 13:03 ` Nasser M. Abbasi
2012-07-30 14:02 ` Georg Bauhaus
2012-07-30 19:40 ` J-P. Rosen
2012-08-01 7:32 ` Miles Bader
2012-08-01 9:37 ` Ludovic Brenta
2012-08-02 5:01 ` Miles Bader
2012-08-01 15:15 ` J-P. Rosen [this message]
2012-08-02 15:08 ` Robert A Duff
2012-08-02 16:37 ` J-P. Rosen
2012-07-30 19:50 ` Ludovic Brenta
2012-07-30 3:21 ` Nasser M. Abbasi
2012-07-30 8:19 ` Simon Wright
2012-07-30 6:12 ` Dirk Heinrichs
2012-07-30 6:40 ` Ludovic Brenta
2012-07-30 10:31 ` Vasiliy Molostov
2012-07-30 11:05 ` Ludovic Brenta
2012-07-30 11:33 ` Simon Wright
2012-07-30 12:16 ` Vasiliy Molostov
2012-07-30 12:48 ` Ludovic Brenta
2012-07-30 13:09 ` Vasiliy Molostov
2012-07-30 6:06 ` Dirk Heinrichs
2012-07-29 12:31 ` Nasser M. Abbasi
2012-07-29 13:46 ` Ludovic Brenta
2012-07-29 14:15 ` Simon Wright
2012-07-29 13:54 ` Dmitry A. Kazakov
2012-07-29 14:16 ` Nasser M. Abbasi
2012-07-29 14:32 ` Dmitry A. Kazakov
2012-07-30 5:57 ` General purpose build tools (was: Re: how to tell gnatmake to send executables to a different directory when compiling multi source?) Dirk Heinrichs
2012-07-30 10:50 ` Vasiliy Molostov
2012-07-30 11:10 ` Ludovic Brenta
2012-07-30 12:39 ` Vasiliy Molostov
2012-08-30 10:49 ` General purpose build tools Stephen Leake
2012-07-29 18:33 ` how to tell gnatmake to send executables to a different directory when compiling multi source? björn lundin
2012-07-29 19:06 ` onox
2012-07-31 11:12 ` Patrick
2012-07-31 11:30 ` Dmitry A. Kazakov
2012-07-31 11:31 ` Dmitry A. Kazakov
2012-07-31 11:34 ` Patrick
2012-07-31 12:33 ` Ludovic Brenta
2012-07-31 15:14 ` Patrick
2012-07-31 16:04 ` Ludovic Brenta
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox