From b78fdffb81a371065318ee2708add6e39eae2f3c Mon Sep 17 00:00:00 2001
From: Sven Verdoolaege <skimo@kotnet.org>
Date: Sun, 18 Dec 2011 10:45:55 +0100
Subject: [PATCH] add isl.py to distribution

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
---
 Makefile.am | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/Makefile.am b/Makefile.am
index 342e990..b40dc6c 100644
--- a/Makefile.am
+++ b/Makefile.am
@@ -389,7 +389,8 @@ install-data-local:
 uninstall-local:
 	rm -f "$(DESTDIR)$(pkgconfig_libdir)/$(pkgconfig_libfile)"
 
-dist-hook:
+dist-hook: isl.py
+	cp isl.py $(distdir)/
 	(cd $(distdir)/polymake; \
 	    ./autogen.sh; rm -rf autogen.sh autom4te.cache)
 	(cd doc; make barvinok.pdf)
-- 
2.11.4.GIT