[gentoo-commits] repo/gentoo:master commit in: dev-lang/idris2/, dev-lang/idris2/files/

2023-12-26 Thread Maciej Barć 
commit: 0f91c770efc10cdaf14d527316b247b1a5e4d26b
Author: Maciej Barć  gentoo  org>
AuthorDate: Wed Dec 27 00:20:47 2023 +
Commit: Maciej Barć  gentoo  org>
CommitDate: Wed Dec 27 01:20:42 2023 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=0f91c770

dev-lang/idris2: bump to 0.7.0

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

 dev-lang/idris2/Manifest   |   1 +
 .../idris2-0.7.0-disable-allbackends-tests.patch   |  10 ++
 dev-lang/idris2/idris2-0.7.0.ebuild| 135 +
 3 files changed, 146 insertions(+)

diff --git a/dev-lang/idris2/Manifest b/dev-lang/idris2/Manifest
index 6ff24ff105e3..02ee2eb10e82 100644
--- a/dev-lang/idris2/Manifest
+++ b/dev-lang/idris2/Manifest
@@ -1 +1,2 @@
 DIST idris2-0.6.0.tar.gz 6706586 BLAKE2B 
79c16120b5845047d510a6f75729f1999f5b468e27189bd806f772d07e1789622ca0182933d0ec0833f5c3af05e00f13edda2f595aa35b5d0fcb2301c5c25407
 SHA512 
342ab3d9e38c8150c7eec997e9cbadd4aa12ccb18994b6b008f165deb20fd5fc79f4944387316cbba03e56fa1545b0afbb277988449af5b21d20f81207f6f367
+DIST idris2-0.7.0.tar.gz 6987849 BLAKE2B 
5a3df7eb4541830822c92bc76e616266e9535c7fe989e78db4477c724d25720ec46bb21625ab9c0541da52fbacc0b1f7d49c3316191f88b553ec8a4f8d22892c
 SHA512 
3c645807d71ecf62bc66b674438ebf80ec6e7e4bbf473d86ec06bc7b59f8187618e0d56535380079837e15caebef02deba9beb3eb3c77da787befac88d7a6d2b

diff --git a/dev-lang/idris2/files/idris2-0.7.0-disable-allbackends-tests.patch 
b/dev-lang/idris2/files/idris2-0.7.0-disable-allbackends-tests.patch
new file mode 100644
index ..eb085ca765e6
--- /dev/null
+++ b/dev-lang/idris2/files/idris2-0.7.0-disable-allbackends-tests.patch
@@ -0,0 +1,10 @@
+--- a/tests/Main.idr
 b/tests/Main.idr
+@@ -233,7 +233,6 @@ main = runner $
+   , !codegenTests
+   ]
+   ++ !(traverse idrisTestsAllSchemes [Chez, Racket])
+-  ++ map (testPaths "allbackends" . idrisTestsAllBackends) [Chez, Node, 
Racket, C]
+ 
+ 
+ where

diff --git a/dev-lang/idris2/idris2-0.7.0.ebuild 
b/dev-lang/idris2/idris2-0.7.0.ebuild
new file mode 100644
index ..acc07f686ab7
--- /dev/null
+++ b/dev-lang/idris2/idris2-0.7.0.ebuild
@@ -0,0 +1,135 @@
+# Copyright 1999-2023 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+inherit check-reqs toolchain-funcs
+
+DESCRIPTION="Purely functional programming language with first class types"
+HOMEPAGE="https://idris-lang.org/;
+
+if [[ "${PV}" == ** ]] ; 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"
+   S="${WORKDIR}/${PN^}-${PV}"
+
+   KEYWORDS="~amd64 ~x86"
+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
+   )
+"
+
+CHECKREQS_DISK_BUILD="800M"
+
+PATCHES=( "${FILESDIR}/${PN}-0.7.0-disable-allbackends-tests.patch"  )
+
+# 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
+   local -a bad_tests=(
+   allschemes/channels006
+   chez/futures001
+   refc/args
+   refc/buffer
+   refc/clock
+   refc/doubles
+   refc/garbageCollect
+   refc/integers
+   refc/issue1778
+   refc/issue2424
+   refc/refc002
+   refc/refc003
+   refc/strings
+   )
+   local bad_test
+   for bad_test in "${bad_tests[@]}" ; do
+   rm -r "tests/${bad_test}" || die
+   done
+
+   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

[gentoo-commits] repo/gentoo:master commit in: dev-lang/idris2/

2023-10-04 Thread Maciej Barć 
commit: b999766436db56a26baf89607dc507c2d3bc34e8
Author: Maciej Barć  gentoo  org>
AuthorDate: Wed Oct  4 08:10:04 2023 +
Commit: Maciej Barć  gentoo  org>
CommitDate: Wed Oct  4 08:11:18 2023 +
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ć  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..
--- 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}" == ** ]] ; 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
-}

