From 82478fba0962dd27f107bd63d2645f263887c85f Mon Sep 17 00:00:00 2001
From: Pietro Incardona <incardon@mpi-cbg.de>
Date: Mon, 24 Jul 2017 17:01:33 +0200
Subject: [PATCH] Fixing installation of trilinos on CYGWIN

---
 script/install_PETSC.sh | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/script/install_PETSC.sh b/script/install_PETSC.sh
index 86974c2a..675c3117 100755
--- a/script/install_PETSC.sh
+++ b/script/install_PETSC.sh
@@ -160,6 +160,12 @@ if [ ! -d "$1/TRILINOS" ]; then
 #    petsc_openmp="--with-openmp=yes"
   fi
 
+  if [ x"$platform" == x"cygwin" ]; then
+    configure_trilinos_options="$configure_trilinos_options -D Trilinos_CXX11_FLAGS=-std=gnu++11 "
+  fi
+  cmake -D CMAKE_INSTALL_PREFIX:PATH=$1/TRILINOS -D CMAKE_BUILD_TYPE=RELEASE $conf_trl_openmp -D Trilinos_ENABLE_TESTS=OFF  -D Trilinos_ENABLE_ALL_PACKAGES=ON $configure_trilinos_options  ../.
+
+
   cmake -D CMAKE_INSTALL_PREFIX:PATH=$1/TRILINOS -D CMAKE_BUILD_TYPE=RELEASE $conf_trl_openmp -D Trilinos_ENABLE_TESTS=OFF  -D Trilinos_ENABLE_ALL_PACKAGES=ON $configure_trilinos_options  ../.
 
   make -j $2
-- 
GitLab