Arnaud Charlet wrote:

So you need a -gnat<something> option, or compilation fails?

You need at the very least -gnatg, although -gnatpg is highly recommended,
and -gnata is highly desirable for development

Ok. For now I'd stick with the patch I proposed to Andreas, but please tell me if these assertions are right or wrong:

-gnatpg is equivalent to -gnatg -gnatp.

-gnatg is necessary for compilation, and it could be moved out of ADAFLAGS into the rule. ADAFLAGS would then mention only -gnatp -gnata.

Paolo

Reply via email to