diff --git a/system/devel/isl/files/isl-0.07-gdb-autoload-dir.patch b/system/devel/isl/files/isl-0.07-gdb-autoload-dir.patch
new file mode 100644
index 00000000..58e80b29
--- /dev/null
+++ b/system/devel/isl/files/isl-0.07-gdb-autoload-dir.patch
@@ -0,0 +1,17 @@
+Install python module into gdb auto-load directory.
+
+--- a/Makefile.in
++++ b/Makefile.in
+@@ -2189,9 +2189,9 @@ install-data-local: $(srcdir)/isl.py
+ 	case $$libisl in \
+ 	'') echo Cannot find isl library name. GDB bindings not installed.;; \
+ 	*) echo $(INSTALL_DATA) $(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
++		$(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)/isl.py $(DESTDIR)$(prefix)/share/gdb/auto-load$(libdir)/$$libisl-gdb.py; esac
+ 
+ # Tell versions [3.59,3.63) of GNU make to not export all variables.
+ # Otherwise a system limit (for SysV at least) may be exceeded.
diff --git a/system/devel/isl/pspec.xml b/system/devel/isl/pspec.xml
index 1b5dbcfe..20d9b7ed 100644
--- a/system/devel/isl/pspec.xml
+++ b/system/devel/isl/pspec.xml
@@ -16,6 +16,9 @@
         <BuildDependencies>
             <Dependency>gmp-devel</Dependency>
         </BuildDependencies>
+        <Patches>
+            <Patch>isl-0.07-gdb-autoload-dir.patch</Patch>
+        </Patches>
     </Source>
 
     <Package>
@@ -26,6 +29,7 @@
         <Files>
             <Path fileType="library">/usr/lib</Path>
             <Path fileType="doc">/usr/share/doc</Path>
+            <Path fileType="data">/usr/share/gdb</Path>
         </Files>
     </Package>
 
@@ -42,6 +46,13 @@
     </Package>
 
     <History>
+        <Update release="3">
+            <Date>2017-04-08</Date>
+            <Version>0.18</Version>
+            <Comment>fix ldconfig.</Comment>
+            <Name>Ertuğrul Erata</Name>
+            <Email>ertugrulerata@gmail.com</Email>
+        </Update>
         <Update release="3">
             <Date>2017-01-27</Date>
             <Version>0.18</Version>