From 1b7b9168fbb4d2c91e3cebc26f378112a23d02f5 Mon Sep 17 00:00:00 2001 From: Aki Van Ness Date: Sat, 7 Sep 2024 04:14:47 +0200 Subject: [PATCH] Bumpped sby version to 20240907_yosys_0.45 --- .SRCINFO | 3 +++ PKGBUILD | 2 ++ PKGBUILD.in | 2 ++ 3 files changed, 7 insertions(+) diff --git a/.SRCINFO b/.SRCINFO index 6e2422cbe45e..c40cd8621685 100644 --- a/.SRCINFO +++ b/.SRCINFO @@ -10,9 +10,12 @@ pkgbase = sby-nightly 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 diff --git a/PKGBUILD b/PKGBUILD index cf827d4b777a..c87983ea9c12 100644 --- a/PKGBUILD +++ b/PKGBUILD @@ -12,10 +12,12 @@ groups=() options=("!strip") depends=("yosys-nightly" "python" "python-click") optdepends=( + "bitwuzla" "boolector" "yices" "z3" ) +provides=("sby" "symbiyosys") makedepends=("git") conflicts=("symbiyosys-git") replaces=("symbiyosys-nightly") diff --git a/PKGBUILD.in b/PKGBUILD.in index 06ca31b7f432..7ecad879ecb7 100644 --- a/PKGBUILD.in +++ b/PKGBUILD.in @@ -12,10 +12,12 @@ groups=() options=("!strip") depends=("yosys-nightly" "python" "python-click") optdepends=( + "bitwuzla" "boolector" "yices" "z3" ) +provides=("sby" "symbiyosys") makedepends=("git") conflicts=("symbiyosys-git") replaces=("symbiyosys-nightly")