From: Daniel Arndt 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=refs%2Fpull%2F79%2Fhead;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