]> https://gitweb.dealii.org/ - candi.git/commitdiff
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

index a68fde3f042ee07977d67d08355b41cc6a7a07f9..280bb890c15533e312d5d2e3ce5d779140447640 100644 (file)
@@ -21,5 +21,5 @@
 
 #
 # Define the additional packages for this platform.
-#PACKAGES="once:cmake ${PACKAGES}"
+PACKAGES="once:cmake ${PACKAGES}"
 

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.