mirror of
https://github.com/archlinux/aur.git
synced 2026-03-14 23:16:48 +01:00
25 lines
618 B
Text
25 lines
618 B
Text
pkgbase = sby-nightly
|
|
pkgdesc = Front-end for Yosys-based formal verification flows
|
|
pkgver = 20241029_yosys_0.46_4_gdaed0e1
|
|
pkgrel = 1
|
|
epoch = 1
|
|
url = https://github.com/YosysHQ/sby
|
|
arch = any
|
|
license = custom:ISC
|
|
makedepends = git
|
|
depends = yosys-nightly
|
|
depends = python
|
|
depends = python-click
|
|
optdepends = bitwuzla
|
|
optdepends = boolector
|
|
optdepends = yices
|
|
optdepends = z3
|
|
provides = sby
|
|
provides = symbiyosys
|
|
conflicts = symbiyosys-git
|
|
replaces = symbiyosys-nightly
|
|
options = !strip
|
|
source = sby::git+https://github.com/YosysHQ/sby.git#commit=daed0e1
|
|
sha256sums = SKIP
|
|
|
|
pkgname = sby-nightly
|