2025-04-22 09:05:09 UTC

This commit is contained in:
Repository mirror & CI
2025-04-22 09:05:09 +00:00
parent bf96276b07
commit eceaf9ed9d
33 changed files with 209 additions and 108 deletions

View File

@@ -1,4 +1,4 @@
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 dev-build/automake sys-devel/bison sys-devel/flex virtual/pkgconfig
BDEPEND=dev-haskell/cabal:0= dev-lang/ghc:0= dev-lang/perl dev-util/gperf doc? ( dev-ruby/asciidoctor 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 dev-build/automake sys-devel/bison sys-devel/flex virtual/pkgconfig
DEFINED_PHASES=compile install postinst postrm prepare test
DEPEND=app-eselect/eselect-bluespec app-shells/tcsh 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
@@ -11,4 +11,4 @@ RDEPEND=app-eselect/eselect-bluespec app-shells/tcsh dev-haskell/old-time:0= dev
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_=cccf1384bb03ccef77b97367f3420d8b
_md5_=27eb0da6e350f73434c58dc794c3a117

View File

@@ -1,4 +1,4 @@
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 dev-build/automake sys-devel/bison sys-devel/flex virtual/pkgconfig
BDEPEND=dev-haskell/cabal:0= dev-lang/ghc:0= dev-lang/perl dev-util/gperf doc? ( dev-ruby/asciidoctor 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 dev-build/automake sys-devel/bison sys-devel/flex virtual/pkgconfig
DEFINED_PHASES=compile install postinst postrm prepare test
DEPEND=app-eselect/eselect-bluespec app-shells/tcsh 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
@@ -11,4 +11,4 @@ RDEPEND=app-eselect/eselect-bluespec app-shells/tcsh dev-haskell/old-time:0= dev
RESTRICT=!test? ( test )
SLOT=2023.01
SRC_URI=https://github.com/B-Lang-org/bsc/archive/refs/tags/2023.01.tar.gz -> bluespec-2023.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_=cccf1384bb03ccef77b97367f3420d8b
_md5_=27eb0da6e350f73434c58dc794c3a117

View File

@@ -1,4 +1,4 @@
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 dev-build/automake sys-devel/bison sys-devel/flex virtual/pkgconfig
BDEPEND=dev-haskell/cabal:0= dev-lang/ghc:0= dev-lang/perl dev-util/gperf doc? ( dev-ruby/asciidoctor 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 dev-build/automake sys-devel/bison sys-devel/flex virtual/pkgconfig
DEFINED_PHASES=compile install postinst postrm prepare test
DEPEND=app-eselect/eselect-bluespec app-shells/tcsh 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
@@ -11,4 +11,4 @@ RDEPEND=app-eselect/eselect-bluespec app-shells/tcsh dev-haskell/old-time:0= dev
RESTRICT=!test? ( test )
SLOT=2023.07
SRC_URI=https://github.com/B-Lang-org/bsc/archive/refs/tags/2023.07.tar.gz -> bluespec-2023.07.tar.gz https://github.com/SRI-CSL/yices2/archive/refs/tags/Yices-2.6.4.tar.gz -> yices-2.6.4.tar.gz
_md5_=cccf1384bb03ccef77b97367f3420d8b
_md5_=27eb0da6e350f73434c58dc794c3a117

View File

@@ -1,4 +1,4 @@
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 dev-build/automake sys-devel/bison sys-devel/flex virtual/pkgconfig
BDEPEND=dev-haskell/cabal:0= dev-lang/ghc:0= dev-lang/perl dev-util/gperf doc? ( dev-ruby/asciidoctor 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 dev-build/automake sys-devel/bison sys-devel/flex virtual/pkgconfig
DEFINED_PHASES=compile install postinst postrm prepare test
DEPEND=app-eselect/eselect-bluespec app-shells/tcsh 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
@@ -11,4 +11,4 @@ RDEPEND=app-eselect/eselect-bluespec app-shells/tcsh dev-haskell/old-time:0= dev
RESTRICT=!test? ( test )
SLOT=2024.01
SRC_URI=https://github.com/B-Lang-org/bsc/archive/refs/tags/2024.01.tar.gz -> bluespec-2024.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_=7b0b454a39afe8836dd87eb050d5585e
_md5_=5dc13fcda0b668ad0076db5e5f8e5580

View File

@@ -1,4 +1,4 @@
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 dev-build/automake sys-devel/bison sys-devel/flex virtual/pkgconfig
BDEPEND=dev-haskell/cabal:0= dev-lang/ghc:0= dev-lang/perl dev-util/gperf doc? ( dev-ruby/asciidoctor 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 dev-build/automake sys-devel/bison sys-devel/flex virtual/pkgconfig
DEFINED_PHASES=compile install postinst postrm prepare test
DEPEND=app-eselect/eselect-bluespec app-shells/tcsh 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
@@ -11,4 +11,4 @@ RDEPEND=app-eselect/eselect-bluespec app-shells/tcsh dev-haskell/old-time:0= dev
RESTRICT=!test? ( test )
SLOT=2024.07
SRC_URI=https://github.com/B-Lang-org/bsc/archive/refs/tags/2024.07.tar.gz -> bluespec-2024.07.tar.gz https://github.com/SRI-CSL/yices2/archive/refs/tags/Yices-2.6.4.tar.gz -> yices-2.6.4.tar.gz
_md5_=7b0b454a39afe8836dd87eb050d5585e
_md5_=5dc13fcda0b668ad0076db5e5f8e5580

View File

@@ -1,4 +1,4 @@
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 dev-build/automake sys-devel/bison sys-devel/flex virtual/pkgconfig
BDEPEND=dev-haskell/cabal:0= dev-lang/ghc:0= dev-lang/perl dev-util/gperf doc? ( dev-ruby/asciidoctor 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 dev-build/automake sys-devel/bison sys-devel/flex virtual/pkgconfig
DEFINED_PHASES=compile install postinst postrm prepare test
DEPEND=app-eselect/eselect-bluespec app-shells/tcsh 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
@@ -11,4 +11,4 @@ RDEPEND=app-eselect/eselect-bluespec app-shells/tcsh dev-haskell/old-time:0= dev
RESTRICT=!test? ( test )
SLOT=2025.01.1
SRC_URI=https://github.com/B-Lang-org/bsc/archive/refs/tags/2025.01.1.tar.gz -> bluespec-2025.01.1.tar.gz https://github.com/SRI-CSL/yices2/archive/refs/tags/Yices-2.6.4.tar.gz -> yices-2.6.4.tar.gz
_md5_=7b0b454a39afe8836dd87eb050d5585e
_md5_=5dc13fcda0b668ad0076db5e5f8e5580

View File

@@ -1,4 +1,4 @@
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 dev-build/automake sys-devel/bison sys-devel/flex virtual/pkgconfig >=dev-vcs/git-1.8.2.1[curl]
BDEPEND=dev-haskell/cabal:0= dev-lang/ghc:0= dev-lang/perl dev-util/gperf doc? ( dev-ruby/asciidoctor 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 dev-build/automake 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 app-shells/tcsh 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
@@ -12,4 +12,4 @@ RDEPEND=app-eselect/eselect-bluespec app-shells/tcsh dev-haskell/old-time:0= dev
RESTRICT=!test? ( test )
SLOT=9999
_eclasses_=git-r3 875eb471682d3e1f18da124be97dcc81
_md5_=cccf1384bb03ccef77b97367f3420d8b
_md5_=27eb0da6e350f73434c58dc794c3a117