summaryrefslogtreecommitdiff
path: root/dev-ml
diff options
context:
space:
mode:
authorAlexis Ballier <aballier@gentoo.org>2017-08-02 12:32:40 +0200
committerAlexis Ballier <aballier@gentoo.org>2017-08-02 13:22:43 +0200
commit619c830dd742b27198272d760f0da4b213067082 (patch)
tree342289a07728e57ac99855c20ccceb1ecf1de392 /dev-ml
parentdev-ml/cmdliner: keyword ~x86 (diff)
downloadgentoo-619c830dd742b27198272d760f0da4b213067082.tar.gz
gentoo-619c830dd742b27198272d760f0da4b213067082.tar.bz2
gentoo-619c830dd742b27198272d760f0da4b213067082.zip
dev-ml/cmdliner: Remove old
Package-Manager: Portage-2.3.6, Repoman-2.3.3
Diffstat (limited to 'dev-ml')
-rw-r--r--dev-ml/cmdliner/Manifest1
-rw-r--r--dev-ml/cmdliner/cmdliner-0.9.8.ebuild37
2 files changed, 0 insertions, 38 deletions
diff --git a/dev-ml/cmdliner/Manifest b/dev-ml/cmdliner/Manifest
index a27331ea4f0e..4419ec5028e7 100644
--- a/dev-ml/cmdliner/Manifest
+++ b/dev-ml/cmdliner/Manifest
@@ -1,2 +1 @@
-DIST cmdliner-0.9.8.tbz 53249 SHA256 7dfaafdd88ec9d96abf8ded4c0ea7111948194400220a56e4bb44a1edfa4bd41 SHA512 6c71c360eaba7f7127e422a71a00a830a086f1d6750897bea0ebc1cc10f8fdaf9e9532d354abd84dbc6c5fcc1878f19d3f424fd9335e7226b625b63b51c89cab WHIRLPOOL 25739c09f78cc8ade6d0e5805f48eb14a6c42f0891832747caef44fc6135c81feaa0055b2874256bde2270753106c60accd50c24771333c2cb16913d9bd38c3d
DIST cmdliner-1.0.0.tbz 46542 SHA256 3df9a78a1fa966ba0cfbc4195f0e4dc8d0ff67a4ed23aa1807ef47a0233ed6e7 SHA512 3fc87e49504167864ba4d81fde7bbaa01b7d58b06e2b68b36647857590f41fdc8b3bbd547418f8159b0e76628236b5c30301404b3d8d57e2ff3f082228eee73c WHIRLPOOL 866c6aa188787ec384ea099406e4b82998892ee7513339b0d5f514cc14e98a1f2cd0d8b2b6a852d9b80897aa60f182b75caf35f97d58e98b394f9d1c60fe3de8
diff --git a/dev-ml/cmdliner/cmdliner-0.9.8.ebuild b/dev-ml/cmdliner/cmdliner-0.9.8.ebuild
deleted file mode 100644
index f84963e5465f..000000000000
--- a/dev-ml/cmdliner/cmdliner-0.9.8.ebuild
+++ /dev/null
@@ -1,37 +0,0 @@
-# Copyright 1999-2017 Gentoo Foundation
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI=5
-
-inherit findlib
-
-DESCRIPTION="Declarative definition of command line interfaces for OCaml"
-HOMEPAGE="http://erratique.ch/software/cmdliner"
-SRC_URI="http://erratique.ch/software/${PN}/releases/${P}.tbz"
-
-LICENSE="BSD"
-SLOT="0/${PV}"
-KEYWORDS="~amd64 ~arm ~ppc"
-IUSE="doc +ocamlopt"
-
-RDEPEND=">=dev-lang/ocaml-4:=[ocamlopt?]"
-DEPEND="${RDEPEND}
- dev-ml/ocamlbuild"
-
-src_compile() {
- ocaml pkg/build.ml \
- native=$(usex ocamlopt true false) \
- native-dynlink=$(usex ocamlopt true false) \
- || die
-}
-
-src_install() {
- # Can't use opam-installer here as it is an opam dep...
- findlib_src_preinst
- local nativelibs=""
- use ocamlopt && nativelibs="$(echo _build/src/cmdliner.cm{x,xa,xs} _build/src/cmdliner.a)"
- ocamlfind install cmdliner _build/pkg/META \
- _build/src/cmdliner.mli _build/src/cmdliner.cm{a,i} ${nativelibs} || die
- dodoc README.md TODO.md CHANGES.md
- use doc && dohtml -r doc/
-}