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

["J-P. Rosen" <rosen@adalog.fr>]

Le 02/08/2012 17:08, Robert A Duff a �crit :
> "J-P. Rosen" <rosen@adalog.fr> writes:
> 
>> 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.
> 
> I don't think that's a very strong criticism of C.  Yeah, you're right
> that it's not required to use #include properly, but every competent
> C programmer does so.  It's not like you can do it wrong by accident.
> Compare to (say) array indexing, where it's easy to accidentally
> go out of bounds.
> 
> Of course I agree that a language with a proper module system is better.
> 
> Patient: "Doctor, it hurts when I copy lines instead of #including them."
> Doctor: "So don't do that."
> 
Sure. As long as you are not in the safety critical area.

Tell the certifier "nobody does that", and the certifier will respond:
"prove it".

-- 
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