mirror of
https://github.com/gentoo-mirror/guru.git
synced 2026-10-12 17:51:11 -04:00
sci-electronics/sby: drop 0.64
Signed-off-by: Huang Rui <vowstar@gmail.com>
This commit is contained in:
2 files changed
-65
No files matched your search
@@ -1,2 +1 @@
|
||||
DIST sby-0.64.tar.gz 178460 BLAKE2B 3cdda81a75f8a5921162c74a3e425af1e9d5f5cdabf704a27e50ca65fee4dd01d39cd68886051d608e7e4d9e8380b4ad2235b77f58654335e623bf2cb0049968 SHA512 566c87cf2d30a293d318fc1fe6ea25cdea6c0d3f1eb95df438d26875dba87466f23b70d9a3a7aab60322a75c228cc07a4d65f0cfdc5c8c87726f2947c20a2c41
|
||||
DIST sby-0.66.tar.gz 178479 BLAKE2B dddb67985bb35d64d77847d793d9c283eac90fe4ab75e2bb00b693709d3fea7d04cd5a7c0c39ec2e874bd896910e89b60dcca039d81471cbba3b3d2407b3c46a SHA512 1a1c7e4bdc8dbe66b6cd5ff2d9ed846ef196e26773f6e98f6088df753c0f49e4408ae1ddb3a0b244ad596fd2d2119a98d1026e12343f16238847f6802eb12835
|
||||
@@ -1,64 +0,0 @@
|
||||
# Copyright 2025 Gentoo Authors
|
||||
# Distributed under the terms of the GNU General Public License v2
|
||||
|
||||
EAPI=8
|
||||
|
||||
PYTHON_COMPAT=( python3_{11..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
|
||||
}
|
||||
Reference in new issue
Block a user