metis.sh 512 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

rusty1s's avatar
rusty1s committed
10
if [ "${TRAVIS_OS_NAME}" != "windows" ]; then
rusty1s's avatar
windows  
rusty1s committed
11
12
13
  make config
  make
else
rusty1s's avatar
rusty1s committed
14
  ./vsgen.bat
rusty1s's avatar
rusty1s committed
15
  echo "--- BUILD"
rusty1s's avatar
library  
rusty1s committed
16
  ls build
rusty1s's avatar
rusty1s committed
17
  echo "--- WINDOWS"
rusty1s's avatar
library  
rusty1s committed
18
  ls build/windows
rusty1s's avatar
rusty1s committed
19
20
21
22
  echo "--- LIBMETIS"
  ls build/windows/libmetis
  echo "--- RELEASE"
  ls build/windows/libmetis/Release
rusty1s's avatar
windows  
rusty1s committed
23
fi
rusty1s's avatar
rusty1s committed
24

rusty1s's avatar
rusty1s committed
25
26
sudo make install

rusty1s's avatar
go back  
rusty1s committed
27
cd ..