From b3e80082d0823f69c924c7e49733ba6be0332b1e Mon Sep 17 00:00:00 2001
From: Pietro Incardona <i-bird@localhost.localdomain>
Date: Mon, 23 May 2016 02:47:55 +0200
Subject: [PATCH] Fixing installation of Trilinos

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

diff --git a/script/install_PETSC.sh b/script/install_PETSC.sh
index 7f50b15cd..e545127ce 100755
--- a/script/install_PETSC.sh
+++ b/script/install_PETSC.sh
@@ -35,6 +35,7 @@ fi
 
 if [ -d "$1/BOOST" ]; then  
   configure_options="$configure_options --with-boost=yes --with-boost-dir=$1/BOOST "
+  configure_trilinos_options="$configure_trilinos_options -D TPL_ENABLE_Boost=ON  -D TPL_ENABLE_BoostLib=ON  -D Boost_INCLUDE_DIRS=$1/BOOST/include -D BoostLib_LIBRARY_DIRS=$1/BOOST/lib -D BoostLib_INCLUDE_DIRS=$1/BOOST/include"
 fi
 
 if [ -d "$1/MPI" ]; then
-- 
GitLab