Antonio Rojas pushed to branch main at Arch Linux / Packaging / Packages / yosys
Commits:
64fe21d3 by Antonio Rojas at 2024-04-06T00:35:06+02:00
upgpkg: 0.39-1: Python 3.12 rebuild
- - - - -
2 changed files:
- .SRCINFO
- PKGBUILD
Changes:
=====================================
.SRCINFO
=====================================
@@ -1,6 +1,6 @@
pkgbase = yosys
pkgdesc = A framework for RTL synthesis
- pkgver = 0.38
+ pkgver = 0.39
pkgrel = 1
url = https://yosyshq.net/yosys/
arch = x86_64
@@ -21,7 +21,7 @@ pkgbase = yosys
optdepends = cvc4: alternative solver for yosys-smtbmc
optdepends = z3: alternative solver for yosys-smtbmc
options = !lto
- source = git+https://github.com/YosysHQ/yosys#tag=yosys-0.38
- sha512sums = SKIP
+ source = git+https://github.com/YosysHQ/yosys#tag=yosys-0.39
+ sha512sums =
51e5a823d08f5a82a2d0c55f1191fa5060848c0be34919e2102800c8f8a0e90d83141892961bf88aad64de0839eac7edec338c9ed0ce53c519069524caed1a53
pkgname = yosys
=====================================
PKGBUILD
=====================================
@@ -3,7 +3,7 @@
# Contributor: killruana <[email protected]>
pkgname=yosys
-pkgver=0.38
+pkgver=0.39
pkgrel=1
pkgdesc='A framework for RTL synthesis'
arch=('x86_64')
@@ -19,7 +19,7 @@ optdepends=('graphviz: Schematics display support'
'z3: alternative solver for yosys-smtbmc')
options=('!lto') # getting SIGSEGV when running the tests with LTO
source=(git+https://github.com/YosysHQ/yosys#tag=yosys-$pkgver)
-sha512sums=('SKIP')
+sha512sums=('51e5a823d08f5a82a2d0c55f1191fa5060848c0be34919e2102800c8f8a0e90d83141892961bf88aad64de0839eac7edec338c9ed0ce53c519069524caed1a53')
_make() {
local python_version=$(python -c 'import sys; print(".".join(map(str,
sys.version_info[:2])))')
View it on GitLab:
https://gitlab.archlinux.org/archlinux/packaging/packages/yosys/-/commit/64fe21d3066fa9f8c900f560abe03ed8a24973d8
--
View it on GitLab:
https://gitlab.archlinux.org/archlinux/packaging/packages/yosys/-/commit/64fe21d3066fa9f8c900f560abe03ed8a24973d8
You're receiving this email because of your account on gitlab.archlinux.org.
