From: Daniel Arndt <daniel.arndt@iwr.uni-heidelberg.de>
Date: Tue, 15 May 2018 20:14:02 +0000 (+0200)
Subject: Rename parmetis patch
X-Git-Tag: v9.0.0~15^2
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=f569a5954a3b93a7a896bbb46518a7a3f9a2109e;p=candi.git

Rename parmetis patch
---

diff --git a/deal.II-toolchain/packages/parmetis.package b/deal.II-toolchain/packages/parmetis.package
index 99e44e7..d047dee 100644
--- a/deal.II-toolchain/packages/parmetis.package
+++ b/deal.II-toolchain/packages/parmetis.package
@@ -39,7 +39,7 @@ package_specific_patch () {
     if [ "$VERSION" = "4.0.3" ]; then
       cd ${UNPACK_PATH}/${EXTRACTSTO}
       cecho ${WARN} "applying patch for building METIS shared libraries"
-      patch -p0 --forward < ${ORIG_DIR}/${PROJECT}/patches/parmetis.patch || true
+      patch -p0 --forward < ${ORIG_DIR}/${PROJECT}/patches/parmetis-4.0.3-build.patch || true
     fi
 }
 
diff --git a/deal.II-toolchain/patches/parmetis.patch b/deal.II-toolchain/patches/parmetis-4.0.3-build.patch
similarity index 100%
rename from deal.II-toolchain/patches/parmetis.patch
rename to deal.II-toolchain/patches/parmetis-4.0.3-build.patch