Roland Kaufmann f786b832c0 Enable MPI if path is given ... Assume that ./configure --with-mpi= also implies --enable-mpi; if you absolutely want to specify path without enabling (?!) then you can do --with-mpi=... --disable-mpi (in that order). This patch look for anything after the equal sign of the --with parameter and only set the variable _MPI_PREFIX_PATH if that is given; it always toggle USE_MPI.		2013-10-07 15:49:51 +02:00
..
configure	Enable MPI if path is given	2013-10-07 15:49:51 +02:00
DuneCompat2.cmake	Import CMake support from OPM-Core	2013-05-15 10:24:52 +02:00
RemoveEmptyDir.cmake	Import CMake support from OPM-Core	2013-05-15 10:24:52 +02:00
WriteVerSHA.cmake	Write version information into header file	2013-08-14 23:39:03 +02:00