]> https://gitweb.dealii.org/ - candi.git/commitdiff
Addresses issue #154 CentOS cmake is too old
authorohcfe <1978998+ohcfe@users.noreply.github.com>
Wed, 23 Dec 2020 11:06:23 +0000 (06:06 -0500)
committerTimo Heister <timo.heister@gmail.com>
Fri, 8 Jan 2021 20:34:40 +0000 (15:34 -0500)
deal.II-toolchain/platforms/supported/centos7.platform

index 466df91949b2544543d3e0068c8e9f5030cafae0..f032ea6bcdb7b7f31800c1c360d8cd4e54f4f202 100644 (file)
@@ -27,5 +27,5 @@ TRILINOS_PARMETIS_CONFOPTS="\
 
 #
 # 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.