-
Pietro Incardona authoredPietro Incardona authored
install_Metis.sh 1.09 KiB
#! /bin/bash
source script/discover_os
discover_os
# check if the directory $1/METIS exist
if [ -d "$1/METIS" ]; then
echo "METIS is already installed"
exit 0
fi
## Remove old download
rm metis-5.1.0.tar.gz
rm -rf metis-5.1.0
wget http://ppmcore.mpi-cbg.de/upload/metis-5.1.0.tar.gz
tar -xf metis-5.1.0.tar.gz
cd metis-5.1.0
if [ x"$platform" == x"cygwin" ]; then
shared_opt="-DSHARED=OFF"
else
shared_opt="-DSHARED=ON"
fi
cputype=$(uname -m | sed "s/\\ /_/g")
systype=$(uname -s)
BUILDDIR=build/$systype-$cputype
mkdir -p $BUILDDIR
cd $BUILDDIR
if [ "$#" -eq 4 ]; then
echo "cmake ../../. $shared_opt -DGKLIB_PATH=../../GKlib -DCMAKE_INSTALL_PREFIX=$1/METIS -DCMAKE_C_COMPILER=$2 -DCMAKE_CXX_COMPILER=$3"
cmake ../../. $shared_opt -DGKLIB_PATH=../../GKlib -DCMAKE_INSTALL_PREFIX=$1/METIS -DCMAKE_C_COMPILER=$2 -DCMAKE_CXX_COMPILER=$3
else
echo "cmake ../../. $shared_opt -DGKLIB_PATH=../../GKlib -DCMAKE_INSTALL_PREFIX=$1/METIS"
cmake ../../. $shared_opt -DGKLIB_PATH=../../GKlib -DCMAKE_INSTALL_PREFIX=$1/METIS
fi
make -j $4
make install
# Mark the installation
echo 3 > $1/METIS/version