From a77a8208cb8889f01cd7800f240c5629e839551d Mon Sep 17 00:00:00 2001
From: Pietro Incardona <incardon@mpi-cbg.de>
Date: Tue, 6 Nov 2018 14:28:47 +0100
Subject: [PATCH] Stronger check for parmetis installation

---
 script/install_Parmetis.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/script/install_Parmetis.sh b/script/install_Parmetis.sh
index 63658365..91b8ec0d 100755
--- a/script/install_Parmetis.sh
+++ b/script/install_Parmetis.sh
@@ -5,7 +5,7 @@ discover_os
 
 # check if the directory $1/PARMETIS exist
 
-if [ -d "$1/PARMETIS" ]; then
+if [ -f "$1/PARMETIS/include/parmetis.h" ]; then
   echo "PARMETIS is already installed"
   exit 0
 fi
-- 
GitLab