From 969c9734c1f3cd6f21e36e34ccacb5c02174c32f Mon Sep 17 00:00:00 2001
From: Sven Verdoolaege <skimo@kotnet.org>
Date: Sun, 2 Mar 2008 13:03:52 +0100
Subject: [PATCH] test Bernoulli sums based exact enumeration

---
 Makefile.am | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/Makefile.am b/Makefile.am
index a10f4e7..3d6cd82 100644
--- a/Makefile.am
+++ b/Makefile.am
@@ -370,7 +370,10 @@ check-enumerate: barvinok_enumerate$(EXEEXT)
 			echo "        $$opt"; \
 			./barvinok_enumerate$(EXEEXT) --verify $$opt < $$i || exit; \
 		    done \
-		done \
+		done; \
+		opt="--summation=bernoulli"; \
+		echo "        $$opt"; \
+		./barvinok_enumerate$(EXEEXT) --verify $$opt < $$i || exit; \
 	    fi \
 	done
 check-enumerate_e: barvinok_enumerate_e$(EXEEXT)
-- 
2.11.4.GIT