From 6b6d14861898b3fff4de78a23ff08686f9e87b0b Mon Sep 17 00:00:00 2001 From: =?utf8?q?Uwe=20K=C3=B6cher?= Date: Tue, 10 Nov 2015 20:34:08 +0100 Subject: [PATCH] dealii-prepare: more verbose output for forced skipped packages --- deal.II-toolchain/packages/dealii-prepare.package | 15 +++++++++++---- 1 file changed, 11 insertions(+), 4 deletions(-) diff --git a/deal.II-toolchain/packages/dealii-prepare.package b/deal.II-toolchain/packages/dealii-prepare.package index fa3df42..89c3285 100644 --- a/deal.II-toolchain/packages/dealii-prepare.package +++ b/deal.II-toolchain/packages/dealii-prepare.package @@ -1,17 +1,19 @@ NAME=dealii-prepare BUILDCHAIN=ignore -######################################################################### +################################################################################ # Loop over the options in DEAL_CONFOPTS and if the package is turned off, add # it to the PACKAGES_OFF list. -for PACKAGE in ${DEAL_CONFOPTS[@]}; do - case ${PACKAGE} in +for option in ${DEAL_CONFOPTS[@]}; do + case ${option} in *DEAL_II_WITH*:BOOL=OFF) - PACKAGE_NAME=${PACKAGE##*WITH_}; + PACKAGE_NAME=${option##*WITH_}; PACKAGE_NAME=${PACKAGE_NAME%%:BOOL*}; PACKAGES_OFF=${PACKAGE_NAME}' '${PACKAGES_OFF};; esac done +unset option +unset PACKAGE_NAME # Turn off ParMETIS and SuperLU_dist if metis is off. if [[ ${PACKAGES_OFF} =~ 'METIS' ]]; then @@ -30,4 +32,9 @@ fi # Transform upper case to lower case. PACKAGES_OFF=${PACKAGES_OFF,,} +if [ ! -z "${PACKAGES_OFF}" ]; then + cecho ${INFO} "deal.II: forcing package skip for: ${PACKAGES_OFF}" + read +fi + PACKAGE=dealii-prepare -- 2.39.5