Move patch file

diff --git a/deal.II-toolchain/packages/boost.package b/deal.II-toolchain/packages/boost.package
index cd6dfe21d37c4f35c3f689cb1d2fd219cd077d8c..a8ee302b2fd67dd5ff1a8c3abfc80dfbf6691617 100644 (file)
--- 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