author | Antonio Rojas
<arojas@archlinux.org> 2024-03-09 12:25:21 UTC |
committer | Antonio Rojas
<arojas@archlinux.org> 2024-03-09 12:25:21 UTC |
parent | d4018d9b9f63e99ae61f44d9d12d98232cf4a78e |
.SRCINFO | +4 | -3 |
PKGBUILD | +7 | -7 |
diff --git a/.SRCINFO b/.SRCINFO index fa40430..b031ace 100644 --- a/.SRCINFO +++ b/.SRCINFO @@ -1,12 +1,13 @@ pkgbase = yosys pkgdesc = A framework for RTL synthesis - pkgver = 0.37 + pkgver = 0.38 pkgrel = 1 url = https://yosyshq.net/yosys/ arch = x86_64 license = custom:ISC checkdepends = iverilog makedepends = boost + makedepends = git depends = abc depends = bash depends = boost-libs @@ -20,7 +21,7 @@ pkgbase = yosys 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.37.tar.gz - sha512sums = f06ad25fa78aa7ef0e582c78bf85caf93b96155414d328edac0c93d085020c95a2350e814dcea5ef514a89d24844b5581f268256571f1eaf5621e540c9c3caf7 + source = git+https://github.com/YosysHQ/yosys#tag=yosys-0.38 + sha512sums = SKIP pkgname = yosys diff --git a/PKGBUILD b/PKGBUILD index 7a7095c..8a0e321 100644 --- a/PKGBUILD +++ b/PKGBUILD @@ -3,14 +3,14 @@ # Contributor: killruana <killruana@gmail.com> pkgname=yosys -pkgver=0.37 +pkgver=0.38 pkgrel=1 pkgdesc='A framework for RTL synthesis' arch=('x86_64') url='https://yosyshq.net/yosys/' license=('custom:ISC') depends=('abc' 'bash' 'boost-libs' 'tcl' 'libffi' 'python' 'protobuf') -makedepends=('boost') +makedepends=('boost' 'git') checkdepends=('iverilog') optdepends=('graphviz: Schematics display support' 'xdot: Display netlists' @@ -18,8 +18,8 @@ optdepends=('graphviz: Schematics display support' 'cvc4: alternative solver for yosys-smtbmc' '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=('f06ad25fa78aa7ef0e582c78bf85caf93b96155414d328edac0c93d085020c95a2350e814dcea5ef514a89d24844b5581f268256571f1eaf5621e540c9c3caf7') +source=(git+https://github.com/YosysHQ/yosys#tag=yosys-$pkgver) +sha512sums=('SKIP') _make() { local python_version=$(python -c 'import sys; print(".".join(map(str, sys.version_info[:2])))') @@ -40,17 +40,17 @@ _make() { } build() { - cd $pkgname-$pkgname-$pkgver + cd $pkgname _make } check() { - cd $pkgname-$pkgname-$pkgver + cd $pkgname _make test } package() { - cd $pkgname-$pkgname-$pkgver + cd $pkgname _make DESTDIR="$pkgdir" PYTHON_PREFIX="$pkgdir/usr" install install -Dm644 COPYING -t "$pkgdir"/usr/share/licenses/$pkgname/