From 75ea5aa7ae4901646b3201937befa9181d4fdeef Mon Sep 17 00:00:00 2001 From: Huang Rui Date: Mon, 18 May 2026 17:05:10 +0800 Subject: [PATCH] sci-electronics/bluespec: drop 2022.01-r1, 2023.07, 2024.01 Closes: https://bugs.gentoo.org/869185 Closes: https://bugs.gentoo.org/869188 Closes: https://bugs.gentoo.org/887907 Closes: https://bugs.gentoo.org/887909 Closes: https://bugs.gentoo.org/887911 Closes: https://bugs.gentoo.org/951129 Signed-off-by: Huang Rui --- sci-electronics/bluespec/Manifest | 3 - .../bluespec/bluespec-2022.01-r1.ebuild | 146 ------------------ .../bluespec/bluespec-2023.07.ebuild | 146 ------------------ .../bluespec/bluespec-2024.01.ebuild | 146 ------------------ 4 files changed, 441 deletions(-) delete mode 100644 sci-electronics/bluespec/bluespec-2022.01-r1.ebuild delete mode 100644 sci-electronics/bluespec/bluespec-2023.07.ebuild delete mode 100644 sci-electronics/bluespec/bluespec-2024.01.ebuild diff --git a/sci-electronics/bluespec/Manifest b/sci-electronics/bluespec/Manifest index 94c435c728..a6fd98b4ac 100644 --- a/sci-electronics/bluespec/Manifest +++ b/sci-electronics/bluespec/Manifest @@ -1,7 +1,4 @@ -DIST bluespec-2022.01.tar.gz 25576850 BLAKE2B c80dada5bdbc13bd8ff4205ff8b65384845548b61190dd0d3729d877be576b78acfd38857adf427321f9ba078bae2891640cf211e907ca2db679bd7a0d2bb536 SHA512 e6a1e0197d42ca402180735d1f2c41ab84b47eb8708d4ff49a9d509a928dec7cda88d06353faaebefcabacb734d6f7dd1cee1b6e1053010231c8ae508cb80789 DIST bluespec-2023.01.tar.gz 26431509 BLAKE2B 10cb153e3dfc6779e48ead139da53463ffd4610c389feee73b64ae74e65e411cb9408e324e76f5b56b1accbe012c79017f528d4daa2d575ae73b16f5cf9d4733 SHA512 704926ba3e9d04a3a12c5c77793151a68d650e5ce84c3d5e6a6b86187dea322cd0e0ba78a5fd840e2dbd3a01a7d27ca30b9648158056b2c96eb522722bdef302 -DIST bluespec-2023.07.tar.gz 26449912 BLAKE2B de40024ee5a61b608d341d940d631e6350c3d45eeb8e52fc046ef4b6175c17c9867894d7a73dc656fefe19b952da7baafba1d2d685e990bb08c4e90435519815 SHA512 c14c7a17c53dc59ed8c62022fec932f7c8da13ef3d5aaa5c0439c492e89919bb2cb647cfb862e4d072cfb9bdbbe3e5ed0b98f9a609a6cbb7bbd5ce55384cbb5e -DIST bluespec-2024.01.tar.gz 26477100 BLAKE2B 257204eb8a677a26ce4dc24a1f646b48b8d5247ec4427fb9dc98e1a31ae71c649d835237c822c24818f31b3da434f9b430383cc948d4893034074b4347a7f183 SHA512 e5c8213e73bb58fb46db374b4e26631ca56c2681b691dd6357fe6a1bb5c70641fe7f53a7e3f20a489b4d435a0f94b6e14b33fa56dbb83c80190999bba47580c8 DIST bluespec-2024.07.tar.gz 26477765 BLAKE2B 5c5d5030ac873b404f2be4705dc10e96dc5851e7d999851bdef3ef3174da33570a5501883724884950034dcc5939fdbbebcd8169493a4cc9ef3a448fa9dc5faa SHA512 7d8ec7ddd4d967195c0cba7f6988708aa5f53f621d862d7fa5b932d66756486cb65987258e19acdccabc3b7a85fef27cc0fadfe2d880384c225429c31dcaa2f4 DIST bluespec-2025.01.1.tar.gz 26482892 BLAKE2B 4f0c67de78bf37f9de894ad544430613491de3a97d7f2a00767adf12ccd527146af1d55cd90fdaa25441611fb18f9755a847bf7d7cb89db350eac92b914348e1 SHA512 d1d9fc149da0b793cf9158bf72219942cd11bef8b0e8ddce51a22de591cbad07cce367bb72e3c718bca1e81d3768a298b4f3e61cbb5b4b3cc04cf1cc7796908a DIST bluespec-2026.01.tar.gz 26533179 BLAKE2B 9c08362e02256745b86ae832c8c01d1cdfa2ae59b0b3558545b6bbac292c9e23d2dbe452b4bf49d3c44c6a74df27b9fde124c38e0ef5d6f074e59aea64a8ea9a SHA512 0b5b9539209cb556b2325be091cc3f24f330b9b9a86c1ead3d872ab1fee92f828769f3cdd1ba7cbdc4315f44b747a2c62a7d46f90ad87452fdd5706aac6af11b diff --git a/sci-electronics/bluespec/bluespec-2022.01-r1.ebuild b/sci-electronics/bluespec/bluespec-2022.01-r1.ebuild deleted file mode 100644 index d9939b82d9..0000000000 --- a/sci-electronics/bluespec/bluespec-2022.01-r1.ebuild +++ /dev/null @@ -1,146 +0,0 @@ -# Copyright 1999-2023 Gentoo Authors -# Distributed under the terms of the GNU General Public License v2 - -EAPI=8 - -DESCRIPTION="Toolchain for the Bluespec Hardware Definition Language" -HOMEPAGE="https://github.com/B-Lang-org/bsc" - -if [[ ${PV} == "9999" ]] ; then - EGIT_REPO_URI="https://github.com/B-Lang-org/bsc.git" - inherit git-r3 -else - SRC_URI=" - https://github.com/B-Lang-org/bsc/archive/refs/tags/${PV}.tar.gz -> ${P}.tar.gz - https://github.com/SRI-CSL/yices2/archive/refs/tags/Yices-2.6.4.tar.gz -> yices-2.6.4.tar.gz - " - S="${WORKDIR}/bsc-${PV}" - S_YICES="${WORKDIR}/yices2-Yices-2.6.4" - KEYWORDS="~amd64 ~x86" -fi - -LICENSE="BSD GPL-3+ MIT" -SLOT="${PV}" -IUSE="doc test" -RESTRICT="!test? ( test )" - -RDEPEND=" - 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 -" - -DEPEND=" - ${RDEPEND} - test? ( - dev-util/dejagnu - sci-electronics/iverilog - sci-electronics/systemc - sys-process/time - ) -" - -# USE=doc also required dev-ruby/asciidoctor-pdf, -# which is masked due to bug 954116. -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 -" - -PATCHES=( - "${FILESDIR}"/${PN}-2022.01-libstp-stub-makefile.patch -) - -# Do not complain about CFLAGS etc since we don't use them -QA_FLAGS_IGNORED=" - usr/share/bsc/bsc-${PV}/bin/core/.* - usr/share/bsc/bsc-${PV}/lib/SAT/.* - usr/share/bsc/bsc-${PV}/lib/VPI/.* -" - -src_prepare() { - if [[ ${PV} != "9999" ]] ; then - rm -r "${S}"/src/vendor/yices/v2.6/yices2 || die - ln -s "${S_YICES}" "${S}"/src/vendor/yices/v2.6/yices2 || die - fi - - default -} - -src_compile() { - # NO_DEPS_CHECKS=1: skip the subrepo check (this deriviation uses yices.src instead of the subrepo) - # LDCONFIG=ldconfig: https://github.com/B-Lang-org/bsc/pull/43 - # STP_STUB=1: https://github.com/B-Lang-org/bsc/pull/278 - emake \ - "NO_DEPS_CHECKS=1" \ - "LDCONFIG=ldconfig" \ - "STP_STUB=1" \ - $(usex doc "" "NOASCIIDOCTOR=1") \ - $(usex doc "install-doc" "") \ - $(usex doc "install-release" "") \ - install-src \ - $(usex doc "release" "") - emake -C src/comp \ - install-extra -} - -src_test() { - emake check-smoke - emake -C testsuite check -} - -# Call eselect bluespec update with --if-unset -# to respect user's choice -eselect_bluespec_update() { - ebegin "Calling eselect bluespec update" - eselect bluespec update --if-unset - eend $? -} - -src_install() { - # From https://github.com/B-Lang-org/bsc/blob/main/INSTALL.md, - # upstream recommend placing the inst directory at - # the path /usr/share/bsc/bsc- for multi-version. - local INSTALL_PATH=/usr/share/bsc/bsc-"${PV}" - local ED_INSTALL_PATH="${ED}${INSTALL_PATH}" - mkdir -p "${ED_INSTALL_PATH}" || die - local f - for f in "${S}"/inst/bin/*; do - if [[ ! -d "${f}" ]] ; then - local b=$(basename ${f}) - sed -i "s|ABSNAME=.*\$|ABSNAME=\$(readlink -f -- \"\$0\")|g" "${f}" || die - fi - done - cp -dr --preserve=mode,timestamp "${S}"/inst/* "${ED_INSTALL_PATH}"/ || die - insinto "${INSTALL_PATH}"/vimfiles - doins -r "${S}"/util/vim/{ftdetect,indent,syntax} -} - -pkg_postinst() { - eselect_bluespec_update -} - -pkg_postrm() { - eselect_bluespec_update -} diff --git a/sci-electronics/bluespec/bluespec-2023.07.ebuild b/sci-electronics/bluespec/bluespec-2023.07.ebuild deleted file mode 100644 index d9939b82d9..0000000000 --- a/sci-electronics/bluespec/bluespec-2023.07.ebuild +++ /dev/null @@ -1,146 +0,0 @@ -# Copyright 1999-2023 Gentoo Authors -# Distributed under the terms of the GNU General Public License v2 - -EAPI=8 - -DESCRIPTION="Toolchain for the Bluespec Hardware Definition Language" -HOMEPAGE="https://github.com/B-Lang-org/bsc" - -if [[ ${PV} == "9999" ]] ; then - EGIT_REPO_URI="https://github.com/B-Lang-org/bsc.git" - inherit git-r3 -else - SRC_URI=" - https://github.com/B-Lang-org/bsc/archive/refs/tags/${PV}.tar.gz -> ${P}.tar.gz - https://github.com/SRI-CSL/yices2/archive/refs/tags/Yices-2.6.4.tar.gz -> yices-2.6.4.tar.gz - " - S="${WORKDIR}/bsc-${PV}" - S_YICES="${WORKDIR}/yices2-Yices-2.6.4" - KEYWORDS="~amd64 ~x86" -fi - -LICENSE="BSD GPL-3+ MIT" -SLOT="${PV}" -IUSE="doc test" -RESTRICT="!test? ( test )" - -RDEPEND=" - 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 -" - -DEPEND=" - ${RDEPEND} - test? ( - dev-util/dejagnu - sci-electronics/iverilog - sci-electronics/systemc - sys-process/time - ) -" - -# USE=doc also required dev-ruby/asciidoctor-pdf, -# which is masked due to bug 954116. -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 -" - -PATCHES=( - "${FILESDIR}"/${PN}-2022.01-libstp-stub-makefile.patch -) - -# Do not complain about CFLAGS etc since we don't use them -QA_FLAGS_IGNORED=" - usr/share/bsc/bsc-${PV}/bin/core/.* - usr/share/bsc/bsc-${PV}/lib/SAT/.* - usr/share/bsc/bsc-${PV}/lib/VPI/.* -" - -src_prepare() { - if [[ ${PV} != "9999" ]] ; then - rm -r "${S}"/src/vendor/yices/v2.6/yices2 || die - ln -s "${S_YICES}" "${S}"/src/vendor/yices/v2.6/yices2 || die - fi - - default -} - -src_compile() { - # NO_DEPS_CHECKS=1: skip the subrepo check (this deriviation uses yices.src instead of the subrepo) - # LDCONFIG=ldconfig: https://github.com/B-Lang-org/bsc/pull/43 - # STP_STUB=1: https://github.com/B-Lang-org/bsc/pull/278 - emake \ - "NO_DEPS_CHECKS=1" \ - "LDCONFIG=ldconfig" \ - "STP_STUB=1" \ - $(usex doc "" "NOASCIIDOCTOR=1") \ - $(usex doc "install-doc" "") \ - $(usex doc "install-release" "") \ - install-src \ - $(usex doc "release" "") - emake -C src/comp \ - install-extra -} - -src_test() { - emake check-smoke - emake -C testsuite check -} - -# Call eselect bluespec update with --if-unset -# to respect user's choice -eselect_bluespec_update() { - ebegin "Calling eselect bluespec update" - eselect bluespec update --if-unset - eend $? -} - -src_install() { - # From https://github.com/B-Lang-org/bsc/blob/main/INSTALL.md, - # upstream recommend placing the inst directory at - # the path /usr/share/bsc/bsc- for multi-version. - local INSTALL_PATH=/usr/share/bsc/bsc-"${PV}" - local ED_INSTALL_PATH="${ED}${INSTALL_PATH}" - mkdir -p "${ED_INSTALL_PATH}" || die - local f - for f in "${S}"/inst/bin/*; do - if [[ ! -d "${f}" ]] ; then - local b=$(basename ${f}) - sed -i "s|ABSNAME=.*\$|ABSNAME=\$(readlink -f -- \"\$0\")|g" "${f}" || die - fi - done - cp -dr --preserve=mode,timestamp "${S}"/inst/* "${ED_INSTALL_PATH}"/ || die - insinto "${INSTALL_PATH}"/vimfiles - doins -r "${S}"/util/vim/{ftdetect,indent,syntax} -} - -pkg_postinst() { - eselect_bluespec_update -} - -pkg_postrm() { - eselect_bluespec_update -} diff --git a/sci-electronics/bluespec/bluespec-2024.01.ebuild b/sci-electronics/bluespec/bluespec-2024.01.ebuild deleted file mode 100644 index 4515f4d0d8..0000000000 --- a/sci-electronics/bluespec/bluespec-2024.01.ebuild +++ /dev/null @@ -1,146 +0,0 @@ -# Copyright 1999-2025 Gentoo Authors -# Distributed under the terms of the GNU General Public License v2 - -EAPI=8 - -DESCRIPTION="Toolchain for the Bluespec Hardware Definition Language" -HOMEPAGE="https://github.com/B-Lang-org/bsc" - -if [[ ${PV} == "9999" ]] ; then - EGIT_REPO_URI="https://github.com/B-Lang-org/bsc.git" - inherit git-r3 -else - SRC_URI=" - https://github.com/B-Lang-org/bsc/archive/refs/tags/${PV}.tar.gz -> ${P}.tar.gz - https://github.com/SRI-CSL/yices2/archive/refs/tags/Yices-2.6.4.tar.gz -> yices-2.6.4.tar.gz - " - S="${WORKDIR}/bsc-${PV}" - S_YICES="${WORKDIR}/yices2-Yices-2.6.4" - KEYWORDS="~amd64 ~x86" -fi - -LICENSE="BSD GPL-3+ MIT" -SLOT="${PV}" -IUSE="doc test" -RESTRICT="!test? ( test )" - -RDEPEND=" - 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 -" - -DEPEND=" - ${RDEPEND} - test? ( - dev-util/dejagnu - sci-electronics/iverilog - sci-electronics/systemc - sys-process/time - ) -" - -# USE=doc also required dev-ruby/asciidoctor-pdf, -# which is masked due to bug 954116. -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 -" - -PATCHES=( - "${FILESDIR}"/${PN}-2022.01-libstp-stub-makefile.patch -) - -# Do not complain about CFLAGS etc since we don't use them -QA_FLAGS_IGNORED=" - usr/share/bsc/bsc-${PV}/bin/core/.* - usr/share/bsc/bsc-${PV}/lib/SAT/.* - usr/share/bsc/bsc-${PV}/lib/VPI/.* -" - -src_prepare() { - if [[ ${PV} != "9999" ]] ; then - rm -r "${S}"/src/vendor/yices/v2.6/yices2 || die - ln -s "${S_YICES}" "${S}"/src/vendor/yices/v2.6/yices2 || die - fi - - default -} - -src_compile() { - # NO_DEPS_CHECKS=1: skip the subrepo check (this deriviation uses yices.src instead of the subrepo) - # LDCONFIG=ldconfig: https://github.com/B-Lang-org/bsc/pull/43 - # STP_STUB=1: https://github.com/B-Lang-org/bsc/pull/278 - emake \ - "NO_DEPS_CHECKS=1" \ - "LDCONFIG=ldconfig" \ - "STP_STUB=1" \ - $(usex doc "" "NOASCIIDOCTOR=1") \ - $(usex doc "install-doc" "") \ - $(usex doc "install-release" "") \ - install-src \ - $(usex doc "release" "") - emake -C src/comp \ - install-extra -} - -src_test() { - emake check-smoke - emake -C testsuite check -} - -# Call eselect bluespec update with --if-unset -# to respect user's choice -eselect_bluespec_update() { - ebegin "Calling eselect bluespec update" - eselect bluespec update --if-unset - eend $? -} - -src_install() { - # From https://github.com/B-Lang-org/bsc/blob/main/INSTALL.md, - # upstream recommend placing the inst directory at - # the path /usr/share/bsc/bsc- for multi-version. - local INSTALL_PATH=/usr/share/bsc/bsc-"${PV}" - local ED_INSTALL_PATH="${ED}${INSTALL_PATH}" - mkdir -p "${ED_INSTALL_PATH}" || die - local f - for f in "${S}"/inst/bin/*; do - if [[ ! -d "${f}" ]] ; then - local b=$(basename ${f}) - sed -i "s|ABSNAME=.*\$|ABSNAME=\$(readlink -f -- \"\$0\")|g" "${f}" || die - fi - done - cp -dr --preserve=mode,timestamp "${S}"/inst/* "${ED_INSTALL_PATH}"/ || die - insinto "${INSTALL_PATH}"/vimfiles - doins -r "${S}"/util/vim/{ftdetect,indent,syntax} -} - -pkg_postinst() { - eselect_bluespec_update -} - -pkg_postrm() { - eselect_bluespec_update -}