diff -Naur isl-0.19.orig/Makefile.in isl-0.19/Makefile.in
--- isl-0.19.orig/Makefile.in	2018-03-03 11:32:15.000000000 -0500
+++ isl-0.19/Makefile.in	2018-03-10 17:29:30.039182728 -0500
@@ -2269,10 +2269,10 @@
 	case $$libisl in \
 	'') echo Cannot find isl library name. GDB bindings not installed.;; \
 	*) echo $(INSTALL_DATA) $(srcdir)/libisl-gdb.py \
-		$(DESTDIR)$(libdir)/$$libisl-gdb.py; \
-	test -z "$(libdir)" || $(MKDIR_P) "$(DESTDIR)$(libdir)"; \
+		$(DESTDIR)$(prefix)/share/gdb/auto-load$(libdir)/$$libisl-gdb.py; \
+	test -z "$(libdir)" || $(MKDIR_P) "$(DESTDIR)$(prefix)/share/gdb/auto-load$(libdir)"; \
 	$(INSTALL_DATA) $(srcdir)/libisl-gdb.py \
-	    $(DESTDIR)$(libdir)/$$libisl-gdb.py; \
+	    $(DESTDIR)$(prefix)/share/gdb/auto-load$(libdir)/$$libisl-gdb.py; \
 	esac
 
 uninstall-local:
