[petsc-dev] configure failed after update of OSX

[Satish Balay]

On Tue, 28 Jan 2014, Jed Brown wrote:

> Satish Balay <balay at mcs.anl.gov> writes:
> 
> > Yeah --with-make=/usr/bin/make is the workarround.
> >
> > I'll have to recheck why gmake is prefered over /usr/bin/make. [I
> > thought I fixed that].
> 
> What is it doing wrong?  A broken gmake needs to be reported to whoever
> is responsible (macports?).

yes.
> 
> Preferring gmake when present is safer for BSD systems where "make" is
> usually BSD make.

Yes - I meant to do the following [which shold be eqivalent on bsd -and workarround this issue]

if isGnumake('make') : self.make = 'make'
else if isGnumake('gmake'): self.make = 'gmake'
else error('require gnumake')

Satish