mirror of
https://gitlab.alpinelinux.org/alpine/aports.git
synced 2025-05-12 09:54:29 +02:00
25 lines
704 B
Text
25 lines
704 B
Text
# Maintainer: Patrycja Rosa <alpine@ptrcnull.me>
|
|
pkgname=symbiyosys
|
|
pkgver=0.36
|
|
pkgrel=0
|
|
pkgdesc="Front-end for Yosys-based formal verification flows"
|
|
url="https://github.com/YosysHQ/sby"
|
|
# s390x, riscv64: blocked by yosys
|
|
arch="noarch !s390x !riscv64"
|
|
license="ISC"
|
|
depends="python3 py3-click yosys"
|
|
checkdepends="bash"
|
|
source="$pkgname-$pkgver.tar.gz::https://github.com/YosysHQ/sby/archive/yosys-$pkgver.tar.gz"
|
|
builddir="$srcdir/sby-yosys-$pkgver"
|
|
|
|
check() {
|
|
make test
|
|
}
|
|
|
|
package() {
|
|
make DESTDIR="$pkgdir" PREFIX=/usr install
|
|
}
|
|
|
|
sha512sums="
|
|
3a6f56644e54670d448cb0e80d7f1a76e3fd06a5464bc73b9015101f56552c77569bb61ec4c64a41bab7c4d145a38c54c779e5d7fbced280f98b17009acc9aa7 symbiyosys-0.36.tar.gz
|
|
"
|