On Wed, Feb 2, 2011 at 12:55, Satish Balay <[email protected]> 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).