#!/bin/bash METIS=metis-5.1.0 wget -nv http://glaros.dtc.umn.edu/gkhome/fetch/sw/metis/${METIS}.tar.gz tar -xvzf ${METIS}.tar.gz cd ${METIS} || exit sed -i.bak -e 's/IDXTYPEWIDTH 32/IDXTYPEWIDTH 64/g' include/metis.h make config make
sudo make install
cd ..
