mirrors/guru
1
0
Fork 0
mirror of https://github.com/gentoo-mirror/guru.git synced 2026-07-19 12:03:02 -04:00
Code Issues Packages Projects Releases Wiki Activity

2026-04-24 14:31:11 UTC

Browse Source
This commit is contained in:
Repository mirror & CI
2026-04-24 14:31:11 +00:00
parent ce7d7fde06
commit 9cffec76ae
83 changed files with 419 additions and 445 deletions
Download Patch File Download Diff File Expand all files Collapse all files

15
metadata/md5-cache/sci-electronics/sby-0.63
View File

@@ -1,15 +0,0 @@
DEFINED_PHASES=install setup
DEPEND=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_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=yices2 python_single_target_python3_12 python_single_target_python3_13 python_single_target_python3_14
KEYWORDS=~amd64
LICENSE=ISC
RDEPEND=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_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_12 python_single_target_python3_13 python_single_target_python3_14 )
SLOT=0
SRC_URI=https://github.com/YosysHQ/sby/archive/v0.63.tar.gz -> sby-0.63.tar.gz
_eclasses_=eapi9-pipestatus d2c134036ac31c3085aebc9147f572bd multiprocessing 45d0620f25c2f063ad6276ecd9ed9399 toolchain-funcs 58a918e3a42d0156f010dcfd43725be5 python-utils-r1 9c4180f103a0e8340bc993fc85dbdadd python-single-r1 47d8ac9be330c9366112b78fd4f8ce57
_md5_=8fbe6a5c224e79d0856f94946cef05fb

17
metadata/md5-cache/sci-electronics/sby-0.64 Normal file
View File

@@ -0,0 +1,17 @@
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.64.tar.gz -> sby-0.64.tar.gz
_eclasses_=eapi9-pipestatus d2c134036ac31c3085aebc9147f572bd multiprocessing 45d0620f25c2f063ad6276ecd9ed9399 toolchain-funcs 58a918e3a42d0156f010dcfd43725be5 python-utils-r1 9c4180f103a0e8340bc993fc85dbdadd python-single-r1 47d8ac9be330c9366112b78fd4f8ce57
_md5_=79506b654396b78d4a394e7cc36751c1

6
metadata/md5-cache/sci-electronics/yosys-0.63 → metadata/md5-cache/sci-electronics/yosys-0.64
View File

@@ -1,4 +1,4 @@
BDEPEND=|| ( dev-lang/python:3.14 dev-lang/python:3.13 dev-lang/python:3.12 ) dev-vcs/git virtual/pkgconfig
BDEPEND=|| ( dev-lang/python:3.14 dev-lang/python:3.13 dev-lang/python:3.12 dev-lang/python:3.11 ) dev-vcs/git virtual/pkgconfig
DEFINED_PHASES=configure prepare setup
DEPEND=dev-libs/boost:= dev-libs/libffi:= dev-lang/tcl:= llvm_slot_18? ( llvm-core/clang:18= ) llvm_slot_19? ( llvm-core/clang:19= ) llvm_slot_20? ( llvm-core/clang:20= ) llvm_slot_21? ( llvm-core/clang:21= ) media-gfx/xdot sys-libs/ncurses:= sys-libs/readline:= virtual/zlib
DESCRIPTION=framework for Verilog RTL synthesis
@@ -11,6 +11,6 @@ LICENSE=ISC
RDEPEND=dev-libs/boost:= dev-libs/libffi:= dev-lang/tcl:= llvm_slot_18? ( llvm-core/clang:18= ) llvm_slot_19? ( llvm-core/clang:19= ) llvm_slot_20? ( llvm-core/clang:20= ) llvm_slot_21? ( llvm-core/clang:21= ) media-gfx/xdot sys-libs/ncurses:= sys-libs/readline:= virtual/zlib
REQUIRED_USE=^^ ( llvm_slot_18 llvm_slot_19 llvm_slot_20 llvm_slot_21 )
SLOT=0
SRC_URI=https://github.com/YosysHQ/yosys/releases/download/v0.63/yosys.tar.gz -> yosys-0.63.tar.gz
SRC_URI=https://github.com/YosysHQ/yosys/releases/download/v0.64/yosys.tar.gz -> yosys-0.64.tar.gz
_eclasses_=eapi9-pipestatus d2c134036ac31c3085aebc9147f572bd multiprocessing 45d0620f25c2f063ad6276ecd9ed9399 toolchain-funcs 58a918e3a42d0156f010dcfd43725be5 python-utils-r1 9c4180f103a0e8340bc993fc85dbdadd python-any-r1 891415dfe39ad9b41b461f2b86354af0 llvm-utils e7edb4086e31c8537574b263d899f826 multilib fc812e8eb2170022c28272d80a1f9e77 llvm-r2 8bc46809768366b4239eab39335419bc
_md5_=9d34cc014e25d7bc7abb23a74059343f
_md5_=4d3b5ab5e4db3b4928ee2f38bf3aa92e