]> https://gitweb.dealii.org/ - candi.git/commitdiff
deal.II: opencascade auto off
authorUwe Köcher <koecher@hsu-hamburg.de>
Tue, 10 Nov 2015 21:53:09 +0000 (22:53 +0100)
committerUwe Köcher <koecher@hsu-hamburg.de>
Tue, 10 Nov 2015 21:53:09 +0000 (22:53 +0100)
deal.II-toolchain/packages/dealii.package

index 2da0a7b52467d3c7a4df2a18fc0a58e3052ae6d1..fb2cd4ff82bc99d0f3eb9f5f2ee422e803028dbd 100644 (file)
@@ -10,7 +10,10 @@ BUILDDIR=${BUILD_PATH}/deal.II-${VERSION}
 INSTALL_PATH=${ORIG_INSTALL_PATH}/deal.II-${VERSION}
 
 ################################################################################
-#Choose configuration and components of deal.II
+# Please do not change the line below!
+
+################################################################################
+#Choose general configuration and components of deal.II
 
 CONFOPTS=" \
 ${DEAL_CONFOPTS} \
@@ -112,6 +115,15 @@ if [ ! -z "${SLEPC_DIR}" ]; then
 fi
 
 # opencascade
+if [[ ${PACKAGES_OFF} =~ 'opencascade' ]]; then
+    # Disable OPENCASCADE for deal.II, if a special DEAL_CONFOPTS together with
+    # the dealii-prepare loop forces opencascade to be off
+    if [ ! -z "${OPENCASCADE_DIR}" ]; then
+        cecho ${INFO} "deal.II: unset OPENCASCADE_DIR due to forced DEAL_II_WITH_OPENCASCADE:BOOL=OFF option"
+        unset OPENCASCADE_DIR
+    fi
+fi
+
 if [ ! -z "${OPENCASCADE_DIR}" ]; then
     cecho ${INFO} "deal.II: configuration with OPENCASCADE"
     CONFOPTS="\

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.