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

mpfr isl libmpc ver. bump

Browse Source
This commit is contained in:
Rmys
2023-01-30 14:24:04 +03:00
parent 8ce619c5e4
commit 050af6fc60
10 changed files with 762 additions and 104 deletions
Download Patch File Download Diff File Expand all files Collapse all files
system/devel/isl/pspec.xml
+57
View File
@@ -0,0 +1,57 @@
<?xml version="1.0" ?>
<!DOCTYPE PISI SYSTEM "http://www.pisilinux.org/projeler/pisi/pisi-spec.dtd">
<PISI>
<Source>
<Name>isl</Name>
<Homepage>http://isl.gforge.inria.fr/</Homepage>
<Packager>
<Name>Serdar Soytetir</Name>
<Email>kaptan@pisilinux.org</Email>
</Packager>
<License>LGPLv2.1</License>
<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="247eecb538ff310e8fb77badd629ee32a3895a98" type="tarxz">https://libisl.sourceforge.io/isl-0.25.tar.xz</Archive>
<BuildDependencies>
<Dependency>gmp-devel</Dependency>
</BuildDependencies>
<Patches>
<Patch>isl-0.07-gdb-autoload-dir.patch</Patch>
</Patches>
</Source>
<Package>
<Name>isl</Name>
<RuntimeDependencies>
<Dependency>gmp</Dependency>
</RuntimeDependencies>
<Files>
<Path fileType="library">/usr/lib</Path>
<Path fileType="doc">/usr/share/doc</Path>
<Path fileType="data">/usr/share/gdb</Path>
</Files>
</Package>
<Package>
<Name>isl-devel</Name>
<Summary>Development files for isl</Summary>
<RuntimeDependencies>
<Dependency release="current">isl</Dependency>
</RuntimeDependencies>
<Files>
<Path fileType="header">/usr/include</Path>
<Path fileType="library">/usr/lib/pkgconfig</Path>
</Files>
</Package>
<History>
<Update release="1">
<Date>2023-01-28</Date>
<Version>0.25</Version>
<Comment>First release.</Comment>
<Name>Mustafa Cinasal</Name>
<Email>muscnsl@gmail.com</Email>
</Update>
</History>
</PISI>