> Ok. For now I'd stick with the patch I proposed to Andreas, but please > tell me if these assertions are right or wrong:
Note that this patch is really kludgy, since it duplicates the default value of ADAFLAGS in several (at least 3) places, which means that if/when we decide to change this default setting, that will be a pain. Could you please find a more elegant solution ? Thanks in advance. > -gnatpg is equivalent to -gnatg -gnatp. Yes. > -gnatg is necessary for compilation, and it could be moved out of > ADAFLAGS into the rule. ADAFLAGS would then mention only -gnatp -gnata. Yes, although that would be of little value, and given that many existing scripts and makefiles are depending on existing settings, this change would only bring confusion and would not solve anything. Actually it would remove a useful check: here, it was very easy to find that the ADAFLAGS were completely removed due to an error in the Makefile changes. If you move -gnatg to the Ada compilation rules, it means that the next time someone will break ADAFLAGS, if will be harder to detect. So please don't move it, thanks. Arno
