From bcc38306cd13322aa36a20e454a09c1bdae2d2d0 Mon Sep 17 00:00:00 2001
From: Pietro Incardona <incardon@mpi-cbg.de>
Date: Tue, 13 Nov 2018 14:57:21 +0100
Subject: [PATCH] Making stronger HDF5 detection

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

diff --git a/script/install_HDF5.sh b/script/install_HDF5.sh
index 9ecfb9f44..7e21087e6 100755
--- a/script/install_HDF5.sh
+++ b/script/install_HDF5.sh
@@ -6,7 +6,7 @@ discover_os
 
 # check if the directory $1/HDF5 exist
 
-if [ -d "$1/HDF5" ]; then
+if [ -d "$1/HDF5" -a -f "$1/HDF5/include/hdf5.h" ]; then
   echo "HDF5 is already installed"
   exit 0
 fi
-- 
GitLab