From c9d1beeadb391abe5a4b70a6497e6cce21ff4810 Mon Sep 17 00:00:00 2001
From: Pietro Incardona <incardon@mpi-cbg.de>
Date: Mon, 24 Jul 2017 13:56:02 +0200
Subject: [PATCH] Fixing HDF5 without zlib on cygwin

---
 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 49271d92..4874e031 100755
--- a/script/install_HDF5.sh
+++ b/script/install_HDF5.sh
@@ -7,7 +7,7 @@ if [ -d "$1/HDF5" ]; then
   exit 0
 fi
 
-if [ ! -d "$1/ZLIB" ]; then
+if [ ! -d "$1/ZLIB"  -a x"$platform" != x"cygwin" ]; then
   rm zlib1211.tar.gz
   rm -rf zlib-1.2.11
   wget https://zlib.net/zlib-1.2.11.tar.gz
-- 
GitLab