Pisilinux/core
5
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Merge pull request #1000 from Rmys/master

Browse Source 
isl-0.21
This commit is contained in:
Rmys
2019-12-15 01:51:01 +03:00
committed by GitHub
parent 49454ec03b f59250fe74
commit 71a420cea8
2 changed files with 27 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files
system/devel/isl/files/isl-0.19-gdb-autoload-dir.patch
+18
View File
@@ -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:
system/devel/isl/pspec.xml
+9 -2
View File
@@ -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>