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