public inbox for gentoo-commits@lists.gentoo.org
 help / color / mirror / Atom feed
* [gentoo-commits] repo/gentoo:master commit in: dev-lang/idris2/
@ 2021-11-27 20:13 Maciej Barć
  0 siblings, 0 replies; 14+ messages in thread
From: Maciej Barć @ 2021-11-27 20:13 UTC (permalink / raw
  To: gentoo-commits

commit:     54d516476fe0434a45676f12db6a6d2eddb20533
Author:     Maciej Barć <xgqt <AT> gentoo <DOT> org>
AuthorDate: Sat Nov 27 20:01:30 2021 +0000
Commit:     Maciej Barć <xgqt <AT> gentoo <DOT> org>
CommitDate: Sat Nov 27 20:02:02 2021 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=54d51647

dev-lang/idris2: new package; add version 0.5.1_p20211112

Package-Manager: Portage-3.0.28, Repoman-3.0.3
Signed-off-by: Maciej Barć <xgqt <AT> gentoo.org>

 dev-lang/idris2/Manifest                      |   1 +
 dev-lang/idris2/idris2-0.5.1_p20211112.ebuild | 108 ++++++++++++++++++++++++++
 dev-lang/idris2/metadata.xml                  |  27 +++++++
 3 files changed, 136 insertions(+)

diff --git a/dev-lang/idris2/Manifest b/dev-lang/idris2/Manifest
new file mode 100644
index 000000000000..ceffb317d5de
--- /dev/null
+++ b/dev-lang/idris2/Manifest
@@ -0,0 +1 @@
+DIST idris2-0.5.1_p20211112.tar.gz 6202861 BLAKE2B 189bf28c7a33281494edea9b2c0821a934000fe9ca6e929b3318fe33576553142e5ad8d81598249cc384c6e342491ccef0998f33a4f2940b80264f5a3e4b32b2 SHA512 3b419ddbdc4aa3a28d92bf204448090c168d6a844d570886f982129f9e650c7112bbf95b727baf6c9f0f2fd6200c75eb68b6b71fd8684e01365eaf964dea1ea1

diff --git a/dev-lang/idris2/idris2-0.5.1_p20211112.ebuild b/dev-lang/idris2/idris2-0.5.1_p20211112.ebuild
new file mode 100644
index 000000000000..8069d5960163
--- /dev/null
+++ b/dev-lang/idris2/idris2-0.5.1_p20211112.ebuild
@@ -0,0 +1,108 @@
+# Copyright 1999-2021 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+COMMIT_HASH="ba180706d607945d8b419301f4362471d97a306a"
+
+inherit toolchain-funcs
+
+DESCRIPTION="Purely functional programming language with first class types"
+HOMEPAGE="https://idris-lang.org/"
+
+if [[ "${PV}" == *9999* ]]; then
+	inherit git-r3
+	EGIT_REPO_URI="https://github.com/idris-lang/Idris2.git"
+else
+	SRC_URI="https://github.com/idris-lang/Idris2/archive/${COMMIT_HASH}.tar.gz -> ${P}.tar.gz"
+	KEYWORDS="~amd64 ~x86"
+	S="${WORKDIR}/${PN^}-${COMMIT_HASH}"
+fi
+
+LICENSE="BSD"
+SLOT="0"
+IUSE="+chez doc racket test-full"
+REQUIRED_USE="^^ ( chez racket )"
+
+RDEPEND="
+	dev-libs/gmp
+	chez? ( dev-scheme/chez[threads] )
+	racket? ( dev-scheme/racket[threads] )
+"
+DEPEND="${RDEPEND}"
+BDEPEND="
+	doc? ( dev-python/sphinx_rtd_theme )
+	test-full? (
+		dev-scheme/chez[threads]
+		dev-scheme/racket[threads]
+		net-libs/nodejs
+	)
+"
+
+# Generated via "SCHEME", not CC
+QA_FLAGS_IGNORED="usr/lib/idris2/bin/idris2_app/idris2
+	usr/lib/idris2/bin/idris2_app/idris2-boot"
+QA_PRESTRIPPED="${QA_FLAGS_IGNORED}"
+
+src_prepare() {
+	# Clean up environment of Idris and Racket variables
+	unset IDRIS2_DATA IDRIS2_INC_CGS IDRIS2_LIBS IDRIS2_PACKAGE_PATH
+	unset IDRIS2_PATH IDRIS2_PREFIX
+	unset PLTUSERHOME
+
+	tc-export AR CC CXX LD RANLIB
+	export CFLAGS
+	sed -i '/^CFLAGS/d' ./support/*/Makefile || die
+
+	# Fix "PREFIX"
+	sed -i 's|$(HOME)/.idris2|/usr/lib/idris2|g' ./config.mk || die
+
+	# Bad tests
+	# > Missing incremental compile data, reverting to whole program compilation
+	sed -i 's|"chez033",||g' ./tests/Main.idr || die
+
+	default
+}
+
+src_configure() {
+	export IDRIS2_VERSION=${PV}
+	export SCHEME=$(usex chez chezscheme racket)
+
+	if use chez; then
+		export IDRIS2_CG=chez
+		export BOOTSTRAP_TARGET=bootstrap
+	elif use racket; then
+		export IDRIS2_CG=racket
+		export BOOTSTRAP_TARGET=bootstrap-racket
+	else
+		die "Neither chez nor racket was chosen"
+	fi
+}
+
+src_compile() {
+	# > jobserver unavailable
+	# This is caused by Makefile using a script which in turn calls make
+	# https://github.com/idris-lang/Idris2/issues/2152
+	emake SCHEME=${SCHEME} ${BOOTSTRAP_TARGET} -j1
+
+	use doc && emake -C ./docs html
+}
+
+src_test() {
+	emake SCHEME=${SCHEME} bootstrap-test
+}
+
+src_install() {
+	# "DESTDIR" variable is not respected
+	emake IDRIS2_PREFIX="${D}/usr/lib/idris2" PREFIX="${D}/usr/lib/idris2" install
+
+	dosym ../lib/${PN}/bin/${PN} /usr/bin/${PN}
+
+	einstalldocs
+
+	# Install documentation
+	if use doc; then
+		insinto /usr/share/doc/${PF}/
+		doins -r ./docs/build/html
+	fi
+}

diff --git a/dev-lang/idris2/metadata.xml b/dev-lang/idris2/metadata.xml
new file mode 100644
index 000000000000..0c84b056b4e8
--- /dev/null
+++ b/dev-lang/idris2/metadata.xml
@@ -0,0 +1,27 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd">
+
+<pkgmetadata>
+  <maintainer type="project">
+    <email>scheme@gentoo.org</email>
+    <name>Gentoo Scheme Project</name>
+  </maintainer>
+  <longdescription lang="en">
+    Idris is a programming language designed to encourage Type-Driven
+    Development.
+    In type-driven development, types are tools for constructing programs.
+    We treat the type as the plan for a program, and use the compiler
+    and type checker as our assistant, guiding us to a complete program that
+    satisfies the type. The more expressive the type is that we give up front,
+    the more confidence we can have that the resulting program will be correct.
+  </longdescription>
+  <upstream>
+    <bugs-to>https://github.com/idris-lang/Idris2/issues</bugs-to>
+    <remote-id type="github">idris-lang/Idris2></remote-id>
+  </upstream>
+  <use>
+    <flag name="chez">build using <pkg>dev-scheme/chez</pkg></flag>
+    <flag name="racket">build using <pkg>dev-scheme/racket</pkg></flag>
+    <flag name="test-full">pull in depedndencies to run all tests</flag>
+  </use>
+</pkgmetadata>


^ permalink raw reply related	[flat|nested] 14+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: dev-lang/idris2/
@ 2021-11-27 21:11 Maciej Barć
  0 siblings, 0 replies; 14+ messages in thread
From: Maciej Barć @ 2021-11-27 21:11 UTC (permalink / raw
  To: gentoo-commits

commit:     793a720cdcd065874d2beb7efcad20e208b65bf7
Author:     Maciej Barć <xgqt <AT> gentoo <DOT> org>
AuthorDate: Sat Nov 27 21:10:53 2021 +0000
Commit:     Maciej Barć <xgqt <AT> gentoo <DOT> org>
CommitDate: Sat Nov 27 21:10:59 2021 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=793a720c

dev-lang/idris2: use dodoc instead of insinto

Package-Manager: Portage-3.0.28, Repoman-3.0.3
Signed-off-by: Maciej Barć <xgqt <AT> gentoo.org>

 dev-lang/idris2/idris2-0.5.1_p20211112.ebuild | 5 +----
 1 file changed, 1 insertion(+), 4 deletions(-)

diff --git a/dev-lang/idris2/idris2-0.5.1_p20211112.ebuild b/dev-lang/idris2/idris2-0.5.1_p20211112.ebuild
index 8069d5960163..762d534c28a4 100644
--- a/dev-lang/idris2/idris2-0.5.1_p20211112.ebuild
+++ b/dev-lang/idris2/idris2-0.5.1_p20211112.ebuild
@@ -101,8 +101,5 @@ src_install() {
 	einstalldocs
 
 	# Install documentation
-	if use doc; then
-		insinto /usr/share/doc/${PF}/
-		doins -r ./docs/build/html
-	fi
+	use doc && dodoc -r ./docs/build/html
 }


^ permalink raw reply related	[flat|nested] 14+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: dev-lang/idris2/
@ 2021-11-27 21:59 Maciej Barć
  0 siblings, 0 replies; 14+ messages in thread
From: Maciej Barć @ 2021-11-27 21:59 UTC (permalink / raw
  To: gentoo-commits

commit:     283170e2f7762199a1c7bed9ca4b65d623d513b2
Author:     Maciej Barć <xgqt <AT> gentoo <DOT> org>
AuthorDate: Sat Nov 27 21:59:08 2021 +0000
Commit:     Maciej Barć <xgqt <AT> gentoo <DOT> org>
CommitDate: Sat Nov 27 21:59:17 2021 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=283170e2

dev-lang/idris2: fix remote-id

Package-Manager: Portage-3.0.28, Repoman-3.0.3
Signed-off-by: Maciej Barć <xgqt <AT> gentoo.org>

 dev-lang/idris2/metadata.xml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/dev-lang/idris2/metadata.xml b/dev-lang/idris2/metadata.xml
index 0c84b056b4e8..b8e693b1cb86 100644
--- a/dev-lang/idris2/metadata.xml
+++ b/dev-lang/idris2/metadata.xml
@@ -17,7 +17,7 @@
   </longdescription>
   <upstream>
     <bugs-to>https://github.com/idris-lang/Idris2/issues</bugs-to>
-    <remote-id type="github">idris-lang/Idris2></remote-id>
+    <remote-id type="github">idris-lang/Idris2</remote-id>
   </upstream>
   <use>
     <flag name="chez">build using <pkg>dev-scheme/chez</pkg></flag>


^ permalink raw reply related	[flat|nested] 14+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: dev-lang/idris2/
@ 2021-12-27 15:59 Maciej Barć
  0 siblings, 0 replies; 14+ messages in thread
From: Maciej Barć @ 2021-12-27 15:59 UTC (permalink / raw
  To: gentoo-commits

commit:     bbaacd6e91d8924ff601a62a7fe351cc4bd41ede
Author:     Maciej Barć <xgqt <AT> gentoo <DOT> org>
AuthorDate: Mon Dec 27 15:57:59 2021 +0000
Commit:     Maciej Barć <xgqt <AT> gentoo <DOT> org>
CommitDate: Mon Dec 27 15:59:33 2021 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=bbaacd6e

dev-lang/idris2: minor metadata changes; add changelog

Package-Manager: Portage-3.0.28, Repoman-3.0.3
Signed-off-by: Maciej Barć <xgqt <AT> gentoo.org>

 dev-lang/idris2/metadata.xml | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

diff --git a/dev-lang/idris2/metadata.xml b/dev-lang/idris2/metadata.xml
index b8e693b1cb86..aab9447eef4a 100644
--- a/dev-lang/idris2/metadata.xml
+++ b/dev-lang/idris2/metadata.xml
@@ -6,7 +6,7 @@
     <email>scheme@gentoo.org</email>
     <name>Gentoo Scheme Project</name>
   </maintainer>
-  <longdescription lang="en">
+  <longdescription>
     Idris is a programming language designed to encourage Type-Driven
     Development.
     In type-driven development, types are tools for constructing programs.
@@ -16,7 +16,10 @@
     the more confidence we can have that the resulting program will be correct.
   </longdescription>
   <upstream>
-    <bugs-to>https://github.com/idris-lang/Idris2/issues</bugs-to>
+    <bugs-to>https://github.com/idris-lang/Idris2/issues/</bugs-to>
+    <changelog>
+      https://github.com/idris-lang/Idris2/blob/main/CHANGELOG.md
+    </changelog>
     <remote-id type="github">idris-lang/Idris2</remote-id>
   </upstream>
   <use>


^ permalink raw reply related	[flat|nested] 14+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: dev-lang/idris2/
@ 2022-02-01  3:46 Maciej Barć
  0 siblings, 0 replies; 14+ messages in thread
From: Maciej Barć @ 2022-02-01  3:46 UTC (permalink / raw
  To: gentoo-commits

commit:     50f782a3b8fcc501e244640e80ccc02ed0337844
Author:     Maciej Barć <xgqt <AT> gentoo <DOT> org>
AuthorDate: Tue Feb  1 03:27:11 2022 +0000
Commit:     Maciej Barć <xgqt <AT> gentoo <DOT> org>
CommitDate: Tue Feb  1 03:46:50 2022 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=50f782a3

dev-lang/idris2: bump to 0.5.1_p20220131

Package-Manager: Portage-3.0.30, Repoman-3.0.3
Signed-off-by: Maciej Barć <xgqt <AT> gentoo.org>

 dev-lang/idris2/Manifest                      |   1 +
 dev-lang/idris2/idris2-0.5.1_p20220131.ebuild | 104 ++++++++++++++++++++++++++
 2 files changed, 105 insertions(+)

diff --git a/dev-lang/idris2/Manifest b/dev-lang/idris2/Manifest
index ceffb317d5de..c7b410dafc3e 100644
--- a/dev-lang/idris2/Manifest
+++ b/dev-lang/idris2/Manifest
@@ -1 +1,2 @@
 DIST idris2-0.5.1_p20211112.tar.gz 6202861 BLAKE2B 189bf28c7a33281494edea9b2c0821a934000fe9ca6e929b3318fe33576553142e5ad8d81598249cc384c6e342491ccef0998f33a4f2940b80264f5a3e4b32b2 SHA512 3b419ddbdc4aa3a28d92bf204448090c168d6a844d570886f982129f9e650c7112bbf95b727baf6c9f0f2fd6200c75eb68b6b71fd8684e01365eaf964dea1ea1
+DIST idris2-0.5.1_p20220131.tar.gz 6283472 BLAKE2B 86b75457b8772d0a8938a4d3422af08fa8e625b675cc2648bc9f2683a6654586ff91b8b1d592f72a3a44c72fa830f9ebc5ae0c451398e8cb5d3fdf5070f7f8ab SHA512 50f21819dee929f847a6b64c89231da9dd55bc35314300aa7d3c3c5ea0da451caba67081ca8b2ffd89608d3aaa042e9b9a6ecb2df0585589404bae3c6a2fe74a

diff --git a/dev-lang/idris2/idris2-0.5.1_p20220131.ebuild b/dev-lang/idris2/idris2-0.5.1_p20220131.ebuild
new file mode 100644
index 000000000000..cff414efa8b8
--- /dev/null
+++ b/dev-lang/idris2/idris2-0.5.1_p20220131.ebuild
@@ -0,0 +1,104 @@
+# Copyright 1999-2022 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+H=a2c7e9f306ea8ff935bbeff1eac764291b12ce87
+
+inherit toolchain-funcs
+
+DESCRIPTION="Purely functional programming language with first class types"
+HOMEPAGE="https://idris-lang.org/"
+
+if [[ "${PV}" == *9999* ]] ; then
+	inherit git-r3
+	EGIT_REPO_URI="https://github.com/idris-lang/Idris2.git"
+else
+	SRC_URI="https://github.com/idris-lang/Idris2/archive/${H}.tar.gz -> ${P}.tar.gz"
+	KEYWORDS="~amd64 ~x86"
+	S="${WORKDIR}/${PN^}-${H}"
+fi
+
+LICENSE="BSD"
+SLOT="0"
+IUSE="+chez doc racket test-full"
+REQUIRED_USE="^^ ( chez racket )"
+
+RDEPEND="
+	dev-libs/gmp
+	chez? ( dev-scheme/chez[threads] )
+	racket? ( dev-scheme/racket[threads] )
+"
+DEPEND="${RDEPEND}"
+BDEPEND="
+	doc? ( dev-python/sphinx_rtd_theme )
+	test-full? (
+		dev-scheme/chez[threads]
+		dev-scheme/racket[threads]
+		net-libs/nodejs
+	)
+"
+
+# Generated via "SCHEME", not CC
+QA_FLAGS_IGNORED="usr/lib/idris2/bin/idris2_app/idris2
+	usr/lib/idris2/bin/idris2_app/idris2-boot"
+QA_PRESTRIPPED="${QA_FLAGS_IGNORED}"
+
+src_prepare() {
+	# Clean up environment of Idris and Racket variables
+	unset IDRIS2_DATA IDRIS2_INC_CGS IDRIS2_LIBS IDRIS2_PACKAGE_PATH
+	unset IDRIS2_PATH IDRIS2_PREFIX
+	unset PLTUSERHOME
+
+	tc-export AR CC CXX LD RANLIB
+	export CFLAGS
+	sed -i '/^CFLAGS/d' ./support/*/Makefile || die
+
+	# Fix "PREFIX"
+	sed -i 's|$(HOME)/.idris2|/usr/lib/idris2|g' ./config.mk || die
+
+	# Bad tests
+	sed -i 's|, "futures001"||g' ./tests/Main.idr || die
+	# > Missing incremental compile data, reverting to whole program compilation
+	sed -i 's|"chez033",||g' ./tests/Main.idr || die
+
+	default
+}
+
+src_configure() {
+	export IDRIS2_VERSION=${PV}
+	export SCHEME=$(usex chez chezscheme racket)
+
+	if use chez ; then
+		export IDRIS2_CG=chez
+		export BOOTSTRAP_TARGET=bootstrap
+	elif use racket ; then
+		export IDRIS2_CG=racket
+		export BOOTSTRAP_TARGET=bootstrap-racket
+	else
+		die "Neither chez nor racket was chosen"
+	fi
+}
+
+src_compile() {
+	# > jobserver unavailable
+	# This is caused by Makefile using a script which in turn calls make
+	# https://github.com/idris-lang/Idris2/issues/2152
+	emake SCHEME=${SCHEME} ${BOOTSTRAP_TARGET} -j1
+
+	use doc && emake -C ./docs html
+}
+
+src_test() {
+	emake SCHEME=${SCHEME} bootstrap-test
+}
+
+src_install() {
+	# "DESTDIR" variable is not respected
+	emake IDRIS2_PREFIX="${D}"/usr/lib/idris2 PREFIX="${D}"/usr/lib/idris2 install
+	dosym ../lib/${PN}/bin/${PN} /usr/bin/${PN}
+
+	# Install documentation
+	use doc && dodoc -r ./docs/build/html
+	einstalldocs
+}


^ permalink raw reply related	[flat|nested] 14+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: dev-lang/idris2/
@ 2022-02-27  0:12 Maciej Barć
  0 siblings, 0 replies; 14+ messages in thread
From: Maciej Barć @ 2022-02-27  0:12 UTC (permalink / raw
  To: gentoo-commits

commit:     54b96730fdbc650afa87f069389d743518c7ac88
Author:     Maciej Barć <xgqt <AT> gentoo <DOT> org>
AuthorDate: Sun Feb 27 00:12:03 2022 +0000
Commit:     Maciej Barć <xgqt <AT> gentoo <DOT> org>
CommitDate: Sun Feb 27 00:12:20 2022 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=54b96730

dev-lang/idris2: bump to 0.5.1_p20220224 (2022.02.24 snapshot)

Package-Manager: Portage-3.0.30, Repoman-3.0.3
Signed-off-by: Maciej Barć <xgqt <AT> gentoo.org>

 dev-lang/idris2/Manifest                      |   1 +
 dev-lang/idris2/idris2-0.5.1_p20220224.ebuild | 105 ++++++++++++++++++++++++++
 2 files changed, 106 insertions(+)

diff --git a/dev-lang/idris2/Manifest b/dev-lang/idris2/Manifest
index c7b410dafc3e..f5794839e9bd 100644
--- a/dev-lang/idris2/Manifest
+++ b/dev-lang/idris2/Manifest
@@ -1,2 +1,3 @@
 DIST idris2-0.5.1_p20211112.tar.gz 6202861 BLAKE2B 189bf28c7a33281494edea9b2c0821a934000fe9ca6e929b3318fe33576553142e5ad8d81598249cc384c6e342491ccef0998f33a4f2940b80264f5a3e4b32b2 SHA512 3b419ddbdc4aa3a28d92bf204448090c168d6a844d570886f982129f9e650c7112bbf95b727baf6c9f0f2fd6200c75eb68b6b71fd8684e01365eaf964dea1ea1
 DIST idris2-0.5.1_p20220131.tar.gz 6283472 BLAKE2B 86b75457b8772d0a8938a4d3422af08fa8e625b675cc2648bc9f2683a6654586ff91b8b1d592f72a3a44c72fa830f9ebc5ae0c451398e8cb5d3fdf5070f7f8ab SHA512 50f21819dee929f847a6b64c89231da9dd55bc35314300aa7d3c3c5ea0da451caba67081ca8b2ffd89608d3aaa042e9b9a6ecb2df0585589404bae3c6a2fe74a
+DIST idris2-0.5.1_p20220224.tar.gz 6299027 BLAKE2B 65654d76dc4a593826904321d78246da877ae71da95d56b4ee266de9676706e899bf9a1ae4293dde077a3ea50a860501fa4c3b8065a5b8d759d785954ea7b822 SHA512 6bea9e5ce01c64a893c39e7aacceef5d4f6bfd499f0b4ca17681bea6ab11620e0058faba8bdd84eecacf3f8d1cfe2594ca830aff89f2cfde2208fdc092fc37f1

diff --git a/dev-lang/idris2/idris2-0.5.1_p20220224.ebuild b/dev-lang/idris2/idris2-0.5.1_p20220224.ebuild
new file mode 100644
index 000000000000..166a8b920cdc
--- /dev/null
+++ b/dev-lang/idris2/idris2-0.5.1_p20220224.ebuild
@@ -0,0 +1,105 @@
+# Copyright 1999-2022 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+H=1011cc6162bad580b0c51237c86fbf4fe2035fbe
+
+inherit toolchain-funcs
+
+DESCRIPTION="Purely functional programming language with first class types"
+HOMEPAGE="https://idris-lang.org/"
+
+if [[ "${PV}" == *9999* ]] ; then
+	inherit git-r3
+	EGIT_REPO_URI="https://github.com/idris-lang/${PN^}.git"
+else
+	SRC_URI="https://github.com/idris-lang/${PN^}/archive/${H}.tar.gz -> ${P}.tar.gz"
+	KEYWORDS="~amd64 ~x86"
+	S="${WORKDIR}/${PN^}-${H}"
+fi
+
+LICENSE="BSD"
+SLOT="0"
+IUSE="+chez doc racket test-full"
+REQUIRED_USE="^^ ( chez racket )"
+
+RDEPEND="
+	dev-libs/gmp
+	chez? ( dev-scheme/chez[threads] )
+	racket? ( dev-scheme/racket[threads] )
+"
+DEPEND="${RDEPEND}"
+BDEPEND="
+	doc? ( dev-python/sphinx_rtd_theme )
+	test-full? (
+		dev-scheme/chez[threads]
+		dev-scheme/racket[threads]
+		net-libs/nodejs
+	)
+"
+
+# Generated via "SCHEME", not CC
+QA_FLAGS_IGNORED="usr/lib/idris2/bin/idris2_app/idris2
+	usr/lib/idris2/bin/idris2_app/idris2-boot"
+QA_PRESTRIPPED="${QA_FLAGS_IGNORED}"
+
+src_prepare() {
+	# Clean up environment of Idris and Racket variables
+	unset IDRIS2_DATA IDRIS2_INC_CGS IDRIS2_LIBS IDRIS2_PACKAGE_PATH
+	unset IDRIS2_PATH IDRIS2_PREFIX
+	unset PLTUSERHOME
+
+	tc-export AR CC CXX LD RANLIB
+	export CFLAGS
+	sed -i '/^CFLAGS/d' ./support/*/Makefile || die
+
+	# Fix "PREFIX"
+	sed -i 's|$(HOME)/.idris2|/usr/lib/idris2|g' ./config.mk || die
+
+	# Bad tests
+	# Weird Racket Futures (parallelism) test, might need further investigation
+	sed -i 's|, "futures001"||g' ./tests/Main.idr || die
+	# > Missing incremental compile data, reverting to whole program compilation
+	sed -i 's|"chez033",||g' ./tests/Main.idr || die
+
+	default
+}
+
+src_configure() {
+	export IDRIS2_VERSION=${PV}
+	export SCHEME=$(usex chez chezscheme racket)
+
+	if use chez ; then
+		export IDRIS2_CG=chez
+		export BOOTSTRAP_TARGET=bootstrap
+	elif use racket ; then
+		export IDRIS2_CG=racket
+		export BOOTSTRAP_TARGET=bootstrap-racket
+	else
+		die 'Neither "chez" nor "racket" was chosen'
+	fi
+}
+
+src_compile() {
+	# > jobserver unavailable
+	# This is caused by Makefile using a script which in turn calls make
+	# https://github.com/idris-lang/Idris2/issues/2152
+	emake SCHEME=${SCHEME} ${BOOTSTRAP_TARGET} -j1
+
+	use doc && emake -C ./docs html
+}
+
+src_test() {
+	emake SCHEME=${SCHEME} bootstrap-test
+}
+
+src_install() {
+	# "DESTDIR" variable is not respected, use "PREFIX" instead
+	emake IDRIS2_PREFIX="${D}"/usr/lib/idris2 PREFIX="${D}"/usr/lib/idris2 install
+	dosym ../lib/${PN}/bin/${PN} /usr/bin/${PN}
+
+	# Install documentation
+	use doc && dodoc -r ./docs/build/html
+	einstalldocs
+}


^ permalink raw reply related	[flat|nested] 14+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: dev-lang/idris2/
@ 2022-05-05 12:22 Maciej Barć
  0 siblings, 0 replies; 14+ messages in thread
From: Maciej Barć @ 2022-05-05 12:22 UTC (permalink / raw
  To: gentoo-commits

commit:     c9773b9265fb76048213bd456e0dd42d481fe687
Author:     Maciej Barć <xgqt <AT> gentoo <DOT> org>
AuthorDate: Thu May  5 12:20:41 2022 +0000
Commit:     Maciej Barć <xgqt <AT> gentoo <DOT> org>
CommitDate: Thu May  5 12:22:05 2022 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=c9773b92

dev-lang/idris2: rebuild on chez/racket slot change

Signed-off-by: Maciej Barć <xgqt <AT> gentoo.org>

 ...ris2-0.5.1_p20211112.ebuild => idris2-0.5.1_p20211112-r1.ebuild} | 6 +++---
 ...ris2-0.5.1_p20220131.ebuild => idris2-0.5.1_p20220131-r1.ebuild} | 4 ++--
 ...ris2-0.5.1_p20220224.ebuild => idris2-0.5.1_p20220224-r1.ebuild} | 4 ++--
 3 files changed, 7 insertions(+), 7 deletions(-)

diff --git a/dev-lang/idris2/idris2-0.5.1_p20211112.ebuild b/dev-lang/idris2/idris2-0.5.1_p20211112-r1.ebuild
similarity index 95%
rename from dev-lang/idris2/idris2-0.5.1_p20211112.ebuild
rename to dev-lang/idris2/idris2-0.5.1_p20211112-r1.ebuild
index 762d534c28a4..73c7651d40ea 100644
--- a/dev-lang/idris2/idris2-0.5.1_p20211112.ebuild
+++ b/dev-lang/idris2/idris2-0.5.1_p20211112-r1.ebuild
@@ -1,4 +1,4 @@
-# Copyright 1999-2021 Gentoo Authors
+# Copyright 1999-2022 Gentoo Authors
 # Distributed under the terms of the GNU General Public License v2
 
 EAPI=8
@@ -26,8 +26,8 @@ REQUIRED_USE="^^ ( chez racket )"
 
 RDEPEND="
 	dev-libs/gmp
-	chez? ( dev-scheme/chez[threads] )
-	racket? ( dev-scheme/racket[threads] )
+	chez? ( dev-scheme/chez:=[threads] )
+	racket? ( dev-scheme/racket:=[threads] )
 "
 DEPEND="${RDEPEND}"
 BDEPEND="

diff --git a/dev-lang/idris2/idris2-0.5.1_p20220131.ebuild b/dev-lang/idris2/idris2-0.5.1_p20220131-r1.ebuild
similarity index 96%
rename from dev-lang/idris2/idris2-0.5.1_p20220131.ebuild
rename to dev-lang/idris2/idris2-0.5.1_p20220131-r1.ebuild
index cff414efa8b8..f15431251bd1 100644
--- a/dev-lang/idris2/idris2-0.5.1_p20220131.ebuild
+++ b/dev-lang/idris2/idris2-0.5.1_p20220131-r1.ebuild
@@ -26,8 +26,8 @@ REQUIRED_USE="^^ ( chez racket )"
 
 RDEPEND="
 	dev-libs/gmp
-	chez? ( dev-scheme/chez[threads] )
-	racket? ( dev-scheme/racket[threads] )
+	chez? ( dev-scheme/chez:=[threads] )
+	racket? ( dev-scheme/racket:=[threads] )
 "
 DEPEND="${RDEPEND}"
 BDEPEND="

diff --git a/dev-lang/idris2/idris2-0.5.1_p20220224.ebuild b/dev-lang/idris2/idris2-0.5.1_p20220224-r1.ebuild
similarity index 96%
rename from dev-lang/idris2/idris2-0.5.1_p20220224.ebuild
rename to dev-lang/idris2/idris2-0.5.1_p20220224-r1.ebuild
index 166a8b920cdc..05c702574bdc 100644
--- a/dev-lang/idris2/idris2-0.5.1_p20220224.ebuild
+++ b/dev-lang/idris2/idris2-0.5.1_p20220224-r1.ebuild
@@ -26,8 +26,8 @@ REQUIRED_USE="^^ ( chez racket )"
 
 RDEPEND="
 	dev-libs/gmp
-	chez? ( dev-scheme/chez[threads] )
-	racket? ( dev-scheme/racket[threads] )
+	chez? ( dev-scheme/chez:=[threads] )
+	racket? ( dev-scheme/racket:=[threads] )
 "
 DEPEND="${RDEPEND}"
 BDEPEND="


^ permalink raw reply related	[flat|nested] 14+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: dev-lang/idris2/
@ 2022-09-21  1:32 Maciej Barć
  0 siblings, 0 replies; 14+ messages in thread
From: Maciej Barć @ 2022-09-21  1:32 UTC (permalink / raw
  To: gentoo-commits

commit:     37543217719631cd6d23892efbee57d703c81f20
Author:     Maciej Barć <xgqt <AT> gentoo <DOT> org>
AuthorDate: Wed Sep 21 00:39:37 2022 +0000
Commit:     Maciej Barć <xgqt <AT> gentoo <DOT> org>
CommitDate: Wed Sep 21 01:32:05 2022 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=37543217

dev-lang/idris2: bump to 0.5.1_p20220920

Signed-off-by: Maciej Barć <xgqt <AT> gentoo.org>

 dev-lang/idris2/Manifest                      |   1 +
 dev-lang/idris2/idris2-0.5.1_p20220920.ebuild | 105 ++++++++++++++++++++++++++
 2 files changed, 106 insertions(+)

diff --git a/dev-lang/idris2/Manifest b/dev-lang/idris2/Manifest
index f5794839e9bd..7687442c26d6 100644
--- a/dev-lang/idris2/Manifest
+++ b/dev-lang/idris2/Manifest
@@ -1,3 +1,4 @@
 DIST idris2-0.5.1_p20211112.tar.gz 6202861 BLAKE2B 189bf28c7a33281494edea9b2c0821a934000fe9ca6e929b3318fe33576553142e5ad8d81598249cc384c6e342491ccef0998f33a4f2940b80264f5a3e4b32b2 SHA512 3b419ddbdc4aa3a28d92bf204448090c168d6a844d570886f982129f9e650c7112bbf95b727baf6c9f0f2fd6200c75eb68b6b71fd8684e01365eaf964dea1ea1
 DIST idris2-0.5.1_p20220131.tar.gz 6283472 BLAKE2B 86b75457b8772d0a8938a4d3422af08fa8e625b675cc2648bc9f2683a6654586ff91b8b1d592f72a3a44c72fa830f9ebc5ae0c451398e8cb5d3fdf5070f7f8ab SHA512 50f21819dee929f847a6b64c89231da9dd55bc35314300aa7d3c3c5ea0da451caba67081ca8b2ffd89608d3aaa042e9b9a6ecb2df0585589404bae3c6a2fe74a
 DIST idris2-0.5.1_p20220224.tar.gz 6299027 BLAKE2B 65654d76dc4a593826904321d78246da877ae71da95d56b4ee266de9676706e899bf9a1ae4293dde077a3ea50a860501fa4c3b8065a5b8d759d785954ea7b822 SHA512 6bea9e5ce01c64a893c39e7aacceef5d4f6bfd499f0b4ca17681bea6ab11620e0058faba8bdd84eecacf3f8d1cfe2594ca830aff89f2cfde2208fdc092fc37f1
+DIST idris2-0.5.1_p20220920.tar.gz 6410473 BLAKE2B 91af285cf02cb6adcad330050a4d201116f8dcfdac0021b8b9110789e7f461a54ac6ca1f1ee421a38be0ff83a780e64e5c02ee0a40fe7bc5d361b6aa551b30ad SHA512 5c006b8ecb74bd5261bcc1db94cbcf8d818b7838907916befb0c20681febe52963197b0406aef466858f37c75f3a1028e05d772dc323d172ad7a79781088304d

diff --git a/dev-lang/idris2/idris2-0.5.1_p20220920.ebuild b/dev-lang/idris2/idris2-0.5.1_p20220920.ebuild
new file mode 100644
index 000000000000..d3ca44e77e3d
--- /dev/null
+++ b/dev-lang/idris2/idris2-0.5.1_p20220920.ebuild
@@ -0,0 +1,105 @@
+# Copyright 1999-2022 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+H=1142f73e05fef6a57141b8328944b13872d4135e
+
+inherit toolchain-funcs
+
+DESCRIPTION="Purely functional programming language with first class types"
+HOMEPAGE="https://idris-lang.org/"
+
+if [[ "${PV}" == *9999* ]] ; then
+	inherit git-r3
+	EGIT_REPO_URI="https://github.com/idris-lang/${PN^}.git"
+else
+	SRC_URI="https://github.com/idris-lang/${PN^}/archive/${H}.tar.gz -> ${P}.tar.gz"
+	KEYWORDS="~amd64 ~x86"
+	S="${WORKDIR}/${PN^}-${H}"
+fi
+
+LICENSE="BSD"
+SLOT="0"
+IUSE="+chez doc racket test-full"
+REQUIRED_USE="^^ ( chez racket )"
+
+RDEPEND="
+	dev-libs/gmp
+	chez? ( dev-scheme/chez:=[threads] )
+	racket? ( dev-scheme/racket:=[threads] )
+"
+DEPEND="${RDEPEND}"
+BDEPEND="
+	doc? ( dev-python/sphinx_rtd_theme )
+	test-full? (
+		dev-scheme/chez[threads]
+		dev-scheme/racket[threads]
+		net-libs/nodejs
+	)
+"
+
+# Generated via "SCHEME", not CC
+QA_FLAGS_IGNORED="usr/lib/idris2/bin/idris2_app/idris2
+	usr/lib/idris2/bin/idris2_app/idris2-boot"
+QA_PRESTRIPPED="${QA_FLAGS_IGNORED}"
+
+src_prepare() {
+	# Clean up environment of Idris and Racket variables
+	unset IDRIS2_DATA IDRIS2_INC_CGS IDRIS2_LIBS IDRIS2_PACKAGE_PATH
+	unset IDRIS2_PATH IDRIS2_PREFIX
+	unset PLTUSERHOME
+
+	tc-export AR CC CXX LD RANLIB
+	export CFLAGS
+	sed -i '/^CFLAGS/d' ./support/*/Makefile || die
+
+	# Fix "PREFIX"
+	sed -i 's|$(HOME)/.idris2|/usr/lib/idris2|g' ./config.mk || die
+
+	# Bad tests
+	# Weird Racket Futures (parallelism) test, might need further investigation
+	sed -i 's|, "futures001"||g' ./tests/Main.idr || die
+	# > Missing incremental compile data, reverting to whole program compilation
+	sed -i 's|"chez033",||g' ./tests/Main.idr || die
+
+	default
+}
+
+src_configure() {
+	export IDRIS2_VERSION=${PV}
+	export SCHEME=$(usex chez chezscheme racket)
+
+	if use chez ; then
+		export IDRIS2_CG=chez
+		export BOOTSTRAP_TARGET=bootstrap
+	elif use racket ; then
+		export IDRIS2_CG=racket
+		export BOOTSTRAP_TARGET=bootstrap-racket
+	else
+		die 'Neither "chez" nor "racket" was chosen'
+	fi
+}
+
+src_compile() {
+	# > jobserver unavailable
+	# This is caused by Makefile using a script which in turn calls make
+	# https://github.com/idris-lang/Idris2/issues/2152
+	emake SCHEME=${SCHEME} ${BOOTSTRAP_TARGET} -j1
+
+	use doc && emake -C ./docs html
+}
+
+src_test() {
+	emake SCHEME=${SCHEME} bootstrap-test
+}
+
+src_install() {
+	# "DESTDIR" variable is not respected, use "PREFIX" instead
+	emake IDRIS2_PREFIX="${D}"/usr/lib/idris2 PREFIX="${D}"/usr/lib/idris2 install
+	dosym ../lib/${PN}/bin/${PN} /usr/bin/${PN}
+
+	# Install documentation
+	use doc && dodoc -r ./docs/build/html
+	einstalldocs
+}


^ permalink raw reply related	[flat|nested] 14+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: dev-lang/idris2/
@ 2022-09-21  1:32 Maciej Barć
  0 siblings, 0 replies; 14+ messages in thread
From: Maciej Barć @ 2022-09-21  1:32 UTC (permalink / raw
  To: gentoo-commits

commit:     13fca1a0d43c310d36ee087c610958f3157be59c
Author:     Maciej Barć <xgqt <AT> gentoo <DOT> org>
AuthorDate: Wed Sep 21 00:40:00 2022 +0000
Commit:     Maciej Barć <xgqt <AT> gentoo <DOT> org>
CommitDate: Wed Sep 21 01:32:05 2022 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=13fca1a0

dev-lang/idris2: drop old 0.5.1_p20211112-r1

Signed-off-by: Maciej Barć <xgqt <AT> gentoo.org>

 dev-lang/idris2/Manifest                         |   1 -
 dev-lang/idris2/idris2-0.5.1_p20211112-r1.ebuild | 105 -----------------------
 2 files changed, 106 deletions(-)

diff --git a/dev-lang/idris2/Manifest b/dev-lang/idris2/Manifest
index 7687442c26d6..9ba2113519ab 100644
--- a/dev-lang/idris2/Manifest
+++ b/dev-lang/idris2/Manifest
@@ -1,4 +1,3 @@
-DIST idris2-0.5.1_p20211112.tar.gz 6202861 BLAKE2B 189bf28c7a33281494edea9b2c0821a934000fe9ca6e929b3318fe33576553142e5ad8d81598249cc384c6e342491ccef0998f33a4f2940b80264f5a3e4b32b2 SHA512 3b419ddbdc4aa3a28d92bf204448090c168d6a844d570886f982129f9e650c7112bbf95b727baf6c9f0f2fd6200c75eb68b6b71fd8684e01365eaf964dea1ea1
 DIST idris2-0.5.1_p20220131.tar.gz 6283472 BLAKE2B 86b75457b8772d0a8938a4d3422af08fa8e625b675cc2648bc9f2683a6654586ff91b8b1d592f72a3a44c72fa830f9ebc5ae0c451398e8cb5d3fdf5070f7f8ab SHA512 50f21819dee929f847a6b64c89231da9dd55bc35314300aa7d3c3c5ea0da451caba67081ca8b2ffd89608d3aaa042e9b9a6ecb2df0585589404bae3c6a2fe74a
 DIST idris2-0.5.1_p20220224.tar.gz 6299027 BLAKE2B 65654d76dc4a593826904321d78246da877ae71da95d56b4ee266de9676706e899bf9a1ae4293dde077a3ea50a860501fa4c3b8065a5b8d759d785954ea7b822 SHA512 6bea9e5ce01c64a893c39e7aacceef5d4f6bfd499f0b4ca17681bea6ab11620e0058faba8bdd84eecacf3f8d1cfe2594ca830aff89f2cfde2208fdc092fc37f1
 DIST idris2-0.5.1_p20220920.tar.gz 6410473 BLAKE2B 91af285cf02cb6adcad330050a4d201116f8dcfdac0021b8b9110789e7f461a54ac6ca1f1ee421a38be0ff83a780e64e5c02ee0a40fe7bc5d361b6aa551b30ad SHA512 5c006b8ecb74bd5261bcc1db94cbcf8d818b7838907916befb0c20681febe52963197b0406aef466858f37c75f3a1028e05d772dc323d172ad7a79781088304d

diff --git a/dev-lang/idris2/idris2-0.5.1_p20211112-r1.ebuild b/dev-lang/idris2/idris2-0.5.1_p20211112-r1.ebuild
deleted file mode 100644
index 73c7651d40ea..000000000000
--- a/dev-lang/idris2/idris2-0.5.1_p20211112-r1.ebuild
+++ /dev/null
@@ -1,105 +0,0 @@
-# Copyright 1999-2022 Gentoo Authors
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI=8
-
-COMMIT_HASH="ba180706d607945d8b419301f4362471d97a306a"
-
-inherit toolchain-funcs
-
-DESCRIPTION="Purely functional programming language with first class types"
-HOMEPAGE="https://idris-lang.org/"
-
-if [[ "${PV}" == *9999* ]]; then
-	inherit git-r3
-	EGIT_REPO_URI="https://github.com/idris-lang/Idris2.git"
-else
-	SRC_URI="https://github.com/idris-lang/Idris2/archive/${COMMIT_HASH}.tar.gz -> ${P}.tar.gz"
-	KEYWORDS="~amd64 ~x86"
-	S="${WORKDIR}/${PN^}-${COMMIT_HASH}"
-fi
-
-LICENSE="BSD"
-SLOT="0"
-IUSE="+chez doc racket test-full"
-REQUIRED_USE="^^ ( chez racket )"
-
-RDEPEND="
-	dev-libs/gmp
-	chez? ( dev-scheme/chez:=[threads] )
-	racket? ( dev-scheme/racket:=[threads] )
-"
-DEPEND="${RDEPEND}"
-BDEPEND="
-	doc? ( dev-python/sphinx_rtd_theme )
-	test-full? (
-		dev-scheme/chez[threads]
-		dev-scheme/racket[threads]
-		net-libs/nodejs
-	)
-"
-
-# Generated via "SCHEME", not CC
-QA_FLAGS_IGNORED="usr/lib/idris2/bin/idris2_app/idris2
-	usr/lib/idris2/bin/idris2_app/idris2-boot"
-QA_PRESTRIPPED="${QA_FLAGS_IGNORED}"
-
-src_prepare() {
-	# Clean up environment of Idris and Racket variables
-	unset IDRIS2_DATA IDRIS2_INC_CGS IDRIS2_LIBS IDRIS2_PACKAGE_PATH
-	unset IDRIS2_PATH IDRIS2_PREFIX
-	unset PLTUSERHOME
-
-	tc-export AR CC CXX LD RANLIB
-	export CFLAGS
-	sed -i '/^CFLAGS/d' ./support/*/Makefile || die
-
-	# Fix "PREFIX"
-	sed -i 's|$(HOME)/.idris2|/usr/lib/idris2|g' ./config.mk || die
-
-	# Bad tests
-	# > Missing incremental compile data, reverting to whole program compilation
-	sed -i 's|"chez033",||g' ./tests/Main.idr || die
-
-	default
-}
-
-src_configure() {
-	export IDRIS2_VERSION=${PV}
-	export SCHEME=$(usex chez chezscheme racket)
-
-	if use chez; then
-		export IDRIS2_CG=chez
-		export BOOTSTRAP_TARGET=bootstrap
-	elif use racket; then
-		export IDRIS2_CG=racket
-		export BOOTSTRAP_TARGET=bootstrap-racket
-	else
-		die "Neither chez nor racket was chosen"
-	fi
-}
-
-src_compile() {
-	# > jobserver unavailable
-	# This is caused by Makefile using a script which in turn calls make
-	# https://github.com/idris-lang/Idris2/issues/2152
-	emake SCHEME=${SCHEME} ${BOOTSTRAP_TARGET} -j1
-
-	use doc && emake -C ./docs html
-}
-
-src_test() {
-	emake SCHEME=${SCHEME} bootstrap-test
-}
-
-src_install() {
-	# "DESTDIR" variable is not respected
-	emake IDRIS2_PREFIX="${D}/usr/lib/idris2" PREFIX="${D}/usr/lib/idris2" install
-
-	dosym ../lib/${PN}/bin/${PN} /usr/bin/${PN}
-
-	einstalldocs
-
-	# Install documentation
-	use doc && dodoc -r ./docs/build/html
-}


^ permalink raw reply related	[flat|nested] 14+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: dev-lang/idris2/
@ 2022-11-01  2:38 Maciej Barć
  0 siblings, 0 replies; 14+ messages in thread
From: Maciej Barć @ 2022-11-01  2:38 UTC (permalink / raw
  To: gentoo-commits

commit:     3987ee9a4bad215abd51e1e45941b049a2bcc95e
Author:     Maciej Barć <xgqt <AT> gentoo <DOT> org>
AuthorDate: Tue Nov  1 02:37:42 2022 +0000
Commit:     Maciej Barć <xgqt <AT> gentoo <DOT> org>
CommitDate: Tue Nov  1 02:38:07 2022 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=3987ee9a

dev-lang/idris2: drop old 0.5.1_p20220131-r1

Signed-off-by: Maciej Barć <xgqt <AT> gentoo.org>

 dev-lang/idris2/Manifest                         |   1 -
 dev-lang/idris2/idris2-0.5.1_p20220131-r1.ebuild | 104 -----------------------
 2 files changed, 105 deletions(-)

diff --git a/dev-lang/idris2/Manifest b/dev-lang/idris2/Manifest
index 71640087882d..ea15a073d221 100644
--- a/dev-lang/idris2/Manifest
+++ b/dev-lang/idris2/Manifest
@@ -1,4 +1,3 @@
-DIST idris2-0.5.1_p20220131.tar.gz 6283472 BLAKE2B 86b75457b8772d0a8938a4d3422af08fa8e625b675cc2648bc9f2683a6654586ff91b8b1d592f72a3a44c72fa830f9ebc5ae0c451398e8cb5d3fdf5070f7f8ab SHA512 50f21819dee929f847a6b64c89231da9dd55bc35314300aa7d3c3c5ea0da451caba67081ca8b2ffd89608d3aaa042e9b9a6ecb2df0585589404bae3c6a2fe74a
 DIST idris2-0.5.1_p20220224.tar.gz 6299027 BLAKE2B 65654d76dc4a593826904321d78246da877ae71da95d56b4ee266de9676706e899bf9a1ae4293dde077a3ea50a860501fa4c3b8065a5b8d759d785954ea7b822 SHA512 6bea9e5ce01c64a893c39e7aacceef5d4f6bfd499f0b4ca17681bea6ab11620e0058faba8bdd84eecacf3f8d1cfe2594ca830aff89f2cfde2208fdc092fc37f1
 DIST idris2-0.5.1_p20220920.tar.gz 6410473 BLAKE2B 91af285cf02cb6adcad330050a4d201116f8dcfdac0021b8b9110789e7f461a54ac6ca1f1ee421a38be0ff83a780e64e5c02ee0a40fe7bc5d361b6aa551b30ad SHA512 5c006b8ecb74bd5261bcc1db94cbcf8d818b7838907916befb0c20681febe52963197b0406aef466858f37c75f3a1028e05d772dc323d172ad7a79781088304d
 DIST idris2-0.6.0.tar.gz 6706586 BLAKE2B 79c16120b5845047d510a6f75729f1999f5b468e27189bd806f772d07e1789622ca0182933d0ec0833f5c3af05e00f13edda2f595aa35b5d0fcb2301c5c25407 SHA512 342ab3d9e38c8150c7eec997e9cbadd4aa12ccb18994b6b008f165deb20fd5fc79f4944387316cbba03e56fa1545b0afbb277988449af5b21d20f81207f6f367

diff --git a/dev-lang/idris2/idris2-0.5.1_p20220131-r1.ebuild b/dev-lang/idris2/idris2-0.5.1_p20220131-r1.ebuild
deleted file mode 100644
index f15431251bd1..000000000000
--- a/dev-lang/idris2/idris2-0.5.1_p20220131-r1.ebuild
+++ /dev/null
@@ -1,104 +0,0 @@
-# Copyright 1999-2022 Gentoo Authors
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI=8
-
-H=a2c7e9f306ea8ff935bbeff1eac764291b12ce87
-
-inherit toolchain-funcs
-
-DESCRIPTION="Purely functional programming language with first class types"
-HOMEPAGE="https://idris-lang.org/"
-
-if [[ "${PV}" == *9999* ]] ; then
-	inherit git-r3
-	EGIT_REPO_URI="https://github.com/idris-lang/Idris2.git"
-else
-	SRC_URI="https://github.com/idris-lang/Idris2/archive/${H}.tar.gz -> ${P}.tar.gz"
-	KEYWORDS="~amd64 ~x86"
-	S="${WORKDIR}/${PN^}-${H}"
-fi
-
-LICENSE="BSD"
-SLOT="0"
-IUSE="+chez doc racket test-full"
-REQUIRED_USE="^^ ( chez racket )"
-
-RDEPEND="
-	dev-libs/gmp
-	chez? ( dev-scheme/chez:=[threads] )
-	racket? ( dev-scheme/racket:=[threads] )
-"
-DEPEND="${RDEPEND}"
-BDEPEND="
-	doc? ( dev-python/sphinx_rtd_theme )
-	test-full? (
-		dev-scheme/chez[threads]
-		dev-scheme/racket[threads]
-		net-libs/nodejs
-	)
-"
-
-# Generated via "SCHEME", not CC
-QA_FLAGS_IGNORED="usr/lib/idris2/bin/idris2_app/idris2
-	usr/lib/idris2/bin/idris2_app/idris2-boot"
-QA_PRESTRIPPED="${QA_FLAGS_IGNORED}"
-
-src_prepare() {
-	# Clean up environment of Idris and Racket variables
-	unset IDRIS2_DATA IDRIS2_INC_CGS IDRIS2_LIBS IDRIS2_PACKAGE_PATH
-	unset IDRIS2_PATH IDRIS2_PREFIX
-	unset PLTUSERHOME
-
-	tc-export AR CC CXX LD RANLIB
-	export CFLAGS
-	sed -i '/^CFLAGS/d' ./support/*/Makefile || die
-
-	# Fix "PREFIX"
-	sed -i 's|$(HOME)/.idris2|/usr/lib/idris2|g' ./config.mk || die
-
-	# Bad tests
-	sed -i 's|, "futures001"||g' ./tests/Main.idr || die
-	# > Missing incremental compile data, reverting to whole program compilation
-	sed -i 's|"chez033",||g' ./tests/Main.idr || die
-
-	default
-}
-
-src_configure() {
-	export IDRIS2_VERSION=${PV}
-	export SCHEME=$(usex chez chezscheme racket)
-
-	if use chez ; then
-		export IDRIS2_CG=chez
-		export BOOTSTRAP_TARGET=bootstrap
-	elif use racket ; then
-		export IDRIS2_CG=racket
-		export BOOTSTRAP_TARGET=bootstrap-racket
-	else
-		die "Neither chez nor racket was chosen"
-	fi
-}
-
-src_compile() {
-	# > jobserver unavailable
-	# This is caused by Makefile using a script which in turn calls make
-	# https://github.com/idris-lang/Idris2/issues/2152
-	emake SCHEME=${SCHEME} ${BOOTSTRAP_TARGET} -j1
-
-	use doc && emake -C ./docs html
-}
-
-src_test() {
-	emake SCHEME=${SCHEME} bootstrap-test
-}
-
-src_install() {
-	# "DESTDIR" variable is not respected
-	emake IDRIS2_PREFIX="${D}"/usr/lib/idris2 PREFIX="${D}"/usr/lib/idris2 install
-	dosym ../lib/${PN}/bin/${PN} /usr/bin/${PN}
-
-	# Install documentation
-	use doc && dodoc -r ./docs/build/html
-	einstalldocs
-}


^ permalink raw reply related	[flat|nested] 14+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: dev-lang/idris2/
@ 2022-11-01  2:38 Maciej Barć
  0 siblings, 0 replies; 14+ messages in thread
From: Maciej Barć @ 2022-11-01  2:38 UTC (permalink / raw
  To: gentoo-commits

commit:     2d8d51fc52852e2c97a597a81086f5b3def76a50
Author:     Maciej Barć <xgqt <AT> gentoo <DOT> org>
AuthorDate: Tue Nov  1 02:37:27 2022 +0000
Commit:     Maciej Barć <xgqt <AT> gentoo <DOT> org>
CommitDate: Tue Nov  1 02:38:07 2022 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=2d8d51fc

dev-lang/idris2: bump to 0.6.0

Signed-off-by: Maciej Barć <xgqt <AT> gentoo.org>

 dev-lang/idris2/Manifest            |   1 +
 dev-lang/idris2/idris2-0.6.0.ebuild | 104 ++++++++++++++++++++++++++++++++++++
 2 files changed, 105 insertions(+)

diff --git a/dev-lang/idris2/Manifest b/dev-lang/idris2/Manifest
index 9ba2113519ab..71640087882d 100644
--- a/dev-lang/idris2/Manifest
+++ b/dev-lang/idris2/Manifest
@@ -1,3 +1,4 @@
 DIST idris2-0.5.1_p20220131.tar.gz 6283472 BLAKE2B 86b75457b8772d0a8938a4d3422af08fa8e625b675cc2648bc9f2683a6654586ff91b8b1d592f72a3a44c72fa830f9ebc5ae0c451398e8cb5d3fdf5070f7f8ab SHA512 50f21819dee929f847a6b64c89231da9dd55bc35314300aa7d3c3c5ea0da451caba67081ca8b2ffd89608d3aaa042e9b9a6ecb2df0585589404bae3c6a2fe74a
 DIST idris2-0.5.1_p20220224.tar.gz 6299027 BLAKE2B 65654d76dc4a593826904321d78246da877ae71da95d56b4ee266de9676706e899bf9a1ae4293dde077a3ea50a860501fa4c3b8065a5b8d759d785954ea7b822 SHA512 6bea9e5ce01c64a893c39e7aacceef5d4f6bfd499f0b4ca17681bea6ab11620e0058faba8bdd84eecacf3f8d1cfe2594ca830aff89f2cfde2208fdc092fc37f1
 DIST idris2-0.5.1_p20220920.tar.gz 6410473 BLAKE2B 91af285cf02cb6adcad330050a4d201116f8dcfdac0021b8b9110789e7f461a54ac6ca1f1ee421a38be0ff83a780e64e5c02ee0a40fe7bc5d361b6aa551b30ad SHA512 5c006b8ecb74bd5261bcc1db94cbcf8d818b7838907916befb0c20681febe52963197b0406aef466858f37c75f3a1028e05d772dc323d172ad7a79781088304d
+DIST idris2-0.6.0.tar.gz 6706586 BLAKE2B 79c16120b5845047d510a6f75729f1999f5b468e27189bd806f772d07e1789622ca0182933d0ec0833f5c3af05e00f13edda2f595aa35b5d0fcb2301c5c25407 SHA512 342ab3d9e38c8150c7eec997e9cbadd4aa12ccb18994b6b008f165deb20fd5fc79f4944387316cbba03e56fa1545b0afbb277988449af5b21d20f81207f6f367

diff --git a/dev-lang/idris2/idris2-0.6.0.ebuild b/dev-lang/idris2/idris2-0.6.0.ebuild
new file mode 100644
index 000000000000..806cbe1cac3c
--- /dev/null
+++ b/dev-lang/idris2/idris2-0.6.0.ebuild
@@ -0,0 +1,104 @@
+# Copyright 1999-2022 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+inherit toolchain-funcs
+
+DESCRIPTION="Purely functional programming language with first class types"
+HOMEPAGE="https://idris-lang.org/"
+
+if [[ "${PV}" == *9999* ]] ; then
+	inherit git-r3
+	EGIT_REPO_URI="https://github.com/idris-lang/${PN^}.git"
+else
+	SRC_URI="https://github.com/idris-lang/${PN^}/archive/v${PV}.tar.gz
+		-> ${P}.tar.gz"
+	KEYWORDS="~amd64 ~x86"
+	S="${WORKDIR}"/${PN^}-${PV}
+fi
+
+LICENSE="BSD"
+SLOT="0"
+IUSE="+chez doc racket test-full"
+REQUIRED_USE="^^ ( chez racket )"
+
+RDEPEND="
+	dev-libs/gmp
+	chez? ( dev-scheme/chez:=[threads] )
+	racket? ( dev-scheme/racket:=[threads] )
+"
+DEPEND="${RDEPEND}"
+BDEPEND="
+	doc? ( dev-python/sphinx_rtd_theme )
+	test-full? (
+		dev-scheme/chez[threads]
+		dev-scheme/racket[threads]
+		net-libs/nodejs
+	)
+"
+
+# Generated via "SCHEME", not CC
+QA_FLAGS_IGNORED="
+	usr/lib/idris2/bin/idris2_app/idris2
+	usr/lib/idris2/bin/idris2_app/idris2-boot
+"
+QA_PRESTRIPPED="${QA_FLAGS_IGNORED}"
+
+src_prepare() {
+	# Clean up environment of Idris and Racket variables
+	unset IDRIS2_DATA IDRIS2_INC_CGS IDRIS2_LIBS IDRIS2_PACKAGE_PATH
+	unset IDRIS2_PATH IDRIS2_PREFIX
+	unset PLTUSERHOME
+
+	tc-export AR CC CXX LD RANLIB
+	export CFLAGS
+	sed -i '/^CFLAGS/d' ./support/*/Makefile || die
+
+	# Fix "PREFIX"
+	sed -i 's|$(HOME)/.idris2|/usr/lib/idris2|g' ./config.mk || die
+
+	# Bad tests
+	# Weird Racket Futures (parallelism) test, might need further investigation
+	sed -i 's|, "futures001"||g' ./tests/Main.idr || die
+
+	default
+}
+
+src_configure() {
+	export IDRIS2_VERSION=${PV}
+	export SCHEME=$(usex chez chezscheme racket)
+
+	if use chez ; then
+		export IDRIS2_CG=chez
+		export BOOTSTRAP_TARGET=bootstrap
+	elif use racket ; then
+		export IDRIS2_CG=racket
+		export BOOTSTRAP_TARGET=bootstrap-racket
+	else
+		die 'Neither "chez" nor "racket" was chosen'
+	fi
+}
+
+src_compile() {
+	# > jobserver unavailable
+	# This is caused by Makefile using a script which in turn calls make
+	# https://github.com/idris-lang/Idris2/issues/2152
+	emake SCHEME=${SCHEME} ${BOOTSTRAP_TARGET} -j1
+
+	use doc && emake -C ./docs html
+}
+
+src_test() {
+	emake SCHEME=${SCHEME} bootstrap-test
+}
+
+src_install() {
+	# "DESTDIR" variable is not respected, use "PREFIX" instead
+	emake IDRIS2_PREFIX="${D}"/usr/lib/idris2 PREFIX="${D}"/usr/lib/idris2 install
+	dosym ../lib/${PN}/bin/${PN} /usr/bin/${PN}
+
+	# Install documentation
+	use doc && dodoc -r ./docs/build/html
+	einstalldocs
+}


^ permalink raw reply related	[flat|nested] 14+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: dev-lang/idris2/
@ 2023-02-02 17:46 Maciej Barć
  0 siblings, 0 replies; 14+ messages in thread
From: Maciej Barć @ 2023-02-02 17:46 UTC (permalink / raw
  To: gentoo-commits

commit:     fffb2924f0a58e6ac708731417d7dfa275062c69
Author:     Maciej Barć <xgqt <AT> gentoo <DOT> org>
AuthorDate: Thu Feb  2 17:42:24 2023 +0000
Commit:     Maciej Barć <xgqt <AT> gentoo <DOT> org>
CommitDate: Thu Feb  2 17:46:45 2023 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=fffb2924

dev-lang/idris2: H -> COMMIT

Signed-off-by: Maciej Barć <xgqt <AT> gentoo.org>

 dev-lang/idris2/idris2-0.5.1_p20220224-r1.ebuild | 8 ++++----
 dev-lang/idris2/idris2-0.5.1_p20220920.ebuild    | 8 ++++----
 2 files changed, 8 insertions(+), 8 deletions(-)

diff --git a/dev-lang/idris2/idris2-0.5.1_p20220224-r1.ebuild b/dev-lang/idris2/idris2-0.5.1_p20220224-r1.ebuild
index 05c702574bdc..580ecc1369ce 100644
--- a/dev-lang/idris2/idris2-0.5.1_p20220224-r1.ebuild
+++ b/dev-lang/idris2/idris2-0.5.1_p20220224-r1.ebuild
@@ -1,9 +1,9 @@
-# Copyright 1999-2022 Gentoo Authors
+# Copyright 1999-2023 Gentoo Authors
 # Distributed under the terms of the GNU General Public License v2
 
 EAPI=8
 
-H=1011cc6162bad580b0c51237c86fbf4fe2035fbe
+[[ ${PV} == *_p20220224 ]] && COMMIT=1011cc6162bad580b0c51237c86fbf4fe2035fbe
 
 inherit toolchain-funcs
 
@@ -14,9 +14,9 @@ if [[ "${PV}" == *9999* ]] ; then
 	inherit git-r3
 	EGIT_REPO_URI="https://github.com/idris-lang/${PN^}.git"
 else
-	SRC_URI="https://github.com/idris-lang/${PN^}/archive/${H}.tar.gz -> ${P}.tar.gz"
+	SRC_URI="https://github.com/idris-lang/${PN^}/archive/${COMMIT}.tar.gz -> ${P}.tar.gz"
 	KEYWORDS="~amd64 ~x86"
-	S="${WORKDIR}/${PN^}-${H}"
+	S="${WORKDIR}/${PN^}-${COMMIT}"
 fi
 
 LICENSE="BSD"

diff --git a/dev-lang/idris2/idris2-0.5.1_p20220920.ebuild b/dev-lang/idris2/idris2-0.5.1_p20220920.ebuild
index d3ca44e77e3d..7b8da7f699ec 100644
--- a/dev-lang/idris2/idris2-0.5.1_p20220920.ebuild
+++ b/dev-lang/idris2/idris2-0.5.1_p20220920.ebuild
@@ -1,9 +1,9 @@
-# Copyright 1999-2022 Gentoo Authors
+# Copyright 1999-2023 Gentoo Authors
 # Distributed under the terms of the GNU General Public License v2
 
 EAPI=8
 
-H=1142f73e05fef6a57141b8328944b13872d4135e
+[[ ${PV} == *_p20220920 ]] && COMMIT=1142f73e05fef6a57141b8328944b13872d4135e
 
 inherit toolchain-funcs
 
@@ -14,9 +14,9 @@ if [[ "${PV}" == *9999* ]] ; then
 	inherit git-r3
 	EGIT_REPO_URI="https://github.com/idris-lang/${PN^}.git"
 else
-	SRC_URI="https://github.com/idris-lang/${PN^}/archive/${H}.tar.gz -> ${P}.tar.gz"
+	SRC_URI="https://github.com/idris-lang/${PN^}/archive/${COMMIT}.tar.gz -> ${P}.tar.gz"
 	KEYWORDS="~amd64 ~x86"
-	S="${WORKDIR}/${PN^}-${H}"
+	S="${WORKDIR}/${PN^}-${COMMIT}"
 fi
 
 LICENSE="BSD"


^ permalink raw reply related	[flat|nested] 14+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: dev-lang/idris2/
@ 2023-10-04  8:11 Maciej Barć
  0 siblings, 0 replies; 14+ messages in thread
From: Maciej Barć @ 2023-10-04  8:11 UTC (permalink / raw
  To: gentoo-commits

commit:     b999766436db56a26baf89607dc507c2d3bc34e8
Author:     Maciej Barć <xgqt <AT> gentoo <DOT> org>
AuthorDate: Wed Oct  4 08:10:04 2023 +0000
Commit:     Maciej Barć <xgqt <AT> gentoo <DOT> org>
CommitDate: Wed Oct  4 08:11:18 2023 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=b9997664

dev-lang/idris2: drop old 0.5.1_p20220920

Signed-off-by: Maciej Barć <xgqt <AT> gentoo.org>

 dev-lang/idris2/Manifest                      |   1 -
 dev-lang/idris2/idris2-0.5.1_p20220920.ebuild | 105 --------------------------
 2 files changed, 106 deletions(-)

diff --git a/dev-lang/idris2/Manifest b/dev-lang/idris2/Manifest
index 7b1af4317e6e..6ff24ff105e3 100644
--- a/dev-lang/idris2/Manifest
+++ b/dev-lang/idris2/Manifest
@@ -1,2 +1 @@
-DIST idris2-0.5.1_p20220920.tar.gz 6410473 BLAKE2B 91af285cf02cb6adcad330050a4d201116f8dcfdac0021b8b9110789e7f461a54ac6ca1f1ee421a38be0ff83a780e64e5c02ee0a40fe7bc5d361b6aa551b30ad SHA512 5c006b8ecb74bd5261bcc1db94cbcf8d818b7838907916befb0c20681febe52963197b0406aef466858f37c75f3a1028e05d772dc323d172ad7a79781088304d
 DIST idris2-0.6.0.tar.gz 6706586 BLAKE2B 79c16120b5845047d510a6f75729f1999f5b468e27189bd806f772d07e1789622ca0182933d0ec0833f5c3af05e00f13edda2f595aa35b5d0fcb2301c5c25407 SHA512 342ab3d9e38c8150c7eec997e9cbadd4aa12ccb18994b6b008f165deb20fd5fc79f4944387316cbba03e56fa1545b0afbb277988449af5b21d20f81207f6f367

diff --git a/dev-lang/idris2/idris2-0.5.1_p20220920.ebuild b/dev-lang/idris2/idris2-0.5.1_p20220920.ebuild
deleted file mode 100644
index cf40b383b895..000000000000
--- a/dev-lang/idris2/idris2-0.5.1_p20220920.ebuild
+++ /dev/null
@@ -1,105 +0,0 @@
-# Copyright 1999-2023 Gentoo Authors
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI=8
-
-[[ ${PV} == *_p20220920 ]] && COMMIT=1142f73e05fef6a57141b8328944b13872d4135e
-
-inherit toolchain-funcs
-
-DESCRIPTION="Purely functional programming language with first class types"
-HOMEPAGE="https://idris-lang.org/"
-
-if [[ "${PV}" == *9999* ]] ; then
-	inherit git-r3
-	EGIT_REPO_URI="https://github.com/idris-lang/${PN^}.git"
-else
-	SRC_URI="https://github.com/idris-lang/${PN^}/archive/${COMMIT}.tar.gz -> ${P}.tar.gz"
-	KEYWORDS="~amd64 ~x86"
-	S="${WORKDIR}/${PN^}-${COMMIT}"
-fi
-
-LICENSE="BSD"
-SLOT="0"
-IUSE="+chez doc racket test-full"
-REQUIRED_USE="^^ ( chez racket )"
-
-RDEPEND="
-	dev-libs/gmp
-	chez? ( dev-scheme/chez:=[threads] )
-	racket? ( dev-scheme/racket:=[threads] )
-"
-DEPEND="${RDEPEND}"
-BDEPEND="
-	doc? ( dev-python/sphinx-rtd-theme )
-	test-full? (
-		dev-scheme/chez[threads]
-		dev-scheme/racket[threads]
-		net-libs/nodejs
-	)
-"
-
-# Generated via "SCHEME", not CC
-QA_FLAGS_IGNORED="usr/lib/idris2/bin/idris2_app/idris2
-	usr/lib/idris2/bin/idris2_app/idris2-boot"
-QA_PRESTRIPPED="${QA_FLAGS_IGNORED}"
-
-src_prepare() {
-	# Clean up environment of Idris and Racket variables
-	unset IDRIS2_DATA IDRIS2_INC_CGS IDRIS2_LIBS IDRIS2_PACKAGE_PATH
-	unset IDRIS2_PATH IDRIS2_PREFIX
-	unset PLTUSERHOME
-
-	tc-export AR CC CXX LD RANLIB
-	export CFLAGS
-	sed -i '/^CFLAGS/d' ./support/*/Makefile || die
-
-	# Fix "PREFIX"
-	sed -i 's|$(HOME)/.idris2|/usr/lib/idris2|g' ./config.mk || die
-
-	# Bad tests
-	# Weird Racket Futures (parallelism) test, might need further investigation
-	sed -i 's|, "futures001"||g' ./tests/Main.idr || die
-	# > Missing incremental compile data, reverting to whole program compilation
-	sed -i 's|"chez033",||g' ./tests/Main.idr || die
-
-	default
-}
-
-src_configure() {
-	export IDRIS2_VERSION=${PV}
-	export SCHEME=$(usex chez chezscheme racket)
-
-	if use chez ; then
-		export IDRIS2_CG=chez
-		export BOOTSTRAP_TARGET=bootstrap
-	elif use racket ; then
-		export IDRIS2_CG=racket
-		export BOOTSTRAP_TARGET=bootstrap-racket
-	else
-		die 'Neither "chez" nor "racket" was chosen'
-	fi
-}
-
-src_compile() {
-	# > jobserver unavailable
-	# This is caused by Makefile using a script which in turn calls make
-	# https://github.com/idris-lang/Idris2/issues/2152
-	emake SCHEME=${SCHEME} ${BOOTSTRAP_TARGET} -j1
-
-	use doc && emake -C ./docs html
-}
-
-src_test() {
-	emake SCHEME=${SCHEME} bootstrap-test
-}
-
-src_install() {
-	# "DESTDIR" variable is not respected, use "PREFIX" instead
-	emake IDRIS2_PREFIX="${D}"/usr/lib/idris2 PREFIX="${D}"/usr/lib/idris2 install
-	dosym ../lib/${PN}/bin/${PN} /usr/bin/${PN}
-
-	# Install documentation
-	use doc && dodoc -r ./docs/build/html
-	einstalldocs
-}


^ permalink raw reply related	[flat|nested] 14+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: dev-lang/idris2/
@ 2023-10-04  8:11 Maciej Barć
  0 siblings, 0 replies; 14+ messages in thread
From: Maciej Barć @ 2023-10-04  8:11 UTC (permalink / raw
  To: gentoo-commits

commit:     5730129f096378a379deae0e0fa0dcbf66650cd8
Author:     Maciej Barć <xgqt <AT> gentoo <DOT> org>
AuthorDate: Wed Oct  4 08:09:54 2023 +0000
Commit:     Maciej Barć <xgqt <AT> gentoo <DOT> org>
CommitDate: Wed Oct  4 08:11:18 2023 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=5730129f

dev-lang/idris2: drop old 0.5.1_p20220224-r1

Signed-off-by: Maciej Barć <xgqt <AT> gentoo.org>

 dev-lang/idris2/Manifest                         |   1 -
 dev-lang/idris2/idris2-0.5.1_p20220224-r1.ebuild | 105 -----------------------
 2 files changed, 106 deletions(-)

diff --git a/dev-lang/idris2/Manifest b/dev-lang/idris2/Manifest
index ea15a073d221..7b1af4317e6e 100644
--- a/dev-lang/idris2/Manifest
+++ b/dev-lang/idris2/Manifest
@@ -1,3 +1,2 @@
-DIST idris2-0.5.1_p20220224.tar.gz 6299027 BLAKE2B 65654d76dc4a593826904321d78246da877ae71da95d56b4ee266de9676706e899bf9a1ae4293dde077a3ea50a860501fa4c3b8065a5b8d759d785954ea7b822 SHA512 6bea9e5ce01c64a893c39e7aacceef5d4f6bfd499f0b4ca17681bea6ab11620e0058faba8bdd84eecacf3f8d1cfe2594ca830aff89f2cfde2208fdc092fc37f1
 DIST idris2-0.5.1_p20220920.tar.gz 6410473 BLAKE2B 91af285cf02cb6adcad330050a4d201116f8dcfdac0021b8b9110789e7f461a54ac6ca1f1ee421a38be0ff83a780e64e5c02ee0a40fe7bc5d361b6aa551b30ad SHA512 5c006b8ecb74bd5261bcc1db94cbcf8d818b7838907916befb0c20681febe52963197b0406aef466858f37c75f3a1028e05d772dc323d172ad7a79781088304d
 DIST idris2-0.6.0.tar.gz 6706586 BLAKE2B 79c16120b5845047d510a6f75729f1999f5b468e27189bd806f772d07e1789622ca0182933d0ec0833f5c3af05e00f13edda2f595aa35b5d0fcb2301c5c25407 SHA512 342ab3d9e38c8150c7eec997e9cbadd4aa12ccb18994b6b008f165deb20fd5fc79f4944387316cbba03e56fa1545b0afbb277988449af5b21d20f81207f6f367

diff --git a/dev-lang/idris2/idris2-0.5.1_p20220224-r1.ebuild b/dev-lang/idris2/idris2-0.5.1_p20220224-r1.ebuild
deleted file mode 100644
index 184f92dc1381..000000000000
--- a/dev-lang/idris2/idris2-0.5.1_p20220224-r1.ebuild
+++ /dev/null
@@ -1,105 +0,0 @@
-# Copyright 1999-2023 Gentoo Authors
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI=8
-
-[[ ${PV} == *_p20220224 ]] && COMMIT=1011cc6162bad580b0c51237c86fbf4fe2035fbe
-
-inherit toolchain-funcs
-
-DESCRIPTION="Purely functional programming language with first class types"
-HOMEPAGE="https://idris-lang.org/"
-
-if [[ "${PV}" == *9999* ]] ; then
-	inherit git-r3
-	EGIT_REPO_URI="https://github.com/idris-lang/${PN^}.git"
-else
-	SRC_URI="https://github.com/idris-lang/${PN^}/archive/${COMMIT}.tar.gz -> ${P}.tar.gz"
-	KEYWORDS="~amd64 ~x86"
-	S="${WORKDIR}/${PN^}-${COMMIT}"
-fi
-
-LICENSE="BSD"
-SLOT="0"
-IUSE="+chez doc racket test-full"
-REQUIRED_USE="^^ ( chez racket )"
-
-RDEPEND="
-	dev-libs/gmp
-	chez? ( dev-scheme/chez:=[threads] )
-	racket? ( dev-scheme/racket:=[threads] )
-"
-DEPEND="${RDEPEND}"
-BDEPEND="
-	doc? ( dev-python/sphinx-rtd-theme )
-	test-full? (
-		dev-scheme/chez[threads]
-		dev-scheme/racket[threads]
-		net-libs/nodejs
-	)
-"
-
-# Generated via "SCHEME", not CC
-QA_FLAGS_IGNORED="usr/lib/idris2/bin/idris2_app/idris2
-	usr/lib/idris2/bin/idris2_app/idris2-boot"
-QA_PRESTRIPPED="${QA_FLAGS_IGNORED}"
-
-src_prepare() {
-	# Clean up environment of Idris and Racket variables
-	unset IDRIS2_DATA IDRIS2_INC_CGS IDRIS2_LIBS IDRIS2_PACKAGE_PATH
-	unset IDRIS2_PATH IDRIS2_PREFIX
-	unset PLTUSERHOME
-
-	tc-export AR CC CXX LD RANLIB
-	export CFLAGS
-	sed -i '/^CFLAGS/d' ./support/*/Makefile || die
-
-	# Fix "PREFIX"
-	sed -i 's|$(HOME)/.idris2|/usr/lib/idris2|g' ./config.mk || die
-
-	# Bad tests
-	# Weird Racket Futures (parallelism) test, might need further investigation
-	sed -i 's|, "futures001"||g' ./tests/Main.idr || die
-	# > Missing incremental compile data, reverting to whole program compilation
-	sed -i 's|"chez033",||g' ./tests/Main.idr || die
-
-	default
-}
-
-src_configure() {
-	export IDRIS2_VERSION=${PV}
-	export SCHEME=$(usex chez chezscheme racket)
-
-	if use chez ; then
-		export IDRIS2_CG=chez
-		export BOOTSTRAP_TARGET=bootstrap
-	elif use racket ; then
-		export IDRIS2_CG=racket
-		export BOOTSTRAP_TARGET=bootstrap-racket
-	else
-		die 'Neither "chez" nor "racket" was chosen'
-	fi
-}
-
-src_compile() {
-	# > jobserver unavailable
-	# This is caused by Makefile using a script which in turn calls make
-	# https://github.com/idris-lang/Idris2/issues/2152
-	emake SCHEME=${SCHEME} ${BOOTSTRAP_TARGET} -j1
-
-	use doc && emake -C ./docs html
-}
-
-src_test() {
-	emake SCHEME=${SCHEME} bootstrap-test
-}
-
-src_install() {
-	# "DESTDIR" variable is not respected, use "PREFIX" instead
-	emake IDRIS2_PREFIX="${D}"/usr/lib/idris2 PREFIX="${D}"/usr/lib/idris2 install
-	dosym ../lib/${PN}/bin/${PN} /usr/bin/${PN}
-
-	# Install documentation
-	use doc && dodoc -r ./docs/build/html
-	einstalldocs
-}


^ permalink raw reply related	[flat|nested] 14+ messages in thread
end of thread, other threads:[~2023-10-04  8:11 UTC | newest]

Thread overview: 14+ messages (download: mbox.gz follow: Atom feed
-- links below jump to the message on this page --
2022-09-21  1:32 [gentoo-commits] repo/gentoo:master commit in: dev-lang/idris2/ Maciej Barć
  -- strict thread matches above, loose matches on Subject: below --
2023-10-04  8:11 Maciej Barć
2023-10-04  8:11 Maciej Barć
2023-02-02 17:46 Maciej Barć
2022-11-01  2:38 Maciej Barć
2022-11-01  2:38 Maciej Barć
2022-09-21  1:32 Maciej Barć
2022-05-05 12:22 Maciej Barć
2022-02-27  0:12 Maciej Barć
2022-02-01  3:46 Maciej Barć
2021-12-27 15:59 Maciej Barć
2021-11-27 21:59 Maciej Barć
2021-11-27 21:11 Maciej Barć
2021-11-27 20:13 Maciej Barć

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox