summaryrefslogtreecommitdiff
path: root/dev-ml
diff options
context:
space:
mode:
authorMaciej Barć <xgqt@gentoo.org>2023-08-05 17:38:53 +0200
committerMaciej Barć <xgqt@gentoo.org>2023-08-05 18:53:01 +0200
commit40811958f0c00561db03c8240233b9542cd0b90b (patch)
tree2a5585ac4a1a793d45a7643b775bde009f0ba915 /dev-ml
parentdev-lang/elpi: bump to 1.17.0 (diff)
downloadgentoo-40811958f0c00561db03c8240233b9542cd0b90b.tar.gz
gentoo-40811958f0c00561db03c8240233b9542cd0b90b.tar.bz2
gentoo-40811958f0c00561db03c8240233b9542cd0b90b.zip
dev-ml/utop: drop old 2.9.2
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Diffstat (limited to 'dev-ml')
-rw-r--r--dev-ml/utop/Manifest1
-rw-r--r--dev-ml/utop/utop-2.9.2.ebuild63
2 files changed, 0 insertions, 64 deletions
diff --git a/dev-ml/utop/Manifest b/dev-ml/utop/Manifest
index b559bb3c828f..0c73adaed46e 100644
--- a/dev-ml/utop/Manifest
+++ b/dev-ml/utop/Manifest
@@ -1,3 +1,2 @@
DIST utop-2.11.0.tar.gz 416351 BLAKE2B 14d407bd79f83b9b0307ec34ec9330e625e0e5fbc4b4091f98a45d90ff6225c292b6d764746273a5b7e7abda74c83852056f470d8f2f3b16fffc16569ecc6f98 SHA512 ebc27219b0345ab1478499221756806874c430f81aa9f40e7d482d0fd948750919d631b6159faec19fef0d23d14e6a115e6b21a5aa724ce1534e000e5d35bdae
DIST utop-2.12.1.tar.gz 416596 BLAKE2B a8a31c91fd4f989e3d89bc736caa7b611ba0ccc2de905adcd1cf59fff87770d5a00c2d7a43462940269ae8be2f5980fa5b8d2ec7ba547b937cc1e6a579621f2f SHA512 cc52bdb2a58141e6f7b678c93f69b0aa5ca4c628cb6841e02e6a783191a917bd838c06682d55f4f455a01a7004e43b5193d8574968b8400050b0f7b5a102ca3a
-DIST utop-2.9.2.tar.gz 421512 BLAKE2B 235b4739e644877e4b9eef432a00ba053f42f2b4d4fdd9b0bd925af736d9a351c8f9373031bc4fc23835872034d48a27b8eac99d286f57cb975d2b1368f420c8 SHA512 14dd690b459cfea90c565b397b5d914add7e92b152b476ab58576dc827fa204b3d721955bfc3508bcb953778a8d6fb3b299b0293f8ddf64b3f0155fc9a0e7fda
diff --git a/dev-ml/utop/utop-2.9.2.ebuild b/dev-ml/utop/utop-2.9.2.ebuild
deleted file mode 100644
index cd05e5fc7a0c..000000000000
--- a/dev-ml/utop/utop-2.9.2.ebuild
+++ /dev/null
@@ -1,63 +0,0 @@
-# Copyright 1999-2022 Gentoo Authors
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI=8
-
-inherit dune elisp-common
-
-DESCRIPTION="Universal toplevel for OCaml"
-HOMEPAGE="https://github.com/ocaml-community/utop"
-SRC_URI="https://github.com/ocaml-community/utop/archive/${PV}.tar.gz -> ${P}.tar.gz"
-
-LICENSE="BSD"
-SLOT="0/${PV}"
-KEYWORDS="~amd64 ~x86"
-IUSE="emacs +ocamlopt"
-
-ELISP_DEPEND="
- emacs? (
- >=app-editors/emacs-24:*
- >=app-emacs/tuareg-mode-2.2.0
- )
-"
-DEPEND="
- dev-ml/camomile:=
- dev-ml/lambda-term:=
- dev-ml/lwt:=
- dev-ml/react:=
-"
-RDEPEND="
- ${DEPEND}
- ${ELISP_DEPEND}
-"
-BDEPEND="
- dev-ml/cppo
- dev-ml/findlib
- ${ELISP_DEPEND}
-"
-
-SITEFILE="50${PN}-gentoo.el"
-
-src_compile() {
- dune_src_compile
-
- use emacs &&
- BYTECOMPFLAGS="-L src/top" elisp-compile src/top/*.el
-}
-
-src_install() {
- dune_src_install
-
- if use emacs ; then
- elisp-install ${PN} src/top/*.el{,c}
- elisp-site-file-install "${FILESDIR}/${SITEFILE}"
- fi
-}
-
-pkg_postinst() {
- use emacs && elisp-site-regen
-}
-
-pkg_postrm() {
- use emacs && elisp-site-regen
-}