mirror of
https://github.com/gentoo-mirror/guru.git
synced 2026-07-08 22:52:59 -04:00
18 lines
2.5 KiB
Plaintext
18 lines
2.5 KiB
Plaintext
BDEPEND=test? ( python_single_target_python3_11? ( dev-python/xmlschema[python_targets_python3_11(-)] ) python_single_target_python3_12? ( dev-python/xmlschema[python_targets_python3_12(-)] ) python_single_target_python3_13? ( dev-python/xmlschema[python_targets_python3_13(-)] ) python_single_target_python3_14? ( dev-python/xmlschema[python_targets_python3_14(-)] ) )
|
|
DEFINED_PHASES=install setup test
|
|
DEPEND=python_single_target_python3_11? ( dev-lang/python:3.11 ) python_single_target_python3_12? ( dev-lang/python:3.12 ) python_single_target_python3_13? ( dev-lang/python:3.13 ) python_single_target_python3_14? ( dev-lang/python:3.14 ) python_single_target_python3_11? ( dev-python/click[python_targets_python3_11(-)] ) python_single_target_python3_12? ( dev-python/click[python_targets_python3_12(-)] ) python_single_target_python3_13? ( dev-python/click[python_targets_python3_13(-)] ) python_single_target_python3_14? ( dev-python/click[python_targets_python3_14(-)] ) sci-electronics/yosys sci-mathematics/z3 yices2? ( sci-mathematics/yices2 )
|
|
DESCRIPTION=Front-end for Yosys-based formal hardware verification flows
|
|
EAPI=8
|
|
HOMEPAGE=https://github.com/YosysHQ/sby
|
|
INHERIT=python-single-r1
|
|
IUSE=test yices2 python_single_target_python3_11 python_single_target_python3_12 python_single_target_python3_13 python_single_target_python3_14
|
|
KEYWORDS=~amd64
|
|
LICENSE=ISC
|
|
RDEPEND=python_single_target_python3_11? ( dev-lang/python:3.11 ) python_single_target_python3_12? ( dev-lang/python:3.12 ) python_single_target_python3_13? ( dev-lang/python:3.13 ) python_single_target_python3_14? ( dev-lang/python:3.14 ) python_single_target_python3_11? ( dev-python/click[python_targets_python3_11(-)] ) python_single_target_python3_12? ( dev-python/click[python_targets_python3_12(-)] ) python_single_target_python3_13? ( dev-python/click[python_targets_python3_13(-)] ) python_single_target_python3_14? ( dev-python/click[python_targets_python3_14(-)] ) sci-electronics/yosys sci-mathematics/z3 yices2? ( sci-mathematics/yices2 )
|
|
REQUIRED_USE=^^ ( python_single_target_python3_11 python_single_target_python3_12 python_single_target_python3_13 python_single_target_python3_14 )
|
|
RESTRICT=!test? ( test )
|
|
SLOT=0
|
|
SRC_URI=https://github.com/YosysHQ/sby/archive/v0.65.tar.gz -> sby-0.65.tar.gz
|
|
_eclasses_=eapi9-pipestatus d2c134036ac31c3085aebc9147f572bd multiprocessing 45d0620f25c2f063ad6276ecd9ed9399 toolchain-funcs 58a918e3a42d0156f010dcfd43725be5 python-utils-r1 ae7ca7f9425ab1a1d2c909e225002f98 python-single-r1 47d8ac9be330c9366112b78fd4f8ce57
|
|
_md5_=79506b654396b78d4a394e7cc36751c1
|