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

Merge pull request #11417 from 4fury-c3440d8/next

Browse Source 
updates.
This commit is contained in:
Kamil ATLI
2023-01-29 15:22:07 +03:00
committed by GitHub
parent 61c580a175 8c5c92ba54
commit 8ae62abdd8
26 changed files with 245 additions and 99 deletions
Download Patch File Download Diff File Expand all files Collapse all files
programming/library/libhwy/pspec.xml
+9 -2
View File
@@ -13,8 +13,8 @@
<PartOf>programming.library</PartOf>
<Summary>Efficient and performance-portable vector software.</Summary>
<Description>Highway is a C++ library that provides portable SIMD/vector intrinsics.</Description>
<Archive sha1sum="4853600bf59560ef448b48e7874063f1e43bee7b" type="targz">
https://github.com/google/highway/archive/refs/tags/1.0.2.tar.gz
<Archive sha1sum="52dee4092ae9d6639f9b91cd8e808b372a99c7fe" type="targz">
https://github.com/google/highway/archive/refs/tags/1.0.3.tar.gz
</Archive>
<BuildDependencies>
<Dependency>cmake</Dependency>
@@ -47,6 +47,13 @@
</Package>
<History>
<Update release="2">
<Date>2023-01-27</Date>
<Version>1.0.3</Version>
<Comment>Version bump.</Comment>
<Name>fury</Name>
<Email>uglyside@yandex.ru</Email>
</Update>
<Update release="1">
<Date>2023-01-06</Date>
<Version>1.0.2</Version>
programming/library/z3/actions.py
+7 -11
View File
@@ -4,10 +4,7 @@
# Licensed under the GNU General Public License, version 3.
# See the file https://www.gnu.org/licenses/gpl-3.0.txt
from pisi.actionsapi import shelltools
from pisi.actionsapi import cmaketools
from pisi.actionsapi import pisitools
from pisi.actionsapi import get
from pisi.actionsapi import cmaketools, mesontools, pisitools
j = ''.join([
' -DCMAKE_INSTALL_PREFIX=/usr',
@@ -17,19 +14,18 @@ j = ''.join([
' -DZ3_LINK_TIME_OPTIMIZATION=True',
' -DZ3_BUILD_LIBZ3_SHARED=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():
cmaketools.configure("-Bbuild %s -G 'Ninja'" % j)
cmaketools.configure(j)
def build():
shelltools.system("ninja -C build")
mesontools.build("-C _build")
def install():
shelltools.system("DESTDIR=%s ninja -C build install" % get.installDIR())
mesontools.install("-C _build")
pisitools.dodoc("RELEASE_NOTES.md")
programming/library/z3/pspec.xml
+10 -3
View File
@@ -13,8 +13,8 @@
<PartOf>programming.library</PartOf>
<Summary>The Z3 Theorem Prover.</Summary>
<Description>Z3 is a theorem prover from Microsoft Research.</Description>
<Archive sha1sum="e70730f338cd392d26136b03e92385b37f3447ec" type="targz">
https://github.com/Z3Prover/z3/archive/refs/tags/z3-4.11.2.tar.gz
<Archive sha1sum="98377064e474567d37400a636dfc80602c4cad3d" type="targz">
https://github.com/Z3Prover/z3/archive/refs/tags/z3-4.12.1.tar.gz
</Archive>
<BuildDependencies>
<Dependency>cmake</Dependency>
@@ -24,7 +24,7 @@
<Dependency>python3-setuptools</Dependency>
</BuildDependencies>
<Patches>
<Patch level="1">616fc2cbd5522137b78097c247feb04e266ff780.patch</Patch>
<!-- <Patch level="1">missing.patch</Patch> -->
</Patches>
</Source>
@@ -67,6 +67,13 @@
</Package>
<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">
<Date>2022-09-05</Date>
<Version>4.11.2</Version>