[gentoo-commits] repo/proj/guru:dev commit in: dev-lang/idris2/
commit: 70324d1a2e9d3496f1c51e67b3ba5962f5e3ef7c Author: Maciej Barć gentoo org> AuthorDate: Sat Nov 27 20:20:18 2021 + Commit: Maciej Barć gentoo org> CommitDate: Sat Nov 27 20:20:18 2021 + URL:https://gitweb.gentoo.org/repo/proj/guru.git/commit/?id=70324d1a dev-lang: move idris2 to ::gentoo Signed-off-by: Maciej Barć gentoo.org> dev-lang/idris2/Manifest | 2 - dev-lang/idris2/idris2-0.5.1.ebuild | 108 - dev-lang/idris2/idris2-0.5.1_p2022.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..0 --- 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_p2022.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..0 --- 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}" == ** ]]; 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_p2022.ebuild b/dev-lang/idris2/idris2-0.5.1_p2022.ebuild deleted file mode 100644 index 559d2866d..0 --- a/dev-lang/idris2/idris2-0.5.1_p2022.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
[gentoo-commits] repo/proj/guru:dev commit in: dev-lang/idris2/
commit: b51b6cd343dced4b7ff2fe5cfa15fd9d0443ddc7 Author: Maciej Barć riseup net> AuthorDate: Sun Nov 21 20:57:13 2021 + Commit: Maciej Barć riseup net> CommitDate: Sun Nov 21 20:57:26 2021 + 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ć riseup.net> dev-lang/idris2/idris2-0.5.1.ebuild | 8 dev-lang/idris2/idris2-0.5.1_p2022.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_p2022.ebuild b/dev-lang/idris2/idris2-0.5.1_p2022.ebuild index 738a60d0f..559d2866d 100644 --- a/dev-lang/idris2/idris2-0.5.1_p2022.ebuild +++ b/dev-lang/idris2/idris2-0.5.1_p2022.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 ) "
[gentoo-commits] repo/proj/guru:dev commit in: dev-lang/idris2/
commit: 860c53c5064412b7e75687b7c73bba0a9659f289 Author: Maciej Barć riseup net> AuthorDate: Fri Nov 12 10:45:58 2021 + Commit: Maciej Barć riseup net> CommitDate: Fri Nov 12 10:45:58 2021 + URL:https://gitweb.gentoo.org/repo/proj/guru.git/commit/?id=860c53c5 dev-lang/idris2: bump to 0.5.1_p2022 Package-Manager: Portage-3.0.28, Repoman-3.0.3 Signed-off-by: Maciej Barć riseup.net> dev-lang/idris2/Manifest | 1 + dev-lang/idris2/idris2-0.5.1_p2022.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_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 0..738a60d0f --- /dev/null +++ b/dev-lang/idris2/idris2-0.5.1_p2022.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}" == ** ]]; 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 +}
[gentoo-commits] repo/proj/guru:dev commit in: dev-lang/idris2/
commit: e2e4ee90303beffcb8f7f782dd287a5295887ca4 Author: Maciej Barć riseup net> AuthorDate: Fri Nov 12 08:16:26 2021 + Commit: Maciej Barć riseup net> CommitDate: Fri Nov 12 08:16:26 2021 + 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ć 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
[gentoo-commits] repo/proj/guru:dev commit in: dev-lang/idris2/
commit: 01357cba101b74171e9b1acb41a7dd04ac104bab Author: Maciej Barć riseup net> AuthorDate: Fri Nov 12 05:29:41 2021 + Commit: Maciej Barć riseup net> CommitDate: Fri Nov 12 05:29:41 2021 + URL:https://gitweb.gentoo.org/repo/proj/guru.git/commit/?id=01357cba dev-lang/idris2: fix *DEPEND Signed-off-by: Maciej Barć 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 )
[gentoo-commits] repo/proj/guru:dev commit in: dev-lang/idris2/
commit: f19bc995e90dfcd4e5e265ac50efce38b672efb1 Author: Maciej Barć riseup net> AuthorDate: Fri Nov 12 05:24:38 2021 + Commit: Maciej Barć riseup net> CommitDate: Fri Nov 12 05:24:52 2021 + 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ć 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 0..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 0..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}" == ** ]]; 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 0..66edc68e0 --- /dev/null +++ b/dev-lang/idris2/metadata.xml @@ -0,0 +1,27 @@ + +http://www.gentoo.org/dtd/metadata.dtd;> + + + +x...@riseup.net +Maciej Barć + + +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. + + +https://github.com/idris-lang/Idris2/issues +idris-lang/Idris2> + + +build using