metis.sh 391 Bytes
Newer Older
rusty1s's avatar
rusty1s committed
1
2
#!/bin/bash

rusty1s's avatar
rusty1s committed
3
4
if [ "${TRAVIS_OS_NAME}" = "windows" ]; then
  choco install make
rusty1s's avatar
cmake  
rusty1s committed
5
  cmake --help
rusty1s's avatar
rusty1s committed
6
7
fi

rusty1s's avatar
rusty1s committed
8
9
10
11
12
13
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
echo  
rusty1s committed
14
echo "CONFIG"
rusty1s's avatar
rusty1s committed
15
make config
rusty1s's avatar
echo  
rusty1s committed
16
echo "MAKE"
rusty1s's avatar
rusty1s committed
17
make
rusty1s's avatar
echo  
rusty1s committed
18
echo "MAKE INSTALL"
rusty1s's avatar
sudo  
rusty1s committed
19
sudo make install
rusty1s's avatar
go back  
rusty1s committed
20
cd ..