From: Roy S. <roy...@ic...> - 2013-02-15 20:42:52
|
"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. --- Roy |