Add Debian 10 as supported platform and add missing package for SymEngine (#238)

* add debian 10 as supported platform

* add package for symengine for centos/rhel 7

Co-authored-by: Sebastian Kinnewig <kinnewig@ifam.uni-hannover.de>

diff --git a/candi.sh b/candi.sh
index 55d8436a7435e616a2ac69c545f28a4a1978a418..db14abadc900e1ff976587cf2321a1f32b9794f0 100755 (executable)
--- a/candi.sh
+++ b/candi.sh
@@ -630,7 +630,7 @@ guess_platform() {
             echo rhel${OS_MAJOR_VER}
 
         elif [ "$OS_ID" == "debian" ]; then
-            echo debian${OS_MAJOR_VER}
+            echo debian
 
         elif [ "$OS_ID" == "ubuntu" ]; then
             echo ubuntu

diff --git a/deal.II-toolchain/platforms/supported/centos7.platform b/deal.II-toolchain/platforms/supported/centos7.platform
index b1bfe3fafcffc141f69b6259eb2b43575670bdfd..2f97bf9d909931a3f86580be93aa02aaa8e30e46 100644 (file)
--- a/deal.II-toolchain/platforms/supported/centos7.platform
+++ b/deal.II-toolchain/platforms/supported/centos7.platform
@@ -11,7 +11,8 @@
 # libtool libtool-ltdl libtool-ltdl-devel \
 # lua lua-devel \
 # blas blas-devel lapack lapack-devel \
-# doxygen graphviz graphviz-devel qt-devel
+# doxygen graphviz graphviz-devel qt-devel \
+# gmp-devel
 # 
 # Be sure to switch to the recent compilers with
 # $ scl enable devtoolset-9 bash 

diff --git a/deal.II-toolchain/platforms/supported/debian9.platform b/deal.II-toolchain/platforms/supported/debian.platform
similarity index 86%
rename from deal.II-toolchain/platforms/supported/debian9.platform
rename to deal.II-toolchain/platforms/supported/debian.platform
index cac50868c5cbd8deee7ceac73d78a337c387269f..d1c3072db9583e9b4efe69c94282e3ef95f327a3 100644 (file)
--- a/deal.II-toolchain/platforms/supported/debian9.platform
+++ b/deal.II-toolchain/platforms/supported/debian.platform
@@ -1,4 +1,4 @@
-# debian 9
+# Debian 
 #
 # This build script assumes that you have several packages already
 # installed via debian's apt-get using the following commands:
@@ -7,12 +7,12 @@
 #   openmpi-bin openmpi-common libopenmpi-dev cmake subversion git \
 #   libblas-dev liblapack-dev libblas3 liblapack3 splint tcl tcl-dev \
 #   environment-modules libsuitesparse-dev libtool libboost-all-dev \
-#   qt4-dev-tools
+#   qt4-dev-tools libgmp-dev
 #
 # Then reboot and run candi again.
 ##
 
-# on debian 9 the candi installed parmetis 4.0.3 is not recognized correctly
+# On Debian the candi installed parmetis 4.0.3 is not recognized correctly
 # for trilinos 12-10-1. We force to assume parmetis version 4.0.3.
 TRILINOS_PARMETIS_CONFOPTS="\
     ${TRILINOS_PARMETIS_CONFOPTS} \