File 0001-Always-call-dolfin-SubSystemsManager-init_mpi.patch of Package mshr

From d9356ae537ccf0b8501280bce8ed48aa23110cad Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Stefan=20Br=C3=BCns?= <stefan.bruens@rwth-aachen.de>
Date: Sun, 9 Feb 2020 04:16:05 +0100
Subject: [PATCH] Always call dolfin::SubSystemsManager::init_mpi()

In case dolfin is compiled without MPI, init_mpi() is a noop.
---
 app/mshrable.cpp | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/app/mshrable.cpp b/app/mshrable.cpp
index c486a7c..1f90a9e 100644
--- a/app/mshrable.cpp
+++ b/app/mshrable.cpp
@@ -98,10 +98,8 @@ void handle_commandline(int argc, char** argv, po::variables_map &vm)
 //-----------------------------------------------------------------------------
 int main(int argc, char** argv)
 {
-  // Ensure Dolfin initializes MPI correctly.
-  #ifdef HAS_MPI
+  // Ensure Dolfin initializes MPI correctly. (may be a noop, dependent on dolfin compile options)
   dolfin::SubSystemsManager::init_mpi();
-  #endif
 
   po::variables_map vm;
   handle_commandline(argc, argv, vm);
-- 
2.25.0