[gentoo-commits] repo/gentoo:master commit in: dev-ml/camlp5/

["Maciej Barć" <xgqt@gentoo.org>]

commit:     91f3de48e95bf526b2f691d420f1d45db94d745d
Author:     Maciej Barć <xgqt <AT> gentoo <DOT> org>
AuthorDate: Tue Jul  2 14:35:45 2024 +0000
Commit:     Maciej Barć <xgqt <AT> gentoo <DOT> org>
CommitDate: Tue Jul  2 14:50:27 2024 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=91f3de48

dev-ml/camlp5: drop old 7.12

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

 dev-ml/camlp5/Manifest           |  1 -
 dev-ml/camlp5/camlp5-7.12.ebuild | 61 ----------------------------------------
 2 files changed, 62 deletions(-)

diff --git a/dev-ml/camlp5/Manifest b/dev-ml/camlp5/Manifest
index 957f543df2e6..52c23aa55fe9 100644
--- a/dev-ml/camlp5/Manifest
+++ b/dev-ml/camlp5/Manifest
@@ -1,5 +1,4 @@
 DIST camlp5-7.11.tar.gz 878224 BLAKE2B f384764da43653a2f75664681a4f202ec84497720470a0a33f99fc61a1ce7b4a9d494ffe6b523c74906c122ee04ae25a08bf1fcd356145e85a11e3e3095bbf7d SHA512 109a43f0a3aaa7a3ba9bd51b1fc1273b054d32787e189b138d69b39c42642b480c13abb9e91f15e6b6e889eaf4dc422ad3ff51e4dee298fb9d8cd9a2db99c159
-DIST camlp5-7.12.tar.gz 1008350 BLAKE2B 8f390f6d617a6ef029462aa74ca4d80c0e2eb267bb6957aac43fdecc425aae34dfc7f3e572c8a1f4ee6b032dd90b3b8262094f80a19ea0bb19b80a88d22d3f28 SHA512 233d973b0a968a7812b977e8a37da8e8daa0f3ef81ca7c473d83c1602380dae6c14f94daffb6bb799f8d90fab121238a46e89a233202cd6f622b0da2f728c0c0
 DIST camlp5-8.00.04.tar.gz 1232659 BLAKE2B 47dd18e9c518b0dccda62d054d7950dffa025a129c81eb673e6caf11f37c2af1644de861288af2ecb8e95ee4d21bf0a1d69da4fe9ed5b3d1cf3bf1012ea06d4c SHA512 0951a9528c8c9b4becf54b352a6f897cb1af26de437a137757d597a3a2ad8aef1160a3c326c9503f783bccd154d8c14a354d3a35baae2bb551611697ce4f5327
 DIST camlp5-8.00.05.tar.gz 1237587 BLAKE2B 1028b1e77a048a6b2e8df4ab58171d4e182a21aa1ca01113fc0cb8b7e6f61b5db58e8c3a2f149d05c056fbd48c0c0d97e597121e4b2b55d62f1f62d80e92312b SHA512 f4cee1fba85dc3a7479929facd79d0b88f23de575107886a8d4c41cd4a0bee21ccc72f2791712635e401ca10c3ec24cfea32558eca09ba6616e01e8433c57bbe
 DIST camlp5-8.02.00.tar.gz 1260249 BLAKE2B d205cf29207c925bc52098c9e1e74c76b851c71514bc7ae6f6c1ff3c7bf971f7cf6974625c484d2ddf252d0befc557e3b2dd7134e8f5bed270d59d40f15be9a8 SHA512 6e3caccc780f8de1d5804ae8f5700d29255f968f7f8ee3f9ef6f3456883d63aeb0abe797233823fd368b40b74feb1f537c3a61ce35d0c9c2737ab06743a09ddd

diff --git a/dev-ml/camlp5/camlp5-7.12.ebuild b/dev-ml/camlp5/camlp5-7.12.ebuild
deleted file mode 100644
index 8efd1340c1e7..000000000000
--- a/dev-ml/camlp5/camlp5-7.12.ebuild
+++ /dev/null
@@ -1,61 +0,0 @@
-# Copyright 1999-2022 Gentoo Authors
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI=7
-
-inherit findlib vcs-clean
-
-DESCRIPTION="A preprocessor-pretty-printer of ocaml"
-HOMEPAGE="https://camlp5.github.io/"
-SRC_URI="https://github.com/camlp5/camlp5/archive/rel$(ver_rs 1- '').tar.gz -> ${P}.tar.gz"
-S="${WORKDIR}/${PN}-rel$(ver_rs 1- '')"
-
-LICENSE="BSD"
-SLOT="0/${PV}"
-KEYWORDS="~amd64 ~arm ~arm64 ~ppc ~ppc64 ~x86"
-IUSE="doc +ocamlopt"
-
-DEPEND="
-	<dev-lang/ocaml-4.11.2:=[ocamlopt?]
-"
-RDEPEND="${DEPEND}"
-
-PATCHES=( "${FILESDIR}/${PN}-7.12-destdir.patch" )
-
-camlp5_hack_ocaml_support() {
-	ln -s "${1}"    "ocaml_stuff/${2}"              || die
-	ln -s "${1}.ml" "ocaml_src/lib/versdep/${2}.ml" || die
-}
-
-src_prepare() {
-	egit_clean
-	default
-	camlp5_hack_ocaml_support 4.11.0 4.11.1
-}
-
-src_configure() {
-	./configure \
-		--strict \
-		-prefix /usr \
-		-bindir /usr/bin \
-		-libdir /usr/$(get_libdir)/ocaml \
-		-mandir /usr/share/man || die "configure failed"
-}
-
-src_compile() {
-	emake out
-	if use ocamlopt; then
-		emake  opt
-		emake  opt.opt
-	fi
-}
-
-src_install() {
-	emake DESTDIR="${D}" install
-	# findlib support
-	insinto "$(ocamlfind printconf destdir)/${PN}"
-	doins etc/META
-
-	dodoc -r doc/*
-	dodoc CHANGES DEVEL ICHANGES README.md UPGRADING MODE
-}