mirror of
https://github.com/archlinux/aur.git
synced 2026-03-14 23:16:48 +01:00
35 lines
719 B
Bash
35 lines
719 B
Bash
# Maintainer: Aki-nyan <aur@catgirl.link>
|
|
|
|
pkgname=sby-nightly
|
|
pkgver=20230621_yosys_0.30
|
|
pkgrel=1
|
|
epoch=1
|
|
pkgdesc="Front-end for Yosys-based formal verification flows"
|
|
arch=("any")
|
|
url="https://github.com/YosysHQ/sby"
|
|
license=("custom:ISC")
|
|
groups=()
|
|
options=("!strip")
|
|
depends=("yosys-nightly" "python" "python-click")
|
|
optdepends=(
|
|
"boolector"
|
|
"yices"
|
|
"z3"
|
|
)
|
|
makedepends=("git")
|
|
conflicts=("symbiyosys-git")
|
|
replaces=("symbiyosys-nightly")
|
|
source=(
|
|
"sby::git+https://github.com/YosysHQ/sby.git#commit=c027aea"
|
|
)
|
|
sha256sums=(
|
|
"SKIP"
|
|
)
|
|
|
|
_PREFIX="/usr"
|
|
package() {
|
|
cd "${srcdir}/sby"
|
|
make PREFIX="${_PREFIX}" DESTDIR="${pkgdir}" install
|
|
install -Dm644 COPYING "${pkgdir}/usr/share/licenses/sby/LICENSE"
|
|
cd ..
|
|
}
|