sci-electronics/sby: drop 0.67

Signed-off-by: Huang Rui <vowstar@gmail.com>
This commit is contained in:
Huang Rui committed 2026-09-10 21:30:52 -07:00
1 parent 087cb30357
commit 64002753b1
2 files changed
-65

No files matched your search

-1
View File
@@ -1,3 +1,2 @@
DIST sby-0.67.tar.gz 179885 BLAKE2B 9923229ccc3b2d1ef6a8fcc3718a5a3f64b933fdc5e2b00214ddc50dc0f34868dba348c05e5f9f3180211b77f0e557b23fee668670b40ed1c3812073d2173ace SHA512 ec99ef583a4023e33d9d2f25badb3cd9b4746060ade63bff3e3b96d47e6e446a32583827bbed6f49dc165cb079a638f26866033c60382c89c4a9461b67b2a232
DIST sby-0.68.tar.gz 180250 BLAKE2B 689db9c88ee67ded13f2c18b24d4d402239caf5489e831ce2a51393bcfa2d258cdb9d879acd6cae01b6f6cc757c5eae8d2df04dffdd41e07220f298d49fc334e SHA512 a981994197ebf04220497df6f391bf35aa78ff226831770d5bf6df31487bf74752d7adbbc406d3904d9b8be947e6cc1d9d30be64349309c2470bf602199fc58f
DIST sby-0.69.tar.gz 180502 BLAKE2B 6a36aec49da3cf10aa215f7e3fe759832112424532492e61d9f269ff2ab0ea75fc5e97ce3bbe6b2ba464cbbb6603a4ee21bd9693bb06b57e6b6d4af36c9d457f SHA512 f634c64b2856ee2b9f6023c7639c0e3f86166a5e3e4688a7ae785e14077cf886d5ad75d8e4713447e8ccb294aff98ce16f456c47f776db4f8ae80ae6fd9f8b6c
-64
View File
@@ -1,64 +0,0 @@
# Copyright 2025 Gentoo Authors
# Distributed under the terms of the GNU General Public License v2
EAPI=8
PYTHON_COMPAT=( python3_{12..14} )
inherit python-single-r1
DESCRIPTION="Front-end for Yosys-based formal hardware verification flows"
HOMEPAGE="https://github.com/YosysHQ/sby"
SRC_URI="https://github.com/YosysHQ/${PN}/archive/v${PV}.tar.gz -> ${P}.tar.gz"
LICENSE="ISC"
SLOT="0"
KEYWORDS="~amd64"
IUSE="test yices2"
REQUIRED_USE="${PYTHON_REQUIRED_USE}"
RESTRICT="!test? ( test )"
RDEPEND="
${PYTHON_DEPS}
$(python_gen_cond_dep '
dev-python/click[${PYTHON_USEDEP}]
')
sci-electronics/yosys
sci-mathematics/z3
yices2? ( sci-mathematics/yices2 )
"
DEPEND="${RDEPEND}"
BDEPEND="
test? (
$(python_gen_cond_dep '
dev-python/xmlschema[${PYTHON_USEDEP}]
')
)
"
src_test() {
# Upstream tests race under parallel make (concurrent sqlite WAL access
# to shared status_db). Force serial execution.
emake -j1 -C tests test
}
src_install() {
# Install Python modules to yosys shared directory
insinto /usr/share/yosys/python3
doins sbysrc/sby_*.py
# Install sby_core.py with program prefix substitution
sed -e 's|##yosys-program-prefix##|""|' \
sbysrc/sby_core.py > "${T}/sby_core.py" || die
doins "${T}/sby_core.py"
# Create the sby launcher script with path and version substitutions
# Use absolute path with EPREFIX because python-exec wrapper changes script location
local syspath="sys.path += [\"${EPREFIX}/usr/share/yosys/python3\"]"
sed -e "s|##yosys-sys-path##|${syspath}|" \
-e "s|##yosys-release-version##|release_version = 'SBY ${PV}'|" \
sbysrc/sby.py > "${T}/sby" || die
python_newscript "${T}/sby" sby
dodoc README.md
}