Rmys
126 lines
3.4 KiB
XML
126 lines
3.4 KiB
XML
<?xml version="1.0" ?>
|
|
<!DOCTYPE PISI SYSTEM "https://pisilinux.org/projeler/pisi/pisi-spec.dtd">
|
|
<PISI>
|
|
<Source>
|
|
<Name>z3</Name>
|
|
<Homepage>https://github.com/Z3Prover/z3</Homepage>
|
|
<Packager>
|
|
<Name>PisiLinux Community</Name>
|
|
<Email>admins@pisilinux.org</Email>
|
|
</Packager>
|
|
<License>MIT</License>
|
|
<IsA>library</IsA>
|
|
<PartOf>programming.library</PartOf>
|
|
<Summary>The Z3 Theorem Prover.</Summary>
|
|
<Description>Z3 is a theorem prover from Microsoft Research.</Description>
|
|
<Archive sha1sum="449bb09a5842bdff80c3c7b6275dad1b11407c3c" type="targz">https://github.com/Z3Prover/z3/archive/refs/tags/z3-4.12.2.tar.gz</Archive>
|
|
<BuildDependencies>
|
|
<Dependency>cmake</Dependency>
|
|
<Dependency>ninja</Dependency>
|
|
<Dependency>gmp-devel</Dependency>
|
|
<Dependency>python3-devel</Dependency>
|
|
<Dependency>python3-setuptools</Dependency>
|
|
</BuildDependencies>
|
|
<Patches>
|
|
<Patch level="1">gcc13.patch</Patch>
|
|
</Patches>
|
|
</Source>
|
|
|
|
<Package>
|
|
<Name>z3</Name>
|
|
<RuntimeDependencies>
|
|
<Dependency>gmp</Dependency>
|
|
<Dependency>libgcc</Dependency>
|
|
<!-- <Dependency>python3</Dependency> -->
|
|
</RuntimeDependencies>
|
|
<Files>
|
|
<Path fileType="executable">/usr/bin</Path>
|
|
<Path fileType="library">/usr/lib</Path>
|
|
<Path fileType="doc">/usr/share/doc</Path>
|
|
</Files>
|
|
</Package>
|
|
|
|
<Package>
|
|
<Name>python3-z3</Name>
|
|
<PartOf>programming.language.python3</PartOf>
|
|
<RuntimeDependencies>
|
|
<Dependency release="current">z3</Dependency>
|
|
<Dependency>python3</Dependency>
|
|
</RuntimeDependencies>
|
|
<Files>
|
|
<Path fileType="library">/usr/lib/python*</Path>
|
|
</Files>
|
|
</Package>
|
|
|
|
<Package>
|
|
<Name>z3-devel</Name>
|
|
<RuntimeDependencies>
|
|
<Dependency release="current">z3</Dependency>
|
|
</RuntimeDependencies>
|
|
<Files>
|
|
<Path fileType="header">/usr/include</Path>
|
|
<Path fileType="library">/usr/lib/pkgconfig</Path>
|
|
<Path fileType="library">/usr/lib/cmake</Path>
|
|
</Files>
|
|
</Package>
|
|
|
|
<History>
|
|
<Update release="8">
|
|
<Date>2023-11-04</Date>
|
|
<Version>4.12.2</Version>
|
|
<Comment>Version bump.</Comment>
|
|
<Name>Mustafa Cinasal</Name>
|
|
<Email>muscnsl@gmail.com</Email>
|
|
</Update>
|
|
<Update release="7">
|
|
<Date>2023-01-28</Date>
|
|
<Version>4.12.1</Version>
|
|
<Comment>Version bump</Comment>
|
|
<Name>fury</Name>
|
|
<Email>uglyside@yandex.ru</Email>
|
|
</Update>
|
|
<Update release="6">
|
|
<Date>2022-09-05</Date>
|
|
<Version>4.11.2</Version>
|
|
<Comment>Version bump.</Comment>
|
|
<Name>fury</Name>
|
|
<Email>uglyside@yandex.ru</Email>
|
|
</Update>
|
|
<Update release="5">
|
|
<Date>2022-05-28</Date>
|
|
<Version>4.8.17</Version>
|
|
<Comment>Version bump.</Comment>
|
|
<Name>fury</Name>
|
|
<Email>uglyside@yandex.ru</Email>
|
|
</Update>
|
|
<Update release="4">
|
|
<Date>2021-10-11</Date>
|
|
<Version>4.8.12</Version>
|
|
<Comment>Version bump.</Comment>
|
|
<Name>fury</Name>
|
|
<Email>uglyside@yandex.ru</Email>
|
|
</Update>
|
|
<Update release="3">
|
|
<Date>2021-07-05</Date>
|
|
<Version>4.8.11</Version>
|
|
<Comment>Version bump.</Comment>
|
|
<Name>fury</Name>
|
|
<Email>uglyside@yandex.ru</Email>
|
|
</Update>
|
|
<Update release="2">
|
|
<Date>2021-03-24</Date>
|
|
<Version>4.8.10</Version>
|
|
<Comment>Version bump.</Comment>
|
|
<Name>fury</Name>
|
|
<Email>uglyside@yandex.ru</Email>
|
|
</Update>
|
|
<Update release="1">
|
|
<Date>2020-10-08</Date>
|
|
<Version>4.8.9</Version>
|
|
<Comment>First build.</Comment>
|
|
<Name>fury</Name>
|
|
<Email>uglyside@yandex.ru</Email>
|
|
</Update>
|
|
</History>
|
|
</PISI>
|