From f3f6e7585f2683a37fc5e4ccf44f74981ba4ed4d Mon Sep 17 00:00:00 2001
From: Michael Kruse <isl@meinersbur.de>
Date: Thu, 30 Jul 2015 19:02:36 +0200
Subject: [PATCH] Uninstall GDB bindings

'make distcheck' checks whether all files copied by 'make install' are
also deleted by 'make uninstall'. This patch uninstalls the previously
installed libisl.so.{version}-gdb.py.

Signed-off-by: Michael Kruse <isl@meinersbur.de>
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
---
 Makefile.am | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/Makefile.am b/Makefile.am
index a7b0b6cb..c4eb3ec4 100644
--- a/Makefile.am
+++ b/Makefile.am
@@ -369,3 +369,10 @@ install-data-local: $(srcdir)/isl.py
 		$(DESTDIR)$(libdir)/$$libisl-gdb.py; \
 	test -z "$(libdir)" || $(MKDIR_P) "$(DESTDIR)$(libdir)"; \
 	$(INSTALL_DATA) $(srcdir)/isl.py $(DESTDIR)$(libdir)/$$libisl-gdb.py; esac
+
+uninstall-local:
+	@libisl=`sed -ne "/^library_names=/{s/.*='//;s/'$$//;s/ .*//;p;}" \
+		 $(builddir)/libisl.la`; \
+	if test -n "$${libisl}"; then \
+		rm -f $(DESTDIR)$(libdir)/$$libisl-gdb.py; \
+	fi
-- 
2.11.4.GIT