Re: how to tell gnatmake to send executables to a different directory when compiling multi source?

[Ludovic Brenta <ludovic@ludovic-brenta.org>]

Miles Bader wrote:
> "J-P. Rosen" writes:
>>> I do not know if this is what you refer to or not, but gcc can generate,
>>> _automatically_, a dependency file (.d extension) using the gcc -M flag.
>> (Disclaimer: I didn't know about that option).
>
>> However, I assume that this works only if the programmer properly used
>> the appropriate .h files, which is in no way required by C.
>
> It assumes nothing about the way .h files are used.
>
> It essentially emits the include-file graph in an appropriate format,
> usable by make.

In fact it does assume something. The assumption is, as is usual in
the C
world, hidden, so you don't see it.

The hidden assumption here is that the -I flags and environment
variables
passed to the compiler to find the include files are the same when
extracting the dependencies with -M and later when compiling using the
extracted dependencies.  Breaking this assumption breaks the build in
ways
impossible to predict and almost impossible to debug.

It takes a proper software engineer to detect hidden assumptions.
Jean-Pierre is one.

Hidden assumptions are *also* the devil.

--
Ludovic Brenta.
The plannings leverage a forward planning.