[gtkada] parallel build support

[John Marino]

On 7/1/2013 16:11, Emmanuel Briot wrote:
>> If others can confirm that gtkada does not support parallel-building, might I request this feature?
>
> It works fine on *all* the platforms we build GtkAda on.
> I am talking about parallelism done by gprbuild, using the PROCESSORS environment
> variable. There is no reason to use "make -j …" since the build itself is done with one
> command anyway.

Okay, I think I have an idea of what's happening.
the value for "PROCESSORS" is set by the $MAKE_JOBS_NUMBER variable, 
which is always "1" unless $MAKE_JOBS_SAFE is defined.

However, defining that turns on -j option for gmake.

So that's probably the issue -- I need to figure out how to defined 
PROCESSORS without triggering -j, right?

John