| author | Filipe Laíns
<lains@archlinux.org> 2024-06-11 00:47:19 UTC |
| committer | Filipe Laíns
<lains@archlinux.org> 2024-06-11 00:47:19 UTC |
| parent | cfef63302e82eb0353ed2d362614c43d4b7661a6 |
| .SRCINFO | +3 | -3 |
| PKGBUILD | +2 | -2 |
diff --git a/.SRCINFO b/.SRCINFO index 10f7e75..a2471a7 100644 --- a/.SRCINFO +++ b/.SRCINFO @@ -1,6 +1,6 @@ pkgbase = yosys pkgdesc = A framework for RTL synthesis - pkgver = 0.41 + pkgver = 0.42 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.41 - sha512sums = 5d02ead1710c6fe5c059468173f7f59a8498ffb07002498143c3b6eaa69c79353d6b417b0c37eb63965c66cae73cc5313b9e9f047364c5241f845927d5ac3f83 + source = git+https://github.com/YosysHQ/yosys#tag=yosys-0.42 + sha512sums = cbb7ea5a493ce153d652e84f71599f7976fc6188423d03a5e40ab8376a6c365aa5ad7b67e6dde01b15365c8902f77d3abf72ae03c7be8eb042cf3cb3bc7b7597 pkgname = yosys diff --git a/PKGBUILD b/PKGBUILD index 79c743b..fac21e5 100644 --- a/PKGBUILD +++ b/PKGBUILD @@ -3,7 +3,7 @@ # Contributor: killruana <killruana@gmail.com> pkgname=yosys -pkgver=0.41 +pkgver=0.42 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=('5d02ead1710c6fe5c059468173f7f59a8498ffb07002498143c3b6eaa69c79353d6b417b0c37eb63965c66cae73cc5313b9e9f047364c5241f845927d5ac3f83') +sha512sums=('cbb7ea5a493ce153d652e84f71599f7976fc6188423d03a5e40ab8376a6c365aa5ad7b67e6dde01b15365c8902f77d3abf72ae03c7be8eb042cf3cb3bc7b7597') _make() { local python_version=$(python -c 'import sys; print(".".join(map(str, sys.version_info[:2])))')