]> https://gitweb.dealii.org/ - candi.git/commitdiff
dealii-prepare: let the user confirm skipped packages due to DEAL_CONFOPTS and remove...
authorUwe Köcher <koecher@hsu-hamburg.de>
Tue, 10 Nov 2015 21:36:50 +0000 (22:36 +0100)
committerUwe Köcher <koecher@hsu-hamburg.de>
Tue, 10 Nov 2015 21:36:50 +0000 (22:36 +0100)
deal.II-toolchain/packages/dealii-prepare.package

index 30e13f56fae17061e8cfabff364fcd4a05ce0eea..025573f6821b68782e59aa6b710d55a76f7d36ad 100644 (file)
@@ -15,17 +15,14 @@ done
 unset option
 unset PACKAGE_NAME
 
-# Turn off ParMETIS and SuperLU_dist if metis is off.
-if [[ ${PACKAGES_OFF} =~ 'METIS' ]]; then
-    PACKAGES_OFF=${PACKAGES_OFF}' PARMETIS';
-    PACKAGES_OFF=${PACKAGES_OFF}' SUPERLU_DIST';
-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}"
+    cecho ${WARN} "deal.II: forcing package skip for: ${PACKAGES_OFF}"
+    cecho ${INFO} "This is coming from your personal DEAL_CONFOPTS settings!"
+    echo
+    cecho ${GOOD} "Please confirm this behaviour by pressing enter..."
     read
 fi
 

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.