On Feb 15, 2013, at 2:42 PM, Roy Stogner <email@example.com> wrote:In case you want to --disable-mpi, of course?!
> "trump --enable-petsc with --disable-mpi", why?
> PETSc can be built without MPI, and in fact an enable-petsc,
> disable-mpi build is the first non-default configuration we're testing
> in BuildBot.
I was just running a Cygwin configuration with
$ ../configure --disable-mpi
only to find LIBMESH_HAVE_MPI defined, courtesy of petsc.m4's MPI fallback stuff.
In this case there is MPI on the system,
What if I don't want MPI?? Should I need to remember
$ ../configure --disable-mpi --disable-petsc?