On Tue, Oct 17, 2006 at 12:18:23PM +0200, Markus Blatt wrote: > > > - to switch off mpi, even when it is correctly installed? > Create and opts file as describe in the dune Buildsystem howto and add > --disable-mpi to the CONFIGURE_FLAGS. Sorry, I meant --disable-mpi