mirror/aur
1
0
Fork 0
mirror of https://github.com/archlinux/aur.git synced 2026-02-10 15:29:38 +01:00
Code Issues Projects Releases Packages Wiki Activity Actions

Bumped sby-nightly Version to 20220219_02a5b71

Browse source
This commit is contained in:
aki-nyan 2022-02-19 08:41:23 +01:00
commit ca4065ccf5
4 changed files with 96 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

21
.SRCINFO Normal file
View file

@ -0,0 +1,21 @@
pkgbase = sby-nightly
pkgdesc = Front-end for Yosys-based formal verification flows
pkgver = 20220219_02a5b71
pkgrel = 1
epoch = 1
url = https://github.com/YosysHQ/sby
arch = any
license = custom:ISC
makedepends = git
depends = yosys-nightly
depends = python
optdepends = boolector
optdepends = yices
optdepends = z3
conflicts = symbiyosys-git
replaces = symbiyosys-nightly
options = !strip
source = symbiyosys::git+https://github.com/YosysHQ/sby.git#commit=02a5b71
sha256sums = SKIP
pkgname = sby-nightly

5
.gitignore vendored Normal file
View file

@ -0,0 +1,5 @@
*
!.gitignore
!PKGBUILD
!PKGBUILD.in
!.SRCINFO

35
PKGBUILD Normal file
View file

@ -0,0 +1,35 @@
# Maintainer: Aki-nyan <aur@catgirl.link>
pkgname=sby-nightly
pkgver=20220219_02a5b71
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")
optdepends=(
"boolector"
"yices"
"z3"
)
makedepends=("git")
conflicts=("symbiyosys-git")
replaces=("symbiyosys-nightly")
source=(
"symbiyosys::git+https://github.com/YosysHQ/sby.git"#commit=02a5b71
)
sha256sums=(
"SKIP"
)
_PREFIX="/usr"
package() {
cd "${srcdir}/symbiyosys"
make PREFIX="${_PREFIX}" DESTDIR="${pkgdir}" install
install -Dm644 COPYING "${pkgdir}/usr/share/licenses/symbiyosys/LICENSE"
cd ..
}

35
PKGBUILD.in Normal file
View file

@ -0,0 +1,35 @@
# Maintainer: Aki-nyan <aur@catgirl.link>
pkgname=sby-nightly
pkgver=@SBY_VER@
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")
optdepends=(
"boolector"
"yices"
"z3"
)
makedepends=("git")
conflicts=("symbiyosys-git")
replaces=("symbiyosys-nightly")
source=(
"symbiyosys::git+https://github.com/YosysHQ/sby.git"#commit=@SBY_HASH@
)
sha256sums=(
"SKIP"
)
_PREFIX="/usr"
package() {
cd "${srcdir}/symbiyosys"
make PREFIX="${_PREFIX}" DESTDIR="${pkgdir}" install
install -Dm644 COPYING "${pkgdir}/usr/share/licenses/symbiyosys/LICENSE"
cd ..
}