CMake: Disable MPI autodetection

diff --git a/cmake/configure/configure_1_mpi.cmake b/cmake/configure/configure_1_mpi.cmake
index 8e8891a8c6d9fb9fa79371934c2fd223d90e7a3f..c69d1ee95ecd2e4fabb404e2d38a85fe0f71ee3b 100644 (file)
--- a/cmake/configure/configure_1_mpi.cmake
+++ b/cmake/configure/configure_1_mpi.cmake
@@ -13,6 +13,13 @@
 ##
 ## ---------------------------------------------------------------------
 
+#
+# Never autodetect MPI support. This forces the user to explicitly enable
+# MPI support with -DWITH_MPI=ON (or -DDEAL_II_WITH_MPI=ON) on the command
+# line.
+#
+SET(DEAL_II_WITH_MPI OFF CACHE BOOL "")
+
 #
 # Configuration for mpi support:
 #