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

Move patch file
---

diff --git a/deal.II-toolchain/packages/boost.package b/deal.II-toolchain/packages/boost.package
index cd6dfe2..a8ee302 100644
--- a/deal.II-toolchain/packages/boost.package
+++ b/deal.II-toolchain/packages/boost.package
@@ -24,7 +24,7 @@ package_specific_patch () {
     if [ "$VERSION" = "1_63_0" ]; then
       cd ${UNPACK_PATH}/${EXTRACTSTO}
       cecho ${WARN} "applying patch for zlib bzip conflict"
-      patch -p0 --forward < ${ORIG_DIR}/${PROJECT}/patches/boost-conflict.patch || true
+      patch -p0 --forward < ${ORIG_DIR}/${PROJECT}/patches/boost-1.63.0-conflict.patch || true
     fi
 }
 
diff --git a/deal.II-toolchain/patches/boost-conflict.patch b/deal.II-toolchain/patches/boost-1.63.0-conflict.patch
similarity index 100%
rename from deal.II-toolchain/patches/boost-conflict.patch
rename to deal.II-toolchain/patches/boost-1.63.0-conflict.patch