On Wed, Feb 2, 2011 at 12:55, Satish Balay <balay@mcs.anl.gov> wrote:
> rmills@ubuntu:~/proj/petsc-dev/ubuntu-gnu_g$ cmake ..

You haeve to use 'make' or 'make -j 4' here - not 'cmake'

I just do: [from petsc-dev]
make -C ubuntu-gnu_g -j 4

Same here.  You should never have to invoke 'cmake' yourself unless you need to reconfigure for a specific IDE instead of the default Makefiles (and some IDEs, such as QtCreator and KDevelop4, will also do this for you).