add unoffical master build

diff --git a/deal.II-toolchain/packages/trilinos.package b/deal.II-toolchain/packages/trilinos.package
index d864383bcb4f24bf7894cf1e2ea183cfa31bda4e..61cf9a87f6589e0740db7e87f5b69ea7816d56b7 100644 (file)
--- a/deal.II-toolchain/packages/trilinos.package
+++ b/deal.II-toolchain/packages/trilinos.package
@@ -2,7 +2,17 @@ if [ -z "${TRILINOS_MAJOR_VERSION}" ]; then
     TRILINOS_MAJOR_VERSION=AUTO
 fi
 
-if [ ${TRILINOS_MAJOR_VERSION} = "AUTO" ] || [ ${TRILINOS_MAJOR_VERSION} = "12" ]; then
+if [ ${TRILINOS_MAJOR_VERSION} = "AUTO" ];then
+    # download from github:
+    # this is the last "blessed" version we like:
+    VERSION=dbf41f3b26b0326a1377f219e6e07eab861d181e
+    EXTRACTSTO=trilinos-12.dbf41f
+
+    NAME=Trilinos.git
+    PACKING=git
+    SOURCE=https://github.com/trilinos/
+
+elif [ ${TRILINOS_MAJOR_VERSION} = "12" ]; then
     VERSION=12-12-1
     CHECKSUM=ecd4606fa332212433c98bf950a69cc7
 
@@ -15,6 +25,11 @@ if [ ${TRILINOS_MAJOR_VERSION} = "AUTO" ] || [ ${TRILINOS_MAJOR_VERSION} = "12"
     #VERSION=12-4-2
     #CHECKSUM=4c25a757d86bde3531090bd900a2cea8
 
+    SOURCE=https://github.com/trilinos/Trilinos/archive/
+    NAME=trilinos-release-${VERSION}
+    EXTRACTSTO=Trilinos-trilinos-release-${VERSION}
+    PACKING=.tar.gz
+
 elif [ ${TRILINOS_MAJOR_VERSION} = "11" ]; then
     VERSION=11-14-3
     CHECKSUM=dea62e57ebe51a886bee0b10a2176969
@@ -29,16 +44,16 @@ elif [ ${TRILINOS_MAJOR_VERSION} = "11" ]; then
     cecho ${BAD} "trilinos: warning: forcing unset SUPERLU_DIR (not supported)"
     unset SUPERLU_DIR
 
+    SOURCE=https://github.com/trilinos/Trilinos/archive/
+    NAME=trilinos-release-${VERSION}
+    EXTRACTSTO=Trilinos-trilinos-release-${VERSION}
+    PACKING=.tar.gz
+
 else
     cecho ${BAD} "Unknown Trilinos version ${TRILINOS_MAJOR_VERSION} forced, please use AUTO|12|11."
     exit
 fi
 
-SOURCE=https://github.com/trilinos/Trilinos/archive/
-NAME=trilinos-release-${VERSION}
-EXTRACTSTO=Trilinos-trilinos-release-${VERSION}
-PACKING=.tar.gz
-
 BUILDCHAIN=cmake
 
 INSTALL_PATH=${INSTALL_PATH}/${NAME}