diff --git a/system/devel/isl/files/isl-0.19-gdb-autoload-dir.patch b/system/devel/isl/files/isl-0.19-gdb-autoload-dir.patch new file mode 100644 index 00000000..0aa16480 --- /dev/null +++ b/system/devel/isl/files/isl-0.19-gdb-autoload-dir.patch @@ -0,0 +1,18 @@ +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: + diff --git a/system/devel/isl/pspec.xml b/system/devel/isl/pspec.xml index f24b533c..babbedec 100644 --- a/system/devel/isl/pspec.xml +++ b/system/devel/isl/pspec.xml @@ -12,12 +12,12 @@ library Integer Set Library isl is a library for manipulating sets and relations of integer points bounded by linear constraints. - http://isl.gforge.inria.fr/isl-0.18.tar.bz2 + http://isl.gforge.inria.fr/isl-0.21.tar.bz2 gmp-devel - isl-0.07-gdb-autoload-dir.patch + isl-0.19-gdb-autoload-dir.patch @@ -46,6 +46,13 @@ + + 2019-12-15 + 0.21 + Version bump. + Mustafa Cinasal + muscnsl@gmail.com + 2018-07-15 0.18