* [gentoo-commits] repo/proj/guru:dev commit in: dev-lang/idris2/
@ 2021-11-12 5:24 Maciej Barć
0 siblings, 0 replies; 6+ messages in thread
From: Maciej Barć @ 2021-11-12 5:24 UTC (permalink / raw
To: gentoo-commits
commit: f19bc995e90dfcd4e5e265ac50efce38b672efb1
Author: Maciej Barć <xgqt <AT> riseup <DOT> net>
AuthorDate: Fri Nov 12 05:24:38 2021 +0000
Commit: Maciej Barć <xgqt <AT> riseup <DOT> net>
CommitDate: Fri Nov 12 05:24:52 2021 +0000
URL: https://gitweb.gentoo.org/repo/proj/guru.git/commit/?id=f19bc995
dev-lang/idris2: new package; add version 0.5.1
Package-Manager: Portage-3.0.28, Repoman-3.0.3
Signed-off-by: Maciej Barć <xgqt <AT> riseup.net>
dev-lang/idris2/Manifest | 1 +
dev-lang/idris2/idris2-0.5.1.ebuild | 105 ++++++++++++++++++++++++++++++++++++
dev-lang/idris2/metadata.xml | 27 ++++++++++
3 files changed, 133 insertions(+)
diff --git a/dev-lang/idris2/Manifest b/dev-lang/idris2/Manifest
new file mode 100644
index 000000000..97fd4e376
--- /dev/null
+++ b/dev-lang/idris2/Manifest
@@ -0,0 +1 @@
+DIST idris2-0.5.1.tar.gz 6057004 BLAKE2B d44d28739d350d7987b86ef3a08e2f6d73cd32fdb406c8156336f72d996fbd30296edf8b74e461d7a67861edc188d9e0d0f939bace337bebbf4124862b81a243 SHA512 6b4a4092570136a684bdd80765d271bc1ebe163c273ff22d22c808f586183a8e90a326573dd0e4b339e1ab0b88fd31f1cc7bf2820ff7bab2742c4156b816c5b7
diff --git a/dev-lang/idris2/idris2-0.5.1.ebuild b/dev-lang/idris2/idris2-0.5.1.ebuild
new file mode 100644
index 000000000..46d5f2085
--- /dev/null
+++ b/dev-lang/idris2/idris2-0.5.1.ebuild
@@ -0,0 +1,105 @@
+# Copyright 1999-2021 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+# NOTICE: make targets for documentation fail: libdocs & install-libdocs
+
+EAPI=8
+
+inherit toolchain-funcs xdg-utils
+
+DESCRIPTION="Purely functional programming language with first class types"
+HOMEPAGE="https://github.com/idris-lang/Idris2/"
+
+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/refs/tags/v${PV}.tar.gz -> ${P}.tar.gz"
+ KEYWORDS="~amd64"
+ S="${WORKDIR}/${P^}"
+fi
+
+LICENSE="BSD"
+SLOT="0"
+IUSE="+chez doc racket test-full"
+REQUIRED_USE="^^ ( chez racket )"
+
+BDEPEND="
+ dev-libs/gmp
+ chez? ( dev-scheme/chez )
+ racket? ( dev-scheme/racket )
+ doc? ( dev-python/sphinx_rtd_theme )
+ test-full? (
+ dev-scheme/chez
+ dev-scheme/racket
+ 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() {
+ xdg_environment_reset
+ 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
+
+ # Sorry... (jobserver unavailable)
+ unset MAKEOPTS
+
+ export IDRIS2_VERSION=${PV}
+ export SCHEME=$(usex chez chezscheme racket)
+
+ if use chez; then
+ export IDRIS2_CG=chez
+ export BOOTSTRAP_MAKE_TARGET=bootstrap
+ elif use racket; then
+ export IDRIS2_CG=racket
+ export BOOTSTRAP_MAKE_TARGET=bootstrap-racket
+ else
+ die "Neither chez nor racket was chosen"
+ fi
+
+ # Fix "PREFIX"
+ sed -i 's|$(HOME)/.idris2|/usr/lib/idris2|g' ./config.mk || die
+
+ # Bad tests
+ sed -i 's|"chez033",||g' ./tests/Main.idr || die
+
+ default
+}
+
+src_configure() {
+ :
+}
+
+src_compile() {
+ emake SCHEME=${SCHEME} ${BOOTSTRAP_MAKE_TARGET}
+
+ 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
+
+ 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 000000000..66edc68e0
--- /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="person">
+ <email>xgqt@riseup.net</email>
+ <name>Maciej Barć</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] 6+ messages in thread* [gentoo-commits] repo/proj/guru:dev commit in: dev-lang/idris2/
@ 2021-11-12 5:30 Maciej Barć
0 siblings, 0 replies; 6+ messages in thread
From: Maciej Barć @ 2021-11-12 5:30 UTC (permalink / raw
To: gentoo-commits
commit: 01357cba101b74171e9b1acb41a7dd04ac104bab
Author: Maciej Barć <xgqt <AT> riseup <DOT> net>
AuthorDate: Fri Nov 12 05:29:41 2021 +0000
Commit: Maciej Barć <xgqt <AT> riseup <DOT> net>
CommitDate: Fri Nov 12 05:29:41 2021 +0000
URL: https://gitweb.gentoo.org/repo/proj/guru.git/commit/?id=01357cba
dev-lang/idris2: fix *DEPEND
Signed-off-by: Maciej Barć <xgqt <AT> riseup.net>
dev-lang/idris2/idris2-0.5.1.ebuild | 3 ++-
1 file changed, 2 insertions(+), 1 deletion(-)
diff --git a/dev-lang/idris2/idris2-0.5.1.ebuild b/dev-lang/idris2/idris2-0.5.1.ebuild
index 46d5f2085..b1b3217a9 100644
--- a/dev-lang/idris2/idris2-0.5.1.ebuild
+++ b/dev-lang/idris2/idris2-0.5.1.ebuild
@@ -24,8 +24,9 @@ SLOT="0"
IUSE="+chez doc racket test-full"
REQUIRED_USE="^^ ( chez racket )"
+RDEPEND="dev-libs/gmp"
+DEPEND="${RDEPEND}"
BDEPEND="
- dev-libs/gmp
chez? ( dev-scheme/chez )
racket? ( dev-scheme/racket )
doc? ( dev-python/sphinx_rtd_theme )
^ permalink raw reply related [flat|nested] 6+ messages in thread* [gentoo-commits] repo/proj/guru:dev commit in: dev-lang/idris2/
@ 2021-11-12 8:17 Maciej Barć
0 siblings, 0 replies; 6+ messages in thread
From: Maciej Barć @ 2021-11-12 8:17 UTC (permalink / raw
To: gentoo-commits
commit: e2e4ee90303beffcb8f7f782dd287a5295887ca4
Author: Maciej Barć <xgqt <AT> riseup <DOT> net>
AuthorDate: Fri Nov 12 08:16:26 2021 +0000
Commit: Maciej Barć <xgqt <AT> riseup <DOT> net>
CommitDate: Fri Nov 12 08:16:26 2021 +0000
URL: https://gitweb.gentoo.org/repo/proj/guru.git/commit/?id=e2e4ee90
dev-lang/idris2: move scheme from BDEPEND to RDEPEND
scheme still needed to run idris2 binary
Signed-off-by: Maciej Barć <xgqt <AT> riseup.net>
dev-lang/idris2/idris2-0.5.1.ebuild | 8 +++++---
1 file changed, 5 insertions(+), 3 deletions(-)
diff --git a/dev-lang/idris2/idris2-0.5.1.ebuild b/dev-lang/idris2/idris2-0.5.1.ebuild
index b1b3217a9..4688cb84d 100644
--- a/dev-lang/idris2/idris2-0.5.1.ebuild
+++ b/dev-lang/idris2/idris2-0.5.1.ebuild
@@ -24,11 +24,13 @@ SLOT="0"
IUSE="+chez doc racket test-full"
REQUIRED_USE="^^ ( chez racket )"
-RDEPEND="dev-libs/gmp"
-DEPEND="${RDEPEND}"
-BDEPEND="
+RDEPEND="
chez? ( dev-scheme/chez )
racket? ( dev-scheme/racket )
+ dev-libs/gmp
+"
+DEPEND="${RDEPEND}"
+BDEPEND="
doc? ( dev-python/sphinx_rtd_theme )
test-full? (
dev-scheme/chez
^ permalink raw reply related [flat|nested] 6+ messages in thread* [gentoo-commits] repo/proj/guru:dev commit in: dev-lang/idris2/
@ 2021-11-12 11:26 Maciej Barć
0 siblings, 0 replies; 6+ messages in thread
From: Maciej Barć @ 2021-11-12 11:26 UTC (permalink / raw
To: gentoo-commits
commit: 860c53c5064412b7e75687b7c73bba0a9659f289
Author: Maciej Barć <xgqt <AT> riseup <DOT> net>
AuthorDate: Fri Nov 12 10:45:58 2021 +0000
Commit: Maciej Barć <xgqt <AT> riseup <DOT> net>
CommitDate: Fri Nov 12 10:45:58 2021 +0000
URL: https://gitweb.gentoo.org/repo/proj/guru.git/commit/?id=860c53c5
dev-lang/idris2: bump to 0.5.1_p20211112
Package-Manager: Portage-3.0.28, Repoman-3.0.3
Signed-off-by: Maciej Barć <xgqt <AT> riseup.net>
dev-lang/idris2/Manifest | 1 +
dev-lang/idris2/idris2-0.5.1_p20211112.ebuild | 111 ++++++++++++++++++++++++++
2 files changed, 112 insertions(+)
diff --git a/dev-lang/idris2/Manifest b/dev-lang/idris2/Manifest
index 97fd4e376..7ec8c66c5 100644
--- a/dev-lang/idris2/Manifest
+++ b/dev-lang/idris2/Manifest
@@ -1 +1,2 @@
DIST idris2-0.5.1.tar.gz 6057004 BLAKE2B d44d28739d350d7987b86ef3a08e2f6d73cd32fdb406c8156336f72d996fbd30296edf8b74e461d7a67861edc188d9e0d0f939bace337bebbf4124862b81a243 SHA512 6b4a4092570136a684bdd80765d271bc1ebe163c273ff22d22c808f586183a8e90a326573dd0e4b339e1ab0b88fd31f1cc7bf2820ff7bab2742c4156b816c5b7
+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 000000000..738a60d0f
--- /dev/null
+++ b/dev-lang/idris2/idris2-0.5.1_p20211112.ebuild
@@ -0,0 +1,111 @@
+# Copyright 1999-2021 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+# NOTICE: make targets for documentation fail: libdocs & install-libdocs
+
+EAPI=8
+
+COMMIT_HASH="ba180706d607945d8b419301f4362471d97a306a"
+
+inherit toolchain-funcs xdg-utils
+
+DESCRIPTION="Purely functional programming language with first class types"
+HOMEPAGE="https://github.com/idris-lang/Idris2/"
+
+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"
+ S="${WORKDIR}/${PN^}-${COMMIT_HASH}"
+fi
+
+LICENSE="BSD"
+SLOT="0"
+IUSE="+chez doc racket test-full"
+REQUIRED_USE="^^ ( chez racket )"
+
+RDEPEND="
+ chez? ( dev-scheme/chez )
+ racket? ( dev-scheme/racket )
+ dev-libs/gmp
+"
+DEPEND="${RDEPEND}"
+BDEPEND="
+ doc? ( dev-python/sphinx_rtd_theme )
+ test-full? (
+ dev-scheme/chez
+ dev-scheme/racket
+ 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() {
+ xdg_environment_reset
+ 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
+
+ # Sorry... (jobserver unavailable)
+ unset MAKEOPTS
+
+ export IDRIS2_VERSION=${PV}
+ export SCHEME=$(usex chez chezscheme racket)
+
+ if use chez; then
+ export IDRIS2_CG=chez
+ export BOOTSTRAP_MAKE_TARGET=bootstrap
+ elif use racket; then
+ export IDRIS2_CG=racket
+ export BOOTSTRAP_MAKE_TARGET=bootstrap-racket
+ else
+ die "Neither chez nor racket was chosen"
+ fi
+
+ # 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() {
+ :
+}
+
+src_compile() {
+ emake SCHEME=${SCHEME} ${BOOTSTRAP_MAKE_TARGET}
+
+ 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
+
+ if use doc; then
+ insinto /usr/share/doc/${PF}/
+ doins -r ./docs/build/html
+ fi
+}
^ permalink raw reply related [flat|nested] 6+ messages in thread* [gentoo-commits] repo/proj/guru:dev commit in: dev-lang/idris2/
@ 2021-11-21 20:57 Maciej Barć
0 siblings, 0 replies; 6+ messages in thread
From: Maciej Barć @ 2021-11-21 20:57 UTC (permalink / raw
To: gentoo-commits
commit: b51b6cd343dced4b7ff2fe5cfa15fd9d0443ddc7
Author: Maciej Barć <xgqt <AT> riseup <DOT> net>
AuthorDate: Sun Nov 21 20:57:13 2021 +0000
Commit: Maciej Barć <xgqt <AT> riseup <DOT> net>
CommitDate: Sun Nov 21 20:57:26 2021 +0000
URL: https://gitweb.gentoo.org/repo/proj/guru.git/commit/?id=b51b6cd3
dev-lang/idris2: add schemes threading requirement
Closes: https://bugs.gentoo.org/825430
Package-Manager: Portage-3.0.28, Repoman-3.0.3
Signed-off-by: Maciej Barć <xgqt <AT> riseup.net>
dev-lang/idris2/idris2-0.5.1.ebuild | 8 ++++----
dev-lang/idris2/idris2-0.5.1_p20211112.ebuild | 8 ++++----
2 files changed, 8 insertions(+), 8 deletions(-)
diff --git a/dev-lang/idris2/idris2-0.5.1.ebuild b/dev-lang/idris2/idris2-0.5.1.ebuild
index 4688cb84d..de40fa402 100644
--- a/dev-lang/idris2/idris2-0.5.1.ebuild
+++ b/dev-lang/idris2/idris2-0.5.1.ebuild
@@ -25,16 +25,16 @@ IUSE="+chez doc racket test-full"
REQUIRED_USE="^^ ( chez racket )"
RDEPEND="
- chez? ( dev-scheme/chez )
- racket? ( dev-scheme/racket )
+ chez? ( dev-scheme/chez[threads] )
+ racket? ( dev-scheme/racket[threads] )
dev-libs/gmp
"
DEPEND="${RDEPEND}"
BDEPEND="
doc? ( dev-python/sphinx_rtd_theme )
test-full? (
- dev-scheme/chez
- dev-scheme/racket
+ dev-scheme/chez[threads]
+ dev-scheme/racket[threads]
net-libs/nodejs
)
"
diff --git a/dev-lang/idris2/idris2-0.5.1_p20211112.ebuild b/dev-lang/idris2/idris2-0.5.1_p20211112.ebuild
index 738a60d0f..559d2866d 100644
--- a/dev-lang/idris2/idris2-0.5.1_p20211112.ebuild
+++ b/dev-lang/idris2/idris2-0.5.1_p20211112.ebuild
@@ -27,16 +27,16 @@ IUSE="+chez doc racket test-full"
REQUIRED_USE="^^ ( chez racket )"
RDEPEND="
- chez? ( dev-scheme/chez )
- racket? ( dev-scheme/racket )
+ chez? ( dev-scheme/chez[threads] )
+ racket? ( dev-scheme/racket[threads] )
dev-libs/gmp
"
DEPEND="${RDEPEND}"
BDEPEND="
doc? ( dev-python/sphinx_rtd_theme )
test-full? (
- dev-scheme/chez
- dev-scheme/racket
+ dev-scheme/chez[threads]
+ dev-scheme/racket[threads]
net-libs/nodejs
)
"
^ permalink raw reply related [flat|nested] 6+ messages in thread* [gentoo-commits] repo/proj/guru:dev commit in: dev-lang/idris2/
@ 2021-11-27 20:20 Maciej Barć
0 siblings, 0 replies; 6+ messages in thread
From: Maciej Barć @ 2021-11-27 20:20 UTC (permalink / raw
To: gentoo-commits
commit: 70324d1a2e9d3496f1c51e67b3ba5962f5e3ef7c
Author: Maciej Barć <xgqt <AT> gentoo <DOT> org>
AuthorDate: Sat Nov 27 20:20:18 2021 +0000
Commit: Maciej Barć <xgqt <AT> gentoo <DOT> org>
CommitDate: Sat Nov 27 20:20:18 2021 +0000
URL: https://gitweb.gentoo.org/repo/proj/guru.git/commit/?id=70324d1a
dev-lang: move idris2 to ::gentoo
Signed-off-by: Maciej Barć <xgqt <AT> gentoo.org>
dev-lang/idris2/Manifest | 2 -
dev-lang/idris2/idris2-0.5.1.ebuild | 108 -------------------------
dev-lang/idris2/idris2-0.5.1_p20211112.ebuild | 111 --------------------------
dev-lang/idris2/metadata.xml | 27 -------
4 files changed, 248 deletions(-)
diff --git a/dev-lang/idris2/Manifest b/dev-lang/idris2/Manifest
deleted file mode 100644
index 7ec8c66c5..000000000
--- a/dev-lang/idris2/Manifest
+++ /dev/null
@@ -1,2 +0,0 @@
-DIST idris2-0.5.1.tar.gz 6057004 BLAKE2B d44d28739d350d7987b86ef3a08e2f6d73cd32fdb406c8156336f72d996fbd30296edf8b74e461d7a67861edc188d9e0d0f939bace337bebbf4124862b81a243 SHA512 6b4a4092570136a684bdd80765d271bc1ebe163c273ff22d22c808f586183a8e90a326573dd0e4b339e1ab0b88fd31f1cc7bf2820ff7bab2742c4156b816c5b7
-DIST idris2-0.5.1_p20211112.tar.gz 6202861 BLAKE2B 189bf28c7a33281494edea9b2c0821a934000fe9ca6e929b3318fe33576553142e5ad8d81598249cc384c6e342491ccef0998f33a4f2940b80264f5a3e4b32b2 SHA512 3b419ddbdc4aa3a28d92bf204448090c168d6a844d570886f982129f9e650c7112bbf95b727baf6c9f0f2fd6200c75eb68b6b71fd8684e01365eaf964dea1ea1
diff --git a/dev-lang/idris2/idris2-0.5.1.ebuild b/dev-lang/idris2/idris2-0.5.1.ebuild
deleted file mode 100644
index de40fa402..000000000
--- a/dev-lang/idris2/idris2-0.5.1.ebuild
+++ /dev/null
@@ -1,108 +0,0 @@
-# Copyright 1999-2021 Gentoo Authors
-# Distributed under the terms of the GNU General Public License v2
-
-# NOTICE: make targets for documentation fail: libdocs & install-libdocs
-
-EAPI=8
-
-inherit toolchain-funcs xdg-utils
-
-DESCRIPTION="Purely functional programming language with first class types"
-HOMEPAGE="https://github.com/idris-lang/Idris2/"
-
-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/refs/tags/v${PV}.tar.gz -> ${P}.tar.gz"
- KEYWORDS="~amd64"
- S="${WORKDIR}/${P^}"
-fi
-
-LICENSE="BSD"
-SLOT="0"
-IUSE="+chez doc racket test-full"
-REQUIRED_USE="^^ ( chez racket )"
-
-RDEPEND="
- chez? ( dev-scheme/chez[threads] )
- racket? ( dev-scheme/racket[threads] )
- dev-libs/gmp
-"
-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() {
- xdg_environment_reset
- 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
-
- # Sorry... (jobserver unavailable)
- unset MAKEOPTS
-
- export IDRIS2_VERSION=${PV}
- export SCHEME=$(usex chez chezscheme racket)
-
- if use chez; then
- export IDRIS2_CG=chez
- export BOOTSTRAP_MAKE_TARGET=bootstrap
- elif use racket; then
- export IDRIS2_CG=racket
- export BOOTSTRAP_MAKE_TARGET=bootstrap-racket
- else
- die "Neither chez nor racket was chosen"
- fi
-
- # Fix "PREFIX"
- sed -i 's|$(HOME)/.idris2|/usr/lib/idris2|g' ./config.mk || die
-
- # Bad tests
- sed -i 's|"chez033",||g' ./tests/Main.idr || die
-
- default
-}
-
-src_configure() {
- :
-}
-
-src_compile() {
- emake SCHEME=${SCHEME} ${BOOTSTRAP_MAKE_TARGET}
-
- 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
-
- if use doc; then
- insinto /usr/share/doc/${PF}/
- doins -r ./docs/build/html
- fi
-}
diff --git a/dev-lang/idris2/idris2-0.5.1_p20211112.ebuild b/dev-lang/idris2/idris2-0.5.1_p20211112.ebuild
deleted file mode 100644
index 559d2866d..000000000
--- a/dev-lang/idris2/idris2-0.5.1_p20211112.ebuild
+++ /dev/null
@@ -1,111 +0,0 @@
-# Copyright 1999-2021 Gentoo Authors
-# Distributed under the terms of the GNU General Public License v2
-
-# NOTICE: make targets for documentation fail: libdocs & install-libdocs
-
-EAPI=8
-
-COMMIT_HASH="ba180706d607945d8b419301f4362471d97a306a"
-
-inherit toolchain-funcs xdg-utils
-
-DESCRIPTION="Purely functional programming language with first class types"
-HOMEPAGE="https://github.com/idris-lang/Idris2/"
-
-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"
- S="${WORKDIR}/${PN^}-${COMMIT_HASH}"
-fi
-
-LICENSE="BSD"
-SLOT="0"
-IUSE="+chez doc racket test-full"
-REQUIRED_USE="^^ ( chez racket )"
-
-RDEPEND="
- chez? ( dev-scheme/chez[threads] )
- racket? ( dev-scheme/racket[threads] )
- dev-libs/gmp
-"
-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() {
- xdg_environment_reset
- 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
-
- # Sorry... (jobserver unavailable)
- unset MAKEOPTS
-
- export IDRIS2_VERSION=${PV}
- export SCHEME=$(usex chez chezscheme racket)
-
- if use chez; then
- export IDRIS2_CG=chez
- export BOOTSTRAP_MAKE_TARGET=bootstrap
- elif use racket; then
- export IDRIS2_CG=racket
- export BOOTSTRAP_MAKE_TARGET=bootstrap-racket
- else
- die "Neither chez nor racket was chosen"
- fi
-
- # 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() {
- :
-}
-
-src_compile() {
- emake SCHEME=${SCHEME} ${BOOTSTRAP_MAKE_TARGET}
-
- 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
-
- 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
deleted file mode 100644
index 66edc68e0..000000000
--- a/dev-lang/idris2/metadata.xml
+++ /dev/null
@@ -1,27 +0,0 @@
-<?xml version="1.0" encoding="UTF-8"?>
-<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd">
-
-<pkgmetadata>
- <maintainer type="person">
- <email>xgqt@riseup.net</email>
- <name>Maciej Barć</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] 6+ messages in thread
end of thread, other threads:[~2021-11-27 20:20 UTC | newest]
Thread overview: 6+ messages (download: mbox.gz follow: Atom feed
-- links below jump to the message on this page --
2021-11-12 5:24 [gentoo-commits] repo/proj/guru:dev commit in: dev-lang/idris2/ Maciej Barć
-- strict thread matches above, loose matches on Subject: below --
2021-11-12 5:30 Maciej Barć
2021-11-12 8:17 Maciej Barć
2021-11-12 11:26 Maciej Barć
2021-11-21 20:57 Maciej Barć
2021-11-27 20:20 Maciej Barć
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox