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

z3.

Browse Source
This commit is contained in:
4fury-c3440d8
2023-01-29 08:32:46 +03:00
parent 121887a411
commit 49e2538f97
2 changed files with 17 additions and 14 deletions
Download Patch File Download Diff File Expand all files Collapse all files
programming/library/z3/actions.py
+7 -11
View File
@@ -4,10 +4,7 @@
# Licensed under the GNU General Public License, version 3. # Licensed under the GNU General Public License, version 3.
# See the file https://www.gnu.org/licenses/gpl-3.0.txt # See the file https://www.gnu.org/licenses/gpl-3.0.txt
from pisi.actionsapi import shelltools from pisi.actionsapi import cmaketools, mesontools, pisitools
from pisi.actionsapi import cmaketools
from pisi.actionsapi import pisitools
from pisi.actionsapi import get
j = ''.join([ j = ''.join([
' -DCMAKE_INSTALL_PREFIX=/usr', ' -DCMAKE_INSTALL_PREFIX=/usr',
@@ -17,19 +14,18 @@ j = ''.join([
' -DZ3_LINK_TIME_OPTIMIZATION=True', ' -DZ3_LINK_TIME_OPTIMIZATION=True',
' -DZ3_BUILD_LIBZ3_SHARED=True', ' -DZ3_BUILD_LIBZ3_SHARED=True',
' -DZ3_BUILD_PYTHON_BINDINGS=True', ' -DZ3_BUILD_PYTHON_BINDINGS=True',
' -DZ3_INSTALL_PYTHON_BINDINGS=True ' ' -DZ3_INSTALL_PYTHON_BINDINGS=True',
' PYTHON=/usr/bin/python3',
' -B_build -G Ninja -L '
]) ])
shelltools.export("PYTHON", "/usr/bin/python3")
def setup(): def setup():
cmaketools.configure("-Bbuild %s -G 'Ninja'" % j) cmaketools.configure(j)
def build(): def build():
shelltools.system("ninja -C build") mesontools.build("-C _build")
def install(): def install():
shelltools.system("DESTDIR=%s ninja -C build install" % get.installDIR()) mesontools.install("-C _build")
pisitools.dodoc("RELEASE_NOTES.md") pisitools.dodoc("RELEASE_NOTES.md")
programming/library/z3/pspec.xml
+10 -3
View File
@@ -13,8 +13,8 @@
<PartOf>programming.library</PartOf> <PartOf>programming.library</PartOf>
<Summary>The Z3 Theorem Prover.</Summary> <Summary>The Z3 Theorem Prover.</Summary>
<Description>Z3 is a theorem prover from Microsoft Research.</Description> <Description>Z3 is a theorem prover from Microsoft Research.</Description>
<Archive sha1sum="e70730f338cd392d26136b03e92385b37f3447ec" type="targz"> <Archive sha1sum="98377064e474567d37400a636dfc80602c4cad3d" type="targz">
https://github.com/Z3Prover/z3/archive/refs/tags/z3-4.11.2.tar.gz https://github.com/Z3Prover/z3/archive/refs/tags/z3-4.12.1.tar.gz
</Archive> </Archive>
<BuildDependencies> <BuildDependencies>
<Dependency>cmake</Dependency> <Dependency>cmake</Dependency>
@@ -24,7 +24,7 @@
<Dependency>python3-setuptools</Dependency> <Dependency>python3-setuptools</Dependency>
</BuildDependencies> </BuildDependencies>
<Patches> <Patches>
<Patch level="1">616fc2cbd5522137b78097c247feb04e266ff780.patch</Patch> <!-- <Patch level="1">missing.patch</Patch> -->
</Patches> </Patches>
</Source> </Source>
@@ -67,6 +67,13 @@
</Package> </Package>
<History> <History>
<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"> <Update release="6">
<Date>2022-09-05</Date> <Date>2022-09-05</Date>
<Version>4.11.2</Version> <Version>4.11.2</Version>