]> https://gitweb.dealii.org/ - candi.git/commitdiff
Clean auto-choice of Trilinos version.
authorBruno Turcksin <bruno.turcksin@gmail.com>
Thu, 22 Oct 2015 23:06:53 +0000 (18:06 -0500)
committerBruno Turcksin <bruno.turcksin@gmail.com>
Thu, 22 Oct 2015 23:06:53 +0000 (18:06 -0500)
candi.sh

index b45acad375753afd58a0ebeb1ebae8873f379686..a974c6362fcb032c6865c13054f951675594c2b9 100755 (executable)
--- a/candi.sh
+++ b/candi.sh
@@ -441,6 +441,9 @@ guess_architecture() {
 ###############################################################################
 # Start the build process
 
+# Set the default version of Trilinos to 12. This is overwritten for Ubuntu12
+TRILINOS_MAJOR_VERSION_AUTO=12
+
 export ORIG_DIR=`pwd`
 
 # Read configuration variables from candi.cfg
@@ -706,13 +709,8 @@ guess_architecture
 # Reset timings
 TIMINGS=""
 
-# If TRILINOS_MAJOR_VERSION is set to AUTO, pick Trilinos 11 except for Ubuntu 12
 if [[ ${TRILINOS_MAJOR_VERSION} == "AUTO" ]]; then
-  if [[ ${PLATFORM} == *"ubuntu12"* ]]; then
-    TRILINOS_MAJOR_VERSION=11
-  else
-    TRILINOS_MAJOR_VERSION=12
-  fi
+  TRILINOS_MAJOR_VERSION=${TRILINOS_MAJOR_VERSION_AUTO}
 fi
 
 # Fetch and build individual packages

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.