From 4c7604b449853dc06c37cb9605909f1e4105d79f Mon Sep 17 00:00:00 2001
From: fvanmaele <41079259+fvanmaele@users.noreply.github.com>
Date: Tue, 10 Jul 2018 19:50:35 +0200
Subject: [PATCH] debian 9: bug: force to have parmetis 4.0.3 installed

---
 deal.II-toolchain/platforms/supported/debian9.platform | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/deal.II-toolchain/platforms/supported/debian9.platform b/deal.II-toolchain/platforms/supported/debian9.platform
index bbd5ea3..42e8110 100644
--- a/deal.II-toolchain/platforms/supported/debian9.platform
+++ b/deal.II-toolchain/platforms/supported/debian9.platform
@@ -12,6 +12,12 @@
 # Then reboot and run candi again.
 ##
 
+# on debian 9 the candi installed parmetis 4.0.3 is not recognized correctly
+# for trilinos 12-10-1. We force to assume parmetis version 4.0.3.
+TRILINOS_PARMETIS_CONFOPTS="\
+    ${TRILINOS_PARMETIS_CONFOPTS} \
+    -D HAVE_PARMETIS_VERSION_4_0_3=ON"
+
 #
 # Define the additional packages for this platform.
 #PACKAGES="once:cmake ${PACKAGES}"
-- 
2.39.5