diff --git a/script/install_Parmetis.sh b/script/install_Parmetis.sh index 17cd3a99dcc5c590a75e435e59ffb2cc039540ce..56abb4b2a0f628f735e9f15fc5aa1b9bf98a5541 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