From 237f24bb63d7d056e68ecb58782a903f35254947 Mon Sep 17 00:00:00 2001
From: Pietro Incardona <incardon@mpi-cbg.de>
Date: Sat, 8 Aug 2015 19:26:19 +0200
Subject: [PATCH] Fixing Jenkins script

---
 build_pdata.sh | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/build_pdata.sh b/build_pdata.sh
index 46377375..34f12663 100644
--- a/build_pdata.sh
+++ b/build_pdata.sh
@@ -106,13 +106,13 @@ then
  source /etc/profile
  echo "$PATH"
  module load gcc/4.8.2
- module load boost/1.55.0-gnu4.8
+ module load boost/1.56.0-gnu4.9.1
  module load openmpi/1.8.7
  module unload bullxmpi
  module load metis/5.1.0
 
  sh ./autogen.sh
- ./configure --with-metis=$METIS_ROOT CXX=mpic++
+ ./configure --with-metis=$METIS_ROOT --with-boost=$BOOST_ROOT CXX=mpic++
  make
  if [ $? -ne 0 ]; then exit 1 ; fi
 
-- 
GitLab