]> https://gitweb.dealii.org/ - candi.git/commitdiff
projects / candi.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: ed8ff40)
Addresses issue #154 CentOS cmake is too old 156/head
authorohcfe <1978998+ohcfe@users.noreply.github.com>
Wed, 23 Dec 2020 11:06:23 +0000 (06:06 -0500)
committerGitHub <noreply@github.com>
Wed, 23 Dec 2020 11:06:23 +0000 (06:06 -0500)
deal.II-toolchain/platforms/supported/centos7.platform patch | blob | history

diff --git a/deal.II-toolchain/platforms/supported/centos7.platform b/deal.II-toolchain/platforms/supported/centos7.platform
index a68fde3f042ee07977d67d08355b41cc6a7a07f9..280bb890c15533e312d5d2e3ce5d779140447640 100644 (file)
--- a/deal.II-toolchain/platforms/supported/centos7.platform
+++ b/deal.II-toolchain/platforms/supported/centos7.platform
@@ -21,5 +21,5 @@
 
 #
 # Define the additional packages for this platform.
-#PACKAGES="once:cmake ${PACKAGES}"
+PACKAGES="once:cmake ${PACKAGES}"
 
Mirror of the development repository for candi

In the beginning the Universe was created. This has made a lot of people very angry and has been widely regarded as a bad move.

Douglas Adams


Typeset in Trocchi and Trocchi Bold Sans Serif.