From 63d873e980e5a44d51ec64189c0978053dedc679 Mon Sep 17 00:00:00 2001
From: Sven Verdoolaege <skimo@kotnet.org>
Date: Wed, 20 Oct 2010 14:50:26 +0200
Subject: [PATCH] version.c: show use of CLooG

---
 version.c | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/version.c b/version.c
index a7f3967..62a0af6 100644
--- a/version.c
+++ b/version.c
@@ -39,6 +39,11 @@ const char *barvinok_version(void)
 #else
 	" -GLPK"
 #endif
+#ifdef HAVE_CLOOG
+	" +CLOOG"
+#else
+	" -CLOOG"
+#endif
 #ifdef POINTS2TRIANGS_PATH
 	" +TOPCOM"
 #else
-- 
2.11.4.GIT