From 0596a74929538f491ba2b1b7abd5d8668c96549d Mon Sep 17 00:00:00 2001
From: Pietro Incardona <incardon@mpi-cbg.de>
Date: Tue, 11 Jul 2017 13:39:10 +0200
Subject: [PATCH] Fixing installation of Parmetis

---
 script/install_Parmetis.sh | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/script/install_Parmetis.sh b/script/install_Parmetis.sh
index 17cd3a99d..56abb4b2a 100755
--- a/script/install_Parmetis.sh
+++ b/script/install_Parmetis.sh
@@ -1,5 +1,8 @@
 #! /bin/bash
 
+source script/discover_os
+discover_os
+
 # check if the directory $1/PARMETIS exist
 
 if [ -d "$1/PARMETIS" ]; then
@@ -23,8 +26,6 @@ fi
 
 $sed_command -i "/#define\sIDXTYPEWIDTH\s32/c\#define IDXTYPEWIDTH 64" metis/include/metis.h
 
-sed #define IDXTYPEWIDTH 32
-
 make config prefix=$1/PARMETIS
 make -j $2
 if [ $? -ne 0 ]; then
-- 
GitLab