<div class="gmail_quote">On Wed, Feb 2, 2011 at 13:12, Richard Tran Mills <span dir="ltr"><<a href="mailto:rmills@climate.ornl.gov">rmills@climate.ornl.gov</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="PADDING-LEFT: 1ex; MARGIN: 0px 0px 0px 0.8ex; BORDER-LEFT: #ccc 1px solid">Thanks for your responses.  However, that is the first thing that I tried:<br><br>rmills@ubuntu:~/proj/petsc-dev$ make -C ubuntu-gnu_g/<br>
make: Entering directory `/home/rmills/proj/petsc-dev/ubuntu-gnu_g'<br>make: *** No targets specified and no makefile found.  Stop.<br>make: Leaving directory `/home/rmills/proj/petsc-dev/ubuntu-gnu_g'<br><br>Then I assumed that the instructions meant to say 'cmake', not 'make'.  What is supposed to generate the makefile that gets used?</blockquote>
</div>
<div><br>configure should have generated petsc-dev/ubuntu-gnu_g/Makefile if cmake was found.  Try</div>
<div> </div>
<div>rm -r CMake* ubuntu-gnu_g/CMake*</div>
<div># reconfigure if ubuntu-gnu_g/conf/PETScConfig.cmake is missing</div>
<div># otherwise you can just run config/cmakeboot.py (faster)</div>
<div>make -C ubuntu-gnu_g</div>