install make

5288d2b7 · rusty1s · 8e01fb7c · 5288d2b7
Commit 5288d2b7 authored Feb 20, 2020 by rusty1s
Hide whitespace changes
Inline Side-by-side

Showing with 4 additions and 0 deletions

script/metis.sh script/metis.sh +4 -0

No files found.
--- a/script/metis.sh
+++ b/script/metis.sh
 #!/bin/bash

+if [ "${TRAVIS_OS_NAME}" = "windows" ]; then
+  choco install make
+fi
+
 METIS=metis-5.1.0

 wget -nv http://glaros.dtc.umn.edu/gkhome/fetch/sw/metis/${METIS}.tar.gz