public inbox for gentoo-commits@lists.gentoo.org
 help / color / mirror / Atom feed
From: "Rui Huang" <vowstar@gmail.com>
To: gentoo-commits@lists.gentoo.org
Subject: [gentoo-commits] repo/proj/guru:dev commit in: sci-electronics/bluespec/
Date: Wed,  7 Sep 2022 03:11:57 +0000 (UTC)	[thread overview]
Message-ID: <1662520261.a34de3edc7540b71247212ed44dfd7f2986c892d.vowstar@gentoo> (raw)

commit:     a34de3edc7540b71247212ed44dfd7f2986c892d
Author:     Huang Rui <vowstar <AT> gmail <DOT> com>
AuthorDate: Wed Sep  7 03:11:01 2022 +0000
Commit:     Rui Huang <vowstar <AT> gmail <DOT> com>
CommitDate: Wed Sep  7 03:11:01 2022 +0000
URL:        https://gitweb.gentoo.org/repo/proj/guru.git/commit/?id=a34de3ed

sci-electronics/bluespec: drop 2022.01

Signed-off-by: Huang Rui <vowstar <AT> gmail.com>

 sci-electronics/bluespec/bluespec-2022.01.ebuild | 139 -----------------------
 1 file changed, 139 deletions(-)

diff --git a/sci-electronics/bluespec/bluespec-2022.01.ebuild b/sci-electronics/bluespec/bluespec-2022.01.ebuild
deleted file mode 100644
index 68cd0ea61..000000000
--- a/sci-electronics/bluespec/bluespec-2022.01.ebuild
+++ /dev/null
@@ -1,139 +0,0 @@
-# Copyright 1999-2022 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
-	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
-	)
-"
-
-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
-"
-
-PATCHES=(
-	"${FILESDIR}"/${PN}-2022.01-libstp-stub-makefile.patch
-)
-
-DOCS=( "README.md" "COPYING" )
-
-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 vi 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-<VERSION> 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
-}


             reply	other threads:[~2022-09-07  3:12 UTC|newest]

Thread overview: 10+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2022-09-07  3:11 Rui Huang [this message]
  -- strict thread matches above, loose matches on Subject: below --
2023-11-03  3:18 [gentoo-commits] repo/proj/guru:dev commit in: sci-electronics/bluespec/ Rui Huang
2023-11-02 13:53 Rui Huang
2023-11-02 13:53 Rui Huang
2023-03-23 14:04 Rui Huang
2022-09-07  3:11 Rui Huang
2022-09-07  2:51 Rui Huang
2022-08-28 20:28 Rui Huang
2022-08-28 17:01 Rui Huang
2022-08-28 14:42 Rui Huang

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=1662520261.a34de3edc7540b71247212ed44dfd7f2986c892d.vowstar@gentoo \
    --to=vowstar@gmail.com \
    --cc=gentoo-commits@lists.gentoo.org \
    --cc=gentoo-dev@lists.gentoo.org \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox