| author | Antonio Rojas
<arojas@archlinux.org> 2023-10-29 12:33:07 UTC |
| committer | Antonio Rojas
<arojas@archlinux.org> 2023-10-29 12:33:07 UTC |
| parent | 3847662cd1c5f44ccaedb0b1c55f6f2205b1f602 |
| .SRCINFO | +26 | -0 |
| PKGBUILD | +2 | -2 |
diff --git a/.SRCINFO b/.SRCINFO new file mode 100644 index 0000000..75845f9 --- /dev/null +++ b/.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 diff --git a/PKGBUILD b/PKGBUILD index 961b82a..491869d 100644 --- a/PKGBUILD +++ b/PKGBUILD @@ -3,7 +3,7 @@ # Contributor: killruana <killruana@gmail.com> 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])))')