From 8771f4aba9db4f6711224d499099a54b1429e4b2 Mon Sep 17 00:00:00 2001
From: Carlo Camilloni <carlo.camilloni@gmail.com>
Date: Thu, 23 Apr 2015 13:47:38 +0200
Subject: [PATCH] patches: tell whether plumed is compiled with MPI or not
hopefully will avoid some mail to the mailing list
---
patches/patch.sh | 9 +++++++++
1 file changed, 9 insertions(+)
diff --git a/patches/patch.sh b/patches/patch.sh
index 4138f0d53..d8eddfd3b 100755
--- a/patches/patch.sh
+++ b/patches/patch.sh
@@ -257,11 +257,20 @@ case "$action" in
test -n "$quiet" || echo "Patching with stored diff"
bash "$diff"
fi
+
+ echo ""
+ if $PLUMED_ROOT/src/lib/plumed --has-mpi; then
+ echo "PLUMED is compiled with MPI support so you can configure $engine with MPI"
+ else
+ echo "PLUMED is compiled WITHOUT MPI support so you CANNOT configure $engine with MPI"
+ fi
+
if type -t plumed_after_patch 1>/dev/null ; then
test -n "$quiet" || echo "Executing plumed_after_patch function"
plumed_after_patch
fi
+
;;
(info)
if type -t plumed_patch_info 1>/dev/null ; then
--
GitLab