metis.sh 330 Bytes
Newer Older
rusty1s's avatar
rusty1s committed
1
2
3
4
5
6
7
8
#!/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
rusty1s's avatar
windows  
rusty1s committed
9
10
11
12
13
14
15
16

if [ "${TRAVIS_OS_NAME}" = "windows" ]; then
  make config
  make
  sudo make install
else
  ./vsgen
fi
rusty1s's avatar
go back  
rusty1s committed
17
cd ..