summaryrefslogtreecommitdiff
path: root/dev-ml
diff options
context:
space:
mode:
authorAaron Bauman <bman@gentoo.org>2020-12-02 11:28:04 -0500
committerAaron Bauman <bman@gentoo.org>2020-12-02 12:21:21 -0500
commit6c3e7d65dffa1769b3f83b90c2bb09e9d03daffb (patch)
tree8f974f4de02a7402eb4718303009049361284ea8 /dev-ml
parentdev-ml/easy-format: drop old (diff)
downloadgentoo-6c3e7d65dffa1769b3f83b90c2bb09e9d03daffb.tar.gz
gentoo-6c3e7d65dffa1769b3f83b90c2bb09e9d03daffb.tar.bz2
gentoo-6c3e7d65dffa1769b3f83b90c2bb09e9d03daffb.zip
dev-ml/extlib: drop old
Signed-off-by: Aaron Bauman <bman@gentoo.org>
Diffstat (limited to 'dev-ml')
-rw-r--r--dev-ml/extlib/Manifest1
-rw-r--r--dev-ml/extlib/extlib-1.7.2.ebuild47
2 files changed, 0 insertions, 48 deletions
diff --git a/dev-ml/extlib/Manifest b/dev-ml/extlib/Manifest
index f20093a16fb5..e1f5cb8efee6 100644
--- a/dev-ml/extlib/Manifest
+++ b/dev-ml/extlib/Manifest
@@ -1,4 +1,3 @@
DIST extlib-1.7.1.tar.gz 85397 BLAKE2B f2e924f651cc43ca29914c95400a26bfd062ecb4e7379d169533d394497215906b56e8f57ba29358965f0b8c125c33dcb9a0a95c09488404fd348261d075457f SHA512 42ea1be22a57ab31e5857df0c4c0f98a07e1b5958b34181cd5ab7c83ded112c208315d22cd3dd178d53e75ca109a70cb47ae479e95be8c47ea2087b1a158dc4d
-DIST extlib-1.7.2.tar.gz 85934 BLAKE2B fab7f5f99be414a83f46144bc8f2f54aeb545ef9041b62f227f9dafd267a3f8608b94388ffc39903b069ec7d481b4da8a6a2e9aa289c68263613cf64aa6a45e0 SHA512 d9f34f5bbd5e94a8dccc5bdbc1ec0e5015608675469c4f513461fa587a5eb7e1398542388fd885d7656591ca85ce30c0e2a9ee26b9722a9dd65189aac35d64ed
DIST extlib-1.7.6.tar.gz 88068 BLAKE2B 32376c09728ec7e7d762888ad706641b94bcc976f2e1f42f246ba79fe862b60df7ff924e1e22e89333d8f2e1d999deb71eee481c3c5919aa5d1e02731f64f323 SHA512 3065e2474fb0e480ed076aa1156584a4a6c839cd5d9e59f341e41113abb1736241354aa7ee7cb492967698bc392969522fd5bf30d1ad7f94754c4e10f376afa8
DIST extlib-1.7.7.tar.gz 88870 BLAKE2B fff84524ef227718d3908c5b65f4b781360cebc0dca3a8862aa11ea671499b45192c5106769e104d396118e3cdcd904ddce06df784f8fd0eadb7a2372ca3df94 SHA512 088a6c5bbe6530cd60e2276dc02592b69ad7ad685b752f0544c54b6246b8131238c6423ce7bfc81fe3ad1766f605ecf52fd3888d55cca63e22c947afedf610c5
diff --git a/dev-ml/extlib/extlib-1.7.2.ebuild b/dev-ml/extlib/extlib-1.7.2.ebuild
deleted file mode 100644
index 87f06dc98481..000000000000
--- a/dev-ml/extlib/extlib-1.7.2.ebuild
+++ /dev/null
@@ -1,47 +0,0 @@
-# Copyright 1999-2020 Gentoo Authors
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI=5
-
-inherit findlib eutils
-
-DESCRIPTION="Standard library extensions for O'Caml"
-HOMEPAGE="https://github.com/ygrek/ocaml-extlib"
-SRC_URI="https://github.com/ygrek/ocaml-extlib/archive/${PV}.tar.gz -> ${P}.tar.gz"
-LICENSE="LGPL-2.1"
-DEPEND="
- >=dev-lang/ocaml-3.10.2:=[ocamlopt?]
- dev-ml/cppo:=
-"
-RDEPEND="${DEPEND}"
-SLOT="0/${PV}"
-KEYWORDS="~amd64 ~arm64 ~ppc ~x86 ~amd64-linux ~x86-linux ~ppc-macos"
-IUSE="doc +ocamlopt"
-S="${WORKDIR}/ocaml-${P}"
-
-src_compile() {
- cd src
- emake -j1 all
- if use ocamlopt; then
- emake opt cmxs
- fi
-
- if use doc; then
- emake doc
- fi
-}
-
-src_test() {
- emake -j1 test
-}
-
-src_install() {
- findlib_src_install
-
- # install documentation
- dodoc README.md
-
- if use doc; then
- dohtml src/doc/*
- fi
-}