From 28f26ae326ec8381f438d2156fab7a6b47f3f06f Mon Sep 17 00:00:00 2001
From: Matthias Hochsteger <matthias.hochsteger@tuwien.ac.at>
Date: Sat, 22 Sep 2018 12:50:59 +0200
Subject: [PATCH] [cmake] Use other mirror for metis sources

---
 cmake/external_projects/metis.cmake | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/cmake/external_projects/metis.cmake b/cmake/external_projects/metis.cmake
index aa997e9e..0e5f4711 100644
--- a/cmake/external_projects/metis.cmake
+++ b/cmake/external_projects/metis.cmake
@@ -3,8 +3,8 @@ set(METIS_DIR ${CMAKE_CURRENT_BINARY_DIR}/dependencies/metis)
 
 ExternalProject_Add(project_metis
   PREFIX ${CMAKE_CURRENT_BINARY_DIR}/dependencies
-  URL "http://glaros.dtc.umn.edu/gkhome/fetch/sw/metis/metis-5.1.0.tar.gz"
-  URL_MD5 5465e67079419a69e0116de24fce58fe
+  URL "http://ftp.mcs.anl.gov/pub/petsc/externalpackages/metis-5.1.0-p3.tar.gz"
+  URL_MD5 09d2d771c63a2efb3499882688100088
   DOWNLOAD_DIR ${CMAKE_CURRENT_SOURCE_DIR}/external_dependencies
   CMAKE_ARGS
          -DGKLIB_PATH=${METIS_SRC_DIR}/GKlib