From 2b92df4c55cf19a3ca1b37547cacd386ffcd18ff Mon Sep 17 00:00:00 2001 From: Matthias Maier Date: Mon, 1 Jan 2018 13:33:47 -0600 Subject: [PATCH] CMake: Disable MPI autodetection --- cmake/configure/configure_1_mpi.cmake | 7 +++++++ 1 file changed, 7 insertions(+) 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: # -- 2.39.5