mirror/aur
1
0
Fork 0
mirror of https://github.com/archlinux/aur.git synced 2026-03-14 23:16:48 +01:00
Code Issues Projects Releases Packages Wiki Activity Actions

Bumped sby-nightly Version to 20230203_7d3f0d5

Browse source
This commit is contained in:
aki-nyan 2023-02-03 07:32:01 +01:00
parent 455423cb7c
commit 6758ae769c
3 changed files with 12 additions and 11 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

5
.SRCINFO
View file

@ -1,6 +1,6 @@
pkgbase = sby-nightly
pkgdesc = Front-end for Yosys-based formal verification flows
pkgver = 20221130_9c75e49
pkgver = 20230203_7d3f0d5
pkgrel = 1
epoch = 1
url = https://github.com/YosysHQ/sby
@ -9,13 +9,14 @@ pkgbase = sby-nightly
makedepends = git
depends = yosys-nightly
depends = python
depends = python-click
optdepends = boolector
optdepends = yices
optdepends = z3
conflicts = symbiyosys-git
replaces = symbiyosys-nightly
options = !strip
source = symbiyosys::git+https://github.com/YosysHQ/sby.git#commit=9c75e49
source = sby::git+https://github.com/YosysHQ/sby.git#commit=7d3f0d5
sha256sums = SKIP
pkgname = sby-nightly

10
PKGBUILD
View file

@ -1,7 +1,7 @@
# Maintainer: Aki-nyan <aur@catgirl.link>
pkgname=sby-nightly
pkgver=20221130_9c75e49
pkgver=20230203_7d3f0d5
pkgrel=1
epoch=1
pkgdesc="Front-end for Yosys-based formal verification flows"
@ -10,7 +10,7 @@ url="https://github.com/YosysHQ/sby"
license=("custom:ISC")
groups=()
options=("!strip")
depends=("yosys-nightly" "python")
depends=("yosys-nightly" "python" "python-click")
optdepends=(
"boolector"
"yices"
@ -20,7 +20,7 @@ makedepends=("git")
conflicts=("symbiyosys-git")
replaces=("symbiyosys-nightly")
source=(
"symbiyosys::git+https://github.com/YosysHQ/sby.git"#commit=9c75e49
"sby::git+https://github.com/YosysHQ/sby.git#commit=7d3f0d5"
)
sha256sums=(
"SKIP"
@ -28,8 +28,8 @@ sha256sums=(
_PREFIX="/usr"
package() {
cd "${srcdir}/symbiyosys"
cd "${srcdir}/sby"
make PREFIX="${_PREFIX}" DESTDIR="${pkgdir}" install
install -Dm644 COPYING "${pkgdir}/usr/share/licenses/symbiyosys/LICENSE"
install -Dm644 COPYING "${pkgdir}/usr/share/licenses/sby/LICENSE"
cd ..
}

8
PKGBUILD.in
View file

@ -10,7 +10,7 @@ url="https://github.com/YosysHQ/sby"
license=("custom:ISC")
groups=()
options=("!strip")
depends=("yosys-nightly" "python")
depends=("yosys-nightly" "python" "python-click")
optdepends=(
"boolector"
"yices"
@ -20,7 +20,7 @@ makedepends=("git")
conflicts=("symbiyosys-git")
replaces=("symbiyosys-nightly")
source=(
"symbiyosys::git+https://github.com/YosysHQ/sby.git"#commit=@SBY_HASH@
"sby::git+https://github.com/YosysHQ/sby.git#commit=@SBY_HASH@"
)
sha256sums=(
"SKIP"
@ -28,8 +28,8 @@ sha256sums=(
_PREFIX="/usr"
package() {
cd "${srcdir}/symbiyosys"
cd "${srcdir}/sby"
make PREFIX="${_PREFIX}" DESTDIR="${pkgdir}" install
install -Dm644 COPYING "${pkgdir}/usr/share/licenses/symbiyosys/LICENSE"
install -Dm644 COPYING "${pkgdir}/usr/share/licenses/sby/LICENSE"
cd ..
}