Are you sure everything isn’t already built? Run with make -d to see why it decides to do nothing, send all output.
Barry On Jun 17, 2014, at 4:45 PM, Satish Balay <[email protected]> wrote: > 3.81 should work. Its on all our test boxes [ubuntu 12.04] > > Satish > > On Tue, 17 Jun 2014, Blaise A Bourdin wrote: > >> I have 3.81. Which version is known to work? It is on a RHEL 5.10 machine >> (not mine...) >> >> Blaise >> >> On Jun 17, 2014, at 4:39 PM, Satish Balay <[email protected]> wrote: >> >>> I thought this issue was fixed - but perhaps you have an ancient make. >>> >>> What do you have for 'gmake --version' >>> >>> does '--download-make' solve this issue? >>> >>> Perhaps we need version check somewhere.. >>> >>> Satish >>> >>> On Tue, 17 Jun 2014, Blaise A Bourdin wrote: >>> >>>> Hi, >>>> >>>> I am running into another problem with petsc-dev (master) where make exits >>>> without error but also without building petsc. I tried make all-legacy but >>>> it seems broken (perhaps because of the prefix install) an dtries to build >>>> the target tree that does not exist >>>> >>>> Any idea? >>>> >>>> Blaise >>>> >>>> >>> >> >> >