[gentoo-commits] repo/gentoo:master commit in: dev-lang/idris2/

2023-10-04 Thread Maciej Barć 
commit: 5730129f096378a379deae0e0fa0dcbf66650cd8
Author: Maciej Barć  gentoo  org>
AuthorDate: Wed Oct  4 08:09:54 2023 +
Commit: Maciej Barć  gentoo  org>
CommitDate: Wed Oct  4 08:11:18 2023 +
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ć  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..
--- 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}" == ** ]] ; 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}

[gentoo-commits] repo/gentoo:master commit in: dev-lang/idris2/

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

dev-lang/idris2: H -> COMMIT

Signed-off-by: Maciej Barć  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}" == ** ]] ; 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}" == ** ]] ; 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"

[gentoo-commits] repo/gentoo:master commit in: dev-lang/idris2/

2022-10-31 Thread Maciej Barć 
commit: 3987ee9a4bad215abd51e1e45941b049a2bcc95e
Author: Maciej Barć  gentoo  org>
AuthorDate: Tue Nov  1 02:37:42 2022 +
Commit: Maciej Barć  gentoo  org>
CommitDate: Tue Nov  1 02:38:07 2022 +
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ć  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..
--- 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}" == ** ]] ; 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() {
-   #

[gentoo-commits] repo/gentoo:master commit in: dev-lang/idris2/

2022-10-31 Thread Maciej Barć 
commit: 2d8d51fc52852e2c97a597a81086f5b3def76a50
Author: Maciej Barć  gentoo  org>
AuthorDate: Tue Nov  1 02:37:27 2022 +
Commit: Maciej Barć  gentoo  org>
CommitDate: Tue Nov  1 02:38:07 2022 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=2d8d51fc

dev-lang/idris2: bump to 0.6.0

Signed-off-by: Maciej Barć  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 ..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}" == ** ]] ; 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

[gentoo-commits] repo/gentoo:master commit in: dev-lang/idris2/

2022-09-20 Thread Maciej Barć 
commit: 13fca1a0d43c310d36ee087c610958f3157be59c
Author: Maciej Barć  gentoo  org>
AuthorDate: Wed Sep 21 00:40:00 2022 +
Commit: Maciej Barć  gentoo  org>
CommitDate: Wed Sep 21 01:32:05 2022 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=13fca1a0

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

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

 dev-lang/idris2/Manifest |   1 -
 dev-lang/idris2/idris2-0.5.1_p2022-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_p2022.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_p2022-r1.ebuild 
b/dev-lang/idris2/idris2-0.5.1_p2022-r1.ebuild
deleted file mode 100644
index 73c7651d40ea..
--- a/dev-lang/idris2/idris2-0.5.1_p2022-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}" == ** ]]; 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

[gentoo-commits] repo/gentoo:master commit in: dev-lang/idris2/

2022-09-20 Thread Maciej Barć 
commit: 37543217719631cd6d23892efbee57d703c81f20
Author: Maciej Barć  gentoo  org>
AuthorDate: Wed Sep 21 00:39:37 2022 +
Commit: Maciej Barć  gentoo  org>
CommitDate: Wed Sep 21 01:32:05 2022 +
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ć  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_p2022.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 ..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}" == ** ]] ; 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()

[gentoo-commits] repo/gentoo:master commit in: dev-lang/idris2/

2022-05-05 Thread Maciej Barć 
commit: c9773b9265fb76048213bd456e0dd42d481fe687
Author: Maciej Barć  gentoo  org>
AuthorDate: Thu May  5 12:20:41 2022 +
Commit: Maciej Barć  gentoo  org>
CommitDate: Thu May  5 12:22:05 2022 +
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ć  gentoo.org>

 ...ris2-0.5.1_p2022.ebuild => idris2-0.5.1_p2022-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_p2022.ebuild 
b/dev-lang/idris2/idris2-0.5.1_p2022-r1.ebuild
similarity index 95%
rename from dev-lang/idris2/idris2-0.5.1_p2022.ebuild
rename to dev-lang/idris2/idris2-0.5.1_p2022-r1.ebuild
index 762d534c28a4..73c7651d40ea 100644
--- a/dev-lang/idris2/idris2-0.5.1_p2022.ebuild
+++ b/dev-lang/idris2/idris2-0.5.1_p2022-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="

[gentoo-commits] repo/gentoo:master commit in: dev-lang/idris2/

