From: Matthias Maier <tamiko@43-1.org>
Date: Mon, 1 Jan 2018 19:33:47 +0000 (-0600)
Subject: CMake: Disable MPI autodetection
X-Git-Tag: v9.0.0-rc1~570^2~3
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=2b92df4c55cf19a3ca1b37547cacd386ffcd18ff;p=dealii.git

CMake: Disable MPI autodetection
---

diff --git a/cmake/configure/configure_1_mpi.cmake b/cmake/configure/configure_1_mpi.cmake
index 8e8891a8c6..c69d1ee95e 100644
--- 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:
 #