diff options
Diffstat (limited to 'dev-ml/cmdliner')
| -rw-r--r-- | dev-ml/cmdliner/ChangeLog | 11 | ||||
| -rw-r--r-- | dev-ml/cmdliner/cmdliner-0.9.5.ebuild | 37 | ||||
| -rw-r--r-- | dev-ml/cmdliner/metadata.xml | 5 |
3 files changed, 53 insertions, 0 deletions
diff --git a/dev-ml/cmdliner/ChangeLog b/dev-ml/cmdliner/ChangeLog new file mode 100644 index 000000000000..13bc9d3d1bf9 --- /dev/null +++ b/dev-ml/cmdliner/ChangeLog @@ -0,0 +1,11 @@ +# ChangeLog for dev-ml/cmdliner +# Copyright 1999-2014 Gentoo Foundation; Distributed under the GPL v2 +# $Header: /var/cvsroot/gentoo-x86/dev-ml/cmdliner/ChangeLog,v 1.1 2014/10/29 08:32:31 aballier Exp $ + +*cmdliner-0.9.5 (29 Oct 2014) + + 29 Oct 2014; Alexis Ballier <aballier@gentoo.org> +cmdliner-0.9.5.ebuild, + +metadata.xml: + initial import, ebuild by Guillaume Horel in bug #520060 with a few + modifications by me + diff --git a/dev-ml/cmdliner/cmdliner-0.9.5.ebuild b/dev-ml/cmdliner/cmdliner-0.9.5.ebuild new file mode 100644 index 000000000000..ecca3a943a5a --- /dev/null +++ b/dev-ml/cmdliner/cmdliner-0.9.5.ebuild @@ -0,0 +1,37 @@ +# Copyright 1999-2014 Gentoo Foundation +# Distributed under the terms of the GNU General Public License v2 +# $Header: /var/cvsroot/gentoo-x86/dev-ml/cmdliner/cmdliner-0.9.5.ebuild,v 1.1 2014/10/29 08:32:31 aballier Exp $ + +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" +IUSE="doc +ocamlopt" + +DEPEND=">=dev-lang/ocaml-3.12:=[ocamlopt?]" +RDEPEND="${DEPEND}" + +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/ +} diff --git a/dev-ml/cmdliner/metadata.xml b/dev-ml/cmdliner/metadata.xml new file mode 100644 index 000000000000..2193d772e351 --- /dev/null +++ b/dev-ml/cmdliner/metadata.xml @@ -0,0 +1,5 @@ +<?xml version="1.0" encoding="UTF-8"?> +<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd"> +<pkgmetadata> +<herd>ml</herd> +</pkgmetadata> |