2022-02-26 Thread Maciej Barć 
commit: 54b96730fdbc650afa87f069389d743518c7ac88
Author: Maciej Barć  gentoo  org>
AuthorDate: Sun Feb 27 00:12:03 2022 +
Commit: Maciej Barć  gentoo  org>
CommitDate: Sun Feb 27 00:12:20 2022 +
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ć  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_p2022.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 ..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}" == ** ]] ; 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

[gentoo-commits] repo/gentoo:master commit in: dev-lang/idris2/

2022-01-31 Thread Maciej Barć 
commit: 50f782a3b8fcc501e244640e80ccc02ed0337844
Author: Maciej Barć  gentoo  org>
AuthorDate: Tue Feb  1 03:27:11 2022 +
Commit: Maciej Barć  gentoo  org>
CommitDate: Tue Feb  1 03:46:50 2022 +
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ć  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_p2022.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 ..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}" == ** ]] ; 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
+}

[gentoo-commits] repo/gentoo:master commit in: dev-lang/idris2/

2021-12-27 Thread Maciej Barć 
commit: bbaacd6e91d8924ff601a62a7fe351cc4bd41ede
Author: Maciej Barć  gentoo  org>
AuthorDate: Mon Dec 27 15:57:59 2021 +
Commit: Maciej Barć  gentoo  org>
CommitDate: Mon Dec 27 15:59:33 2021 +
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ć  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 @@
 sch...@gentoo.org
 Gentoo Scheme Project
   
-  
+  
 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.
   
   
-https://github.com/idris-lang/Idris2/issues
+https://github.com/idris-lang/Idris2/issues/
+
+  https://github.com/idris-lang/Idris2/blob/main/CHANGELOG.md
+
 idris-lang/Idris2

[gentoo-commits] repo/gentoo:master commit in: dev-lang/idris2/

2021-11-27 Thread Maciej Barć 
commit: 283170e2f7762199a1c7bed9ca4b65d623d513b2
Author: Maciej Barć  gentoo  org>
AuthorDate: Sat Nov 27 21:59:08 2021 +
Commit: Maciej Barć  gentoo  org>
CommitDate: Sat Nov 27 21:59:17 2021 +
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ć  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 @@
   
   
 https://github.com/idris-lang/Idris2/issues
-idris-lang/Idris2>
+idris-lang/Idris2
   
   
 build using dev-scheme/chez

[gentoo-commits] repo/gentoo:master commit in: dev-lang/idris2/

2021-11-27 Thread Maciej Barć 
commit: 793a720cdcd065874d2beb7efcad20e208b65bf7
Author: Maciej Barć  gentoo  org>
AuthorDate: Sat Nov 27 21:10:53 2021 +
Commit: Maciej Barć  gentoo  org>
CommitDate: Sat Nov 27 21:10:59 2021 +
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ć  gentoo.org>

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

diff --git a/dev-lang/idris2/idris2-0.5.1_p2022.ebuild 
b/dev-lang/idris2/idris2-0.5.1_p2022.ebuild
index 8069d5960163..762d534c28a4 100644
--- a/dev-lang/idris2/idris2-0.5.1_p2022.ebuild
+++ b/dev-lang/idris2/idris2-0.5.1_p2022.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
 }

[gentoo-commits] repo/gentoo:master commit in: dev-lang/idris2/

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

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

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

 dev-lang/idris2/Manifest  |   1 +
 dev-lang/idris2/idris2-0.5.1_p2022.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 ..ceffb317d5de
--- /dev/null
+++ b/dev-lang/idris2/Manifest
@@ -0,0 +1 @@
+DIST idris2-0.5.1_p2022.tar.gz 6202861 BLAKE2B 
189bf28c7a33281494edea9b2c0821a934000fe9ca6e929b3318fe33576553142e5ad8d81598249cc384c6e342491ccef0998f33a4f2940b80264f5a3e4b32b2
 SHA512 
3b419ddbdc4aa3a28d92bf204448090c168d6a844d570886f982129f9e650c7112bbf95b727baf6c9f0f2fd6200c75eb68b6b71fd8684e01365eaf964dea1ea1

diff --git a/dev-lang/idris2/idris2-0.5.1_p2022.ebuild 
b/dev-lang/idris2/idris2-0.5.1_p2022.ebuild
new file mode 100644
index ..8069d5960163
--- /dev/null
+++ b/dev-lang/idris2/idris2-0.5.1_p2022.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}" == ** ]]; 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 ..0c84b056b4e8
--- /dev/null
+++ b/dev-lang/idris2/metadata.xml
@@ -0,0 +1,27 @@
+
+http://www.gentoo.org/dtd/metadata.dtd;>
+
+
+  
+sch...@gentoo.org
+Gentoo Scheme Project
+  
+  
+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,