| author | Antonio Rojas
<arojas@archlinux.org> 2024-04-05 22:35:06 UTC |
| committer | Antonio Rojas
<arojas@archlinux.org> 2024-04-05 22:35:06 UTC |
| parent | 46faa360cb371fa19ecd429428107fb06ffd3f67 |
| .SRCINFO | +3 | -3 |
| PKGBUILD | +2 | -2 |
diff --git a/.SRCINFO b/.SRCINFO index b031ace..11f91a6 100644 --- a/.SRCINFO +++ b/.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 diff --git a/PKGBUILD b/PKGBUILD index 8a0e321..796cf4f 100644 --- a/PKGBUILD +++ b/PKGBUILD @@ -3,7 +3,7 @@ # Contributor: killruana <killruana@gmail.com> 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])))')