From e35da7a03459856c5ebd46765006f8867954585c Mon Sep 17 00:00:00 2001
From: Pietro Incardona <incardon@mpi-cbg.de>
Date: Thu, 6 Aug 2015 19:53:23 +0200
Subject: [PATCH] Fixing install script for BOOST installation

---
 install | 11 ++++++++++-
 1 file changed, 10 insertions(+), 1 deletion(-)

diff --git a/install b/install
index 9c5c96cfa..898aea408 100755
--- a/install
+++ b/install
@@ -97,7 +97,7 @@ fi
 if [ $METIS_installed -eq 1 ]; then
   echo ""
   echo -e "\033[1;34;5m ---------------------------------------  \033[0m"
-  echo -e "\033[1;34;5m ----------------  METIS ---------------- \033[0m"
+  echo -e "\033[1;34;5m ---------------- METIS ---------------- \033[0m"
   echo -e "  METIS has been installed into: \033[1m $HOME/METIS \033[0m"
   echo ""
   echo -e "\033[1;34m  On Linux: \033[0m"
@@ -105,6 +105,15 @@ if [ $METIS_installed -eq 1 ]; then
   echo -e "\033[1;34m  On OSX: \033[0m"
   echo -e "\033[1m  export DYLD_LIBRARY_PATH=\"\$DYLD_LIBRARY_PATH:\$HOME/METIS/lib\" \033[0m"
 
+fi
+
+if [ $BOOST_installed -eq 1 ]; then
+  echo ""
+  echo -e "\033[1;34;5m ---------------------------------------  \033[0m"
+  echo -e "\033[1;34;5m ---------------- BOOST ---------------- \033[0m"
+  echo -e "  BOOST has been installed into: \033[1m $HOME/BOOST \033[0m"
+  echo ""
+
 fi
 echo ""
 echo ""
-- 
GitLab