Rename parmetis patch

diff --git a/deal.II-toolchain/packages/parmetis.package b/deal.II-toolchain/packages/parmetis.package
index 99e44e7e19a1eb876826b8634c472d1da2e3b70b..d047deed2c1c9c63faf5f3d8bbbd235a17cc280f 100644 (file)
--- 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