Roland Kaufmann cbece4a5ec 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 14:46:07 +02:00

..

configure

Enable MPI if path is given

2013-10-07 14:46:07 +02:00

DuneCompat2.cmake

Only write source path line once

2013-02-11 23:06:38 +01:00

RemoveEmptyDir.cmake

Remove debug information put to output tree when distclean

2013-02-11 23:08:29 +01:00

WriteVerSHA.cmake

Write version information into header file

2013-07-31 12:04:07 +02:00