2022-09-06 01:16:40 UTC

This commit is contained in:
Repository mirror & CI
2022-09-06 01:16:40 +00:00
parent 3d030a6ef8
commit 4ddac655fe
71 changed files with 463 additions and 376 deletions

View File

@@ -0,0 +1,14 @@
BDEPEND=dev-haskell/cabal:0= dev-lang/ghc:0= dev-lang/perl dev-util/gperf doc? ( dev-ruby/asciidoctor dev-ruby/asciidoctor-pdf dev-texlive/texlive-bibtexextra dev-texlive/texlive-fontsextra dev-texlive/texlive-fontutils dev-texlive/texlive-latex dev-texlive/texlive-latexextra dev-texlive/texlive-latexrecommended dev-texlive/texlive-plaingeneric ) sys-apps/coreutils sys-devel/autoconf sys-devel/bison sys-devel/flex virtual/pkgconfig
DEFINED_PHASES=compile install postinst postrm prepare test
DEPEND=app-eselect/eselect-bluespec dev-haskell/old-time:0= dev-haskell/regex-compat:0= dev-haskell/split:0= dev-haskell/syb:0= dev-lang/tcl test? ( dev-util/dejagnu sci-electronics/iverilog sci-electronics/systemc sys-process/time )
DESCRIPTION=Toolchain for the Bluespec Hardware Definition Language
EAPI=8
HOMEPAGE=https://github.com/B-Lang-org/bsc
IUSE=doc test
KEYWORDS=~amd64 ~x86
LICENSE=BSD GPL-3+ MIT
RDEPEND=app-eselect/eselect-bluespec dev-haskell/old-time:0= dev-haskell/regex-compat:0= dev-haskell/split:0= dev-haskell/syb:0= dev-lang/tcl
RESTRICT=!test? ( test )
SLOT=2022.01
SRC_URI=https://github.com/B-Lang-org/bsc/archive/refs/tags/2022.01.tar.gz -> bluespec-2022.01.tar.gz https://github.com/SRI-CSL/yices2/archive/refs/tags/Yices-2.6.4.tar.gz -> yices-2.6.4.tar.gz
_md5_=4351d139dea8702ff4ca6dae8a9146f2

View File

@@ -0,0 +1,15 @@
BDEPEND=dev-haskell/cabal:0= dev-lang/ghc:0= dev-lang/perl dev-util/gperf doc? ( dev-ruby/asciidoctor dev-ruby/asciidoctor-pdf dev-texlive/texlive-bibtexextra dev-texlive/texlive-fontsextra dev-texlive/texlive-fontutils dev-texlive/texlive-latex dev-texlive/texlive-latexextra dev-texlive/texlive-latexrecommended dev-texlive/texlive-plaingeneric ) sys-apps/coreutils sys-devel/autoconf sys-devel/bison sys-devel/flex virtual/pkgconfig >=dev-vcs/git-1.8.2.1[curl]
DEFINED_PHASES=compile install postinst postrm prepare test unpack
DEPEND=app-eselect/eselect-bluespec dev-haskell/old-time:0= dev-haskell/regex-compat:0= dev-haskell/split:0= dev-haskell/syb:0= dev-lang/tcl test? ( dev-util/dejagnu sci-electronics/iverilog sci-electronics/systemc sys-process/time )
DESCRIPTION=Toolchain for the Bluespec Hardware Definition Language
EAPI=8
HOMEPAGE=https://github.com/B-Lang-org/bsc
INHERIT=git-r3
IUSE=doc test
LICENSE=BSD GPL-3+ MIT
PROPERTIES=live
RDEPEND=app-eselect/eselect-bluespec dev-haskell/old-time:0= dev-haskell/regex-compat:0= dev-haskell/split:0= dev-haskell/syb:0= dev-lang/tcl
RESTRICT=!test? ( test )
SLOT=9999
_eclasses_=git-r3 b9ac6f96d2a88edb5b351df634dc5e53
_md5_=11e29634225cf73a6f89116b2a30fe6e

View File

@@ -1,15 +0,0 @@
BDEPEND=dev-haskell/cabal:0= dev-lang/ghc:0= dev-util/gperf sys-devel/autoconf sys-devel/bison sys-devel/flex >=dev-vcs/git-1.8.2.1[curl]
DEFINED_PHASES=compile install unpack
DEPEND=dev-haskell/old-time:0= dev-haskell/regex-compat:0= dev-haskell/split:0= dev-haskell/syb:0= dev-lang/tcl test? ( dev-util/dejagnu sci-electronics/systemc sys-process/time )
DESCRIPTION=Bluespec high level hardware design language compiler
EAPI=7
HOMEPAGE=https://github.com/B-Lang-org/bsc
INHERIT=git-r3
IUSE=test
LICENSE=BSD GPL-3+ MIT
PROPERTIES=live
RDEPEND=dev-haskell/old-time:0= dev-haskell/regex-compat:0= dev-haskell/split:0= dev-haskell/syb:0= dev-lang/tcl
RESTRICT=!test? ( test )
SLOT=0
_eclasses_=git-r3 b9ac6f96d2a88edb5b351df634dc5e53
_md5_=71748e11d09d8da4440ff96ddccb4f22

View File

@@ -1,15 +0,0 @@
BDEPEND=dev-haskell/cabal:0= dev-lang/ghc:0= dev-util/gperf sys-devel/autoconf sys-devel/bison sys-devel/flex >=dev-vcs/git-1.8.2.1[curl]
DEFINED_PHASES=compile install unpack
DEPEND=dev-haskell/old-time:0= dev-haskell/regex-compat:0= dev-haskell/split:0= dev-haskell/syb:0= dev-lang/tcl test? ( dev-util/dejagnu sci-electronics/systemc sys-process/time )
DESCRIPTION=Bluespec high level hardware design language compiler
EAPI=7
HOMEPAGE=https://github.com/B-Lang-org/bsc
INHERIT=git-r3
IUSE=test
LICENSE=BSD GPL-3+ MIT
PROPERTIES=live
RDEPEND=dev-haskell/old-time:0= dev-haskell/regex-compat:0= dev-haskell/split:0= dev-haskell/syb:0= dev-lang/tcl
RESTRICT=!test? ( test )
SLOT=0
_eclasses_=git-r3 b9ac6f96d2a88edb5b351df634dc5e53
_md5_=021041ce0f8504ca5bf013cbe51ba9af

View File

@@ -0,0 +1,17 @@
BDEPEND=dev-util/ninja virtual/pkgconfig >=dev-util/ninja-1.8.2 >=dev-util/cmake-3.20.5
DEFINED_PHASES=compile configure install prepare test
DEPEND=python_targets_python3_8? ( >=dev-lang/python-3.8.13:3.8 ) python_targets_python3_9? ( >=dev-lang/python-3.9.12:3.9 ) python_targets_python3_10? ( >=dev-lang/python-3.10.4:3.10 ) python_targets_python3_11? ( >=dev-lang/python-3.11.0_beta4:3.11 ) test? ( dev-python/psutil[python_targets_python3_8(-)?,python_targets_python3_9(-)?,python_targets_python3_10(-)?,python_targets_python3_11(-)?] sci-electronics/verilator ) sys-libs/ncurses:0=
DESCRIPTION=The fast free Verilog/SystemVerilog simulator
EAPI=8
HOMEPAGE=https://circt.llvm.org https://github.com/llvm/circt
INHERIT=cmake python-r1
IUSE=test python_targets_python3_8 python_targets_python3_9 python_targets_python3_10 python_targets_python3_11
KEYWORDS=~amd64 ~arm64 ~riscv ~x86
LICENSE=Apache-2.0-with-LLVM-exceptions UoI-NCSA BSD public-domain rc
RDEPEND=python_targets_python3_8? ( >=dev-lang/python-3.8.13:3.8 ) python_targets_python3_9? ( >=dev-lang/python-3.9.12:3.9 ) python_targets_python3_10? ( >=dev-lang/python-3.10.4:3.10 ) python_targets_python3_11? ( >=dev-lang/python-3.11.0_beta4:3.11 ) test? ( dev-python/psutil[python_targets_python3_8(-)?,python_targets_python3_9(-)?,python_targets_python3_10(-)?,python_targets_python3_11(-)?] sci-electronics/verilator ) sys-libs/ncurses:0=
REQUIRED_USE=|| ( python_targets_python3_8 python_targets_python3_9 python_targets_python3_10 python_targets_python3_11 )
RESTRICT=!test? ( test )
SLOT=0
SRC_URI=https://github.com/llvm/circt/archive/refs/tags/sifive/1/14/0.tar.gz -> circt-1.14.0.tar.gz https://github.com/llvm/llvm-project/archive/fe0f72d5c55a9b95c5564089e946e8f08112e995.tar.gz -> llvm-project-fe0f72d5c55a9b95c5564089e946e8f08112e995.tar.gz
_eclasses_=toolchain-funcs 1542e649be915f43f6908a9e93909961 multilib 5ca4e49abed8e3a2f7b56920eadee157 flag-o-matic 29a755b1291d64133634d80b0328f153 multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 ninja-utils 58ec4e54962bf45d065fb95030701514 xdg-utils fffb53a53cf17c9c0c998a3c0a590c7e cmake 44afbf15c35884f7c840470f1cf05d0d multibuild d26d81f242cb193d899a72bca423d0bd python-utils-r1 dd5e1098e305ad508d21f496e9e37046 python-r1 2d51fd03931e743811ce30d198e4dcfd
_md5_=a5e4812a4e4053c6af916ae5f9674a84

View File

@@ -13,4 +13,4 @@ REQUIRED_USE=^^ ( lua_single_target_lua5-3 )
SLOT=0
SRC_URI=https://github.com/lxi-tools/lxi-tools/archive/refs/tags/v2.1.tar.gz -> lxi-tools-2.1.tar.gz
_eclasses_=multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 ninja-utils 58ec4e54962bf45d065fb95030701514 toolchain-funcs 1542e649be915f43f6908a9e93909961 multilib 5ca4e49abed8e3a2f7b56920eadee157 python-utils-r1 dd5e1098e305ad508d21f496e9e37046 meson 1994a5aef5d4f5798b92f64d6f9a6003 python-any-r1 f2f00fb79b5e888b5011d4c51240ae97 lua-utils e69ff116248d78546ae1a234c086fe80 lua-single f2c2fb82c912dd65d53bdae3613a331f xdg-utils fffb53a53cf17c9c0c998a3c0a590c7e gnome2-utils 2116cec8f46f4d1b0a88c5b1f1575dd3
_md5_=d54a9049118a87846ac1585bd494cd33
_md5_=7f0faa1cb4b2983eb480d1f1a8c16c59