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.
