Antonio Rojas pushed to branch main at Arch Linux / Packaging / Packages / yosys


Commits:
b592a41c by Antonio Rojas at 2023-10-29T13:33:07+01:00
upgpkg: 0.34-1: Update to 0.34

- - - - -


2 changed files:

- + .SRCINFO
- PKGBUILD


Changes:

=====================================
.SRCINFO
=====================================
@@ -0,0 +1,26 @@
+pkgbase = yosys
+       pkgdesc = A framework for RTL synthesis
+       pkgver = 0.34
+       pkgrel = 1
+       url = https://yosyshq.net/yosys/
+       arch = x86_64
+       license = custom:ISC
+       checkdepends = iverilog
+       makedepends = boost
+       depends = abc
+       depends = bash
+       depends = boost-libs
+       depends = tcl
+       depends = libffi
+       depends = python
+       depends = protobuf
+       optdepends = graphviz: Schematics display support
+       optdepends = xdot: Display netlists
+       optdepends = yices: default solver for yosys-smtbmc
+       optdepends = cvc4: alternative solver for yosys-smtbmc
+       optdepends = z3: alternative solver for yosys-smtbmc
+       options = !lto
+       source = https://github.com/cliffordwolf/yosys/archive/yosys-0.34.tar.gz
+       sha512sums = 
abed6ba5dcc423b2d35026ab9a296d73671b9f0331415dc674770fca60b4244e7efb31d7c271485a41c9638522c8dc685096ebf832bff9fcb7af046261c19c07
+
+pkgname = yosys


=====================================
PKGBUILD
=====================================
@@ -3,7 +3,7 @@
 # Contributor: killruana <[email protected]>
 
 pkgname=yosys
-pkgver=0.32
+pkgver=0.34
 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=("https://github.com/cliffordwolf/yosys/archive/$pkgname-$pkgver.tar.gz";)
-sha512sums=('3704ca8286e93ca53344b2a518ba4f2b9c137cf9688a95863f691cce3cca761d061100d3b93a0ad1dbabda13c0dbb137c5234abb6675ce2e5b5167701ccb0910')
+sha512sums=('abed6ba5dcc423b2d35026ab9a296d73671b9f0331415dc674770fca60b4244e7efb31d7c271485a41c9638522c8dc685096ebf832bff9fcb7af046261c19c07')
 
 _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/b592a41c3a4e21dd9ee9943319c228e976ef69ce

-- 
View it on GitLab: 
https://gitlab.archlinux.org/archlinux/packaging/packages/yosys/-/commit/b592a41c3a4e21dd9ee9943319c228e976ef69ce
You're receiving this email because of your account on gitlab.archlinux.org.


Reply via email to