burakerturk
121 lines
4.3 KiB
XML
121 lines
4.3 KiB
XML
<?xml version="1.0" ?>
|
|
<!DOCTYPE PISI SYSTEM "http://www.pisilinux.org/projeler/pisi/pisi-spec.dtd">
|
|
<PISI>
|
|
<Source>
|
|
<Name>ppl</Name>
|
|
<Homepage>http://www.cs.unipr.it/ppl/</Homepage>
|
|
<Packager>
|
|
<Name>Serdar Soytetir</Name>
|
|
<Email>kaptan@pisilinux.org</Email>
|
|
</Packager>
|
|
<License>GPLv3</License>
|
|
<IsA>app:console</IsA>
|
|
<IsA>library</IsA>
|
|
<Summary>Pharma Polyhedra library</Summary>
|
|
<Description>ppl is the Parma Polyhedra Library that provides numerical abstractions for analysis of complex systems.</Description>
|
|
<Archive sha1sum="d24a9e95c22459b396820109c9bc195f35e60640" type="tarxz">http://bugseng.com/external/ppl/download/ftp/releases/1.1/ppl-1.1.tar.xz</Archive>
|
|
<BuildDependencies>
|
|
<!-- gmp with cxx support is needed -->
|
|
<Dependency>gmp-devel</Dependency>
|
|
<Dependency>glpk-devel</Dependency>
|
|
</BuildDependencies>
|
|
</Source>
|
|
|
|
<Package>
|
|
<Name>ppl</Name>
|
|
<RuntimeDependencies>
|
|
<Dependency>gmp</Dependency>
|
|
<Dependency>glpk</Dependency>
|
|
<Dependency>libgcc</Dependency>
|
|
</RuntimeDependencies>
|
|
<Files>
|
|
<Path fileType="executable">/usr/bin</Path>
|
|
<Path fileType="library">/usr/lib</Path>
|
|
<Path fileType="doc">/usr/share/doc/COPYING</Path>
|
|
<Path fileType="doc">/usr/share/doc/CREDITS</Path>
|
|
<Path fileType="doc">/usr/share/doc/README</Path>
|
|
<Path fileType="doc">/usr/share/doc/NEWS</Path>
|
|
<Path fileType="man">/usr/share/man</Path>
|
|
</Files>
|
|
</Package>
|
|
|
|
<Package>
|
|
<Name>ppl-docs</Name>
|
|
<PartOf>system.doc</PartOf>
|
|
<Summary>Documentation for ppl</Summary>
|
|
<RuntimeDependencies>
|
|
<Dependency>ppl</Dependency>
|
|
</RuntimeDependencies>
|
|
<Files>
|
|
<Path fileType="doc">/usr/share/doc/ppl</Path>
|
|
</Files>
|
|
</Package>
|
|
|
|
<Package>
|
|
<Name>ppl-devel</Name>
|
|
<Summary>Development files for ppl</Summary>
|
|
<RuntimeDependencies>
|
|
<Dependency release="current">ppl</Dependency>
|
|
<Dependency>gmp-devel</Dependency>
|
|
</RuntimeDependencies>
|
|
<Files>
|
|
<Path fileType="executable">/usr/bin/ppl-config</Path>
|
|
<Path fileType="header">/usr/include</Path>
|
|
<Path fileType="data">/usr/share/aclocal</Path>
|
|
<Path fileType="man">/usr/share/man/man3</Path>
|
|
</Files>
|
|
</Package>
|
|
|
|
<History>
|
|
<Update release="7">
|
|
<Date>2014-09-06</Date>
|
|
<Version>1.1</Version>
|
|
<Comment>Rebuild.</Comment>
|
|
<Name>Serdar Soytetir</Name>
|
|
<Email>kaptan@pisilinux.org</Email>
|
|
</Update>
|
|
<Update release="6">
|
|
<Date>2014-05-11</Date>
|
|
<Version>1.1</Version>
|
|
<Comment>Release bump.</Comment>
|
|
<Name>Marcin Bojara</Name>
|
|
<Email>marcin@pisilinux.org</Email>
|
|
</Update>
|
|
<Update release="5">
|
|
<Date>2014-03-29</Date>
|
|
<Version>1.1</Version>
|
|
<Comment>Version bump.</Comment>
|
|
<Name>Serdar Soytetir</Name>
|
|
<Email>kaptan@pisilinux.org</Email>
|
|
</Update>
|
|
<Update release="4">
|
|
<Date>2013-08-27</Date>
|
|
<Version>1.0</Version>
|
|
<Comment>Clean ppl, version bump.</Comment>
|
|
<Name>Serdar Soytetir</Name>
|
|
<Email>kaptan@pisilinux.org</Email>
|
|
</Update>
|
|
<Update release="3">
|
|
<Date>2013-08-01</Date>
|
|
<Version>1.0</Version>
|
|
<Comment>Fix deps.</Comment>
|
|
<Name>Serdar Soytetir</Name>
|
|
<Email>kaptan@pisilinux.org</Email>
|
|
</Update>
|
|
<Update release="2">
|
|
<Date>2013-02-19</Date>
|
|
<Version>1.0</Version>
|
|
<Comment>Add patch for gmp 5.10.</Comment>
|
|
<Name>Serdar Soytetir</Name>
|
|
<Email>kaptan@pisilinux.org</Email>
|
|
</Update>
|
|
<Update release="1">
|
|
<Date>2012-07-13</Date>
|
|
<Version>1.0</Version>
|
|
<Comment>First release</Comment>
|
|
<Name>Serdar Soytetir</Name>
|
|
<Email>kaptan@pisilinux.org</Email>
|
|
</Update>
|
|
</History>
|
|
</PISI>
|