From 2d705ca8162349577be2e0264bf78ebff89eb81c Mon Sep 17 00:00:00 2001
From: "Peter W. Draper" <p.w.draper@durham.ac.uk>
Date: Thu, 17 Jan 2019 20:57:31 +0000
Subject: [PATCH] When we don't have METIS say so

---
 examples/main.c | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/examples/main.c b/examples/main.c
index 8b2443edf8..9c71a6f6b4 100644
--- a/examples/main.c
+++ b/examples/main.c
@@ -504,8 +504,10 @@ int main(int argc, char *argv[]) {
       message("Using METIS serial partitioning:");
     else
       message("Using ParMETIS partitioning:");
-#else
+#elif defined(HAVE_METIS)
     message("Using METIS serial partitioning:");
+#else
+    message("Non-METIS partitioning:");
 #endif
     message("  initial partitioning: %s",
             initial_partition_name[initial_partition.type]);
-- 
GitLab