From 6c40d2e90608217fd4766d0bcef79486f6c2776b Mon Sep 17 00:00:00 2001 From: Sebastian Kinnewig Date: Wed, 17 Jun 2020 10:12:48 +0200 Subject: [PATCH] add debian10 as supported platform --- .../platforms/supported/debian10.platform | 23 +++++++++++++++++++ 1 file changed, 23 insertions(+) create mode 100644 deal.II-toolchain/platforms/supported/debian10.platform diff --git a/deal.II-toolchain/platforms/supported/debian10.platform b/deal.II-toolchain/platforms/supported/debian10.platform new file mode 100644 index 0000000..d640355 --- /dev/null +++ b/deal.II-toolchain/platforms/supported/debian10.platform @@ -0,0 +1,23 @@ +# debian 10 +# +# This build script assumes that you have several packages already +# installed via debian's apt-get using the following commands: +# +# > sudo apt-get install build-essential automake autoconf gfortran \ +# 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 +# +# Then reboot and run candi again. +## + +## on debian 10 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} \ + -D HAVE_PARMETIS_VERSION_4_0_3=ON" + +# +# Define the additional packages for this platform. +#PACKAGES="once:cmake ${PACKAGES}" -- 2.39.5