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