From 9f4a50e1ba4c389110c859a92b7589c778b81cb3 Mon Sep 17 00:00:00 2001
From: Timo Heister <timo.heister@gmail.com>
Date: Thu, 21 Apr 2016 17:41:50 +0100
Subject: [PATCH] advertise explicit instantiation setting for Trilinos

also see #1643
---
 doc/external-libs/trilinos.html | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/doc/external-libs/trilinos.html b/doc/external-libs/trilinos.html
index 99b8c88b95..10c68f2b06 100644
--- a/doc/external-libs/trilinos.html
+++ b/doc/external-libs/trilinos.html
@@ -60,7 +60,7 @@
       reasonable configuration (we require MueLu starting from 12.0):
       <pre>
 
-	cd trilinos-12.0.1
+	cd trilinos-12.4.2
 	mkdir build
 	cd build
 
@@ -75,6 +75,7 @@
 	-D Trilinos_EXTRA_LINK_FLAGS="-lgfortran" \
 	-D CMAKE_VERBOSE_MAKEFILE=FALSE \
 	-D Trilinos_VERBOSE_CONFIGURE=FALSE \
+	-D Trilinos_ENABLE_EXPLICIT_INSTANTIATION=ON \
 	-D TPL_ENABLE_MPI=ON \
 	-D BUILD_SHARED_LIBS=ON \
 	-D CMAKE_INSTALL_PREFIX:PATH=$HOME/share/trilinos \
-- 
2.39.5