Bill Allombert on Sun, 29 Jan 2012 15:44:35 +0100

[Date Prev] [Date Next] [Thread Prev] [Thread Next] [Date Index] [Thread Index]

Re: parallel make

On Thu, Jan 19, 2012 at 03:50:05PM +0100, John Cremona wrote:
> I normally build much faster using "make -j" instead of plain "make".
> Now I was just trying "./Configure --tune" for the first time, and I
> see that it is doing a full build (and I expect it will do this more
> than once given the estimated time for this given in the manual).

No, instead, it uses the tune utility (see make tune).
And honestly it does not work very well.

> If the Makefiles used $MAKE instead of make, then this could also be
> sped up via the user setting (e.g.) export MAKE='make -j' before
> starting.  Is there any reason why this would not work?

Done in revision pari-2.6-651-gec0de58.