deal.II: CentOS7 included in comment, that the program 'patch' has to be installed

diff --git a/deal.II/platforms/supported/centos7.platform b/deal.II/platforms/supported/centos7.platform
index 641b7e57e77ced314822c372586ac281972257d7..1a99abfa5a99b6fd3ae19777145eafc2ef2d8f45 100644 (file)
--- a/deal.II/platforms/supported/centos7.platform
+++ b/deal.II/platforms/supported/centos7.platform
@@ -3,7 +3,7 @@
 # This build script assumes that you have several packages already
 # installed via RHEL's yum using the following command:
 #
-# su -c 'yum install -y svn git wget \
+# su -c 'yum install -y patch svn git wget \
 # @development-tools gcc-c++ cmake \
 # openmpi openmpi-devel \
 # blas blas-devel lapack lapack-devel \