[petsc-dev] gmake does not make

[Barry Smith]

  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 <balay at mcs.anl.gov> 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 <balay at mcs.anl.gov> 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
>>>> 
>>>> 
>>> 
>> 
>> 
>