]> https://gitweb.dealii.org/ - candi.git/commitdiff
dealii-prepare: more verbose output for forced skipped packages
authorUwe Köcher <koecher@hsu-hamburg.de>
Tue, 10 Nov 2015 19:34:08 +0000 (20:34 +0100)
committerUwe Köcher <koecher@hsu-hamburg.de>
Tue, 10 Nov 2015 19:34:08 +0000 (20:34 +0100)
deal.II-toolchain/packages/dealii-prepare.package

index fa3df42aca5ab3789b2134c9bdf698cd36196b65..89c3285351219e3ef567d5c47cc14bc17fd91076 100644 (file)
@@ -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

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.