isl-0.21
This commit is contained in:
@@ -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:
|
||||
|
||||
@@ -12,12 +12,12 @@
|
||||
<IsA>library</IsA>
|
||||
<Summary>Integer Set Library</Summary>
|
||||
<Description>isl is a library for manipulating sets and relations of integer points bounded by linear constraints.</Description>
|
||||
<Archive sha1sum="bbffc5a2b05e4f0c97e882f96c448504491dc4ed" type="tarbz2">http://isl.gforge.inria.fr/isl-0.18.tar.bz2</Archive>
|
||||
<Archive sha1sum="33e366d59d32330432b5c7f2d0c2fb6664eff224" type="tarbz2">http://isl.gforge.inria.fr/isl-0.21.tar.bz2</Archive>
|
||||
<BuildDependencies>
|
||||
<Dependency>gmp-devel</Dependency>
|
||||
</BuildDependencies>
|
||||
<Patches>
|
||||
<Patch>isl-0.07-gdb-autoload-dir.patch</Patch>
|
||||
<Patch>isl-0.19-gdb-autoload-dir.patch</Patch>
|
||||
</Patches>
|
||||
</Source>
|
||||
|
||||
@@ -46,6 +46,13 @@
|
||||
</Package>
|
||||
|
||||
<History>
|
||||
<Update release="5">
|
||||
<Date>2019-12-15</Date>
|
||||
<Version>0.21</Version>
|
||||
<Comment>Version bump.</Comment>
|
||||
<Name>Mustafa Cinasal</Name>
|
||||
<Email>muscnsl@gmail.com</Email>
|
||||
</Update>
|
||||
<Update release="4">
|
||||
<Date>2018-07-15</Date>
|
||||
<Version>0.18</Version>
|
||||
|
||||
Reference in New Issue
Block a user