On Wed, Feb 2, 2011 at 13:12, Richard Tran Mills <rmills@climate.ornl.gov> wrote:
Thanks for your responses.  However, that is the first thing that I tried:

rmills@ubuntu:~/proj/petsc-dev$ make -C ubuntu-gnu_g/
make: Entering directory `/home/rmills/proj/petsc-dev/ubuntu-gnu_g'
make: *** No targets specified and no makefile found.  Stop.
make: Leaving directory `/home/rmills/proj/petsc-dev/ubuntu-gnu_g'

Then I assumed that the instructions meant to say 'cmake', not 'make'.  What is supposed to generate the makefile that gets used?

configure should have generated petsc-dev/ubuntu-gnu_g/Makefile if cmake was found.  Try
 
rm -r CMake* ubuntu-gnu_g/CMake*
# reconfigure if ubuntu-gnu_g/conf/PETScConfig.cmake is missing
# otherwise you can just run config/cmakeboot.py (faster)
make -C ubuntu-gnu_g