From 64002753b178ea734f28424febf014ac9fc3977d Mon Sep 17 00:00:00 2001 From: Huang Rui Date: Thu, 10 Sep 2026 21:10:55 -0700 Subject: [PATCH] sci-electronics/sby: drop 0.67 Signed-off-by: Huang Rui --- sci-electronics/sby/Manifest | 1 - sci-electronics/sby/sby-0.67.ebuild | 64 ----------------------------- 2 files changed, 65 deletions(-) delete mode 100644 sci-electronics/sby/sby-0.67.ebuild diff --git a/sci-electronics/sby/Manifest b/sci-electronics/sby/Manifest index cc075730ed..0f7b4d7d76 100644 --- a/sci-electronics/sby/Manifest +++ b/sci-electronics/sby/Manifest @@ -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 diff --git a/sci-electronics/sby/sby-0.67.ebuild b/sci-electronics/sby/sby-0.67.ebuild deleted file mode 100644 index d487b845d1..0000000000 --- a/sci-electronics/sby/sby-0.67.ebuild +++ /dev/null @@ -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 -}