From ec6bf65db10f5bf06172ee495a613fa825f0ff28 Mon Sep 17 00:00:00 2001
From: =?utf8?q?Uwe=20K=C3=B6cher?= <koecher@hsu-hamburg.de>
Date: Sat, 24 Oct 2015 10:59:26 +0200
Subject: [PATCH] deal.II: trilinos package: safe major versioning

---
 deal.II/packages/trilinos.package | 17 ++++++++---------
 1 file changed, 8 insertions(+), 9 deletions(-)

diff --git a/deal.II/packages/trilinos.package b/deal.II/packages/trilinos.package
index 9422db8..0c031d9 100644
--- a/deal.II/packages/trilinos.package
+++ b/deal.II/packages/trilinos.package
@@ -1,17 +1,16 @@
-if [ ${TRILINOS_MAJOR_VERSION} = "AUTO" ]; then
-  TRILINOS_MAJOR_VERSION=12
-fi
+if [ ${TRILINOS_MAJOR_VERSION} = "AUTO" ] || [ ${TRILINOS_MAJOR_VERSION} = "12" ]; then
+  SOURCE=http://trilinos.csbsju.edu/download/files/
+  VERSION=12.2.1
+  CHECKSUM=760f14cbce482b4b9a41d1c18297b531
 
-if [ ${TRILINOS_MAJOR_VERSION} = "11" ]; then
+elif [ ${TRILINOS_MAJOR_VERSION} = "11" ]; then
   SOURCE=https://trilinos.org/oldsite/download/files/
   VERSION=11.6.2
   CHECKSUM=15ea6af5559f872919ff19fe5a322eb6
-fi
 
-if [ ${TRILINOS_MAJOR_VERSION} = "12" ]; then
-  SOURCE=http://trilinos.csbsju.edu/download/files/
-  VERSION=12.2.1
-  CHECKSUM=760f14cbce482b4b9a41d1c18297b531
+else
+  cecho ${BAD} "Unknown Trilinos version ${TRILINOS_MAJOR_VERSION} forced, please use AUTO|12|11."
+  exit
 fi
 
 NAME=trilinos-${VERSION}-Source
-- 
2.39.5