diff options
| author |   Alexis Ballier <aballier@gentoo.org> | 2014-10-29 08:32:35 +0000 |
|---|---|---|
| committer | Alexis Ballier <aballier@gentoo.org> | 2014-10-29 08:32:35 +0000 |
| commit | 45fc2f1463056521138a96d3680146daef48eb4e (patch) | |
| tree | a3040de30cb6e183ee2a74a10969e0ee5312d3ca /dev-ml/cmdliner | |
| parent | Bump -7.1 development version (diff) | |
| download | historical-45fc2f1463056521138a96d3680146daef48eb4e.tar.gz historical-45fc2f1463056521138a96d3680146daef48eb4e.tar.bz2 historical-45fc2f1463056521138a96d3680146daef48eb4e.zip | |
initial import, ebuild by Guillaume Horel in bug #520060 with a few modifications by me
Signed-off-by: aballier@gentoo.org
Package-Manager: portage-2.2.14/cvs/Linux x86_64
Manifest-Sign-Key: 0x160F534A
Diffstat (limited to 'dev-ml/cmdliner')
| -rw-r--r-- | dev-ml/cmdliner/ChangeLog | 11 | ||||
| -rw-r--r-- | dev-ml/cmdliner/Manifest | 14 | ||||
| -rw-r--r-- | dev-ml/cmdliner/cmdliner-0.9.5.ebuild | 37 | ||||
| -rw-r--r-- | dev-ml/cmdliner/metadata.xml | 5 |
4 files changed, 67 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/Manifest b/dev-ml/cmdliner/Manifest new file mode 100644 index 000000000000..a77684cf4527 --- /dev/null +++ b/dev-ml/cmdliner/Manifest @@ -0,0 +1,14 @@ +-----BEGIN PGP SIGNED MESSAGE----- +Hash: SHA256 + +DIST cmdliner-0.9.5.tbz 47938 SHA256 a0e199c4930450e12edf81604eeceddeeb32d55c43438be689e60df282277a7e SHA512 37d6b417d1b722a03e5bd693a4d9484d3d09574ac2792660caa5fa99b7589acd6da8d14af85e073cc11cb8de6149740538a8ee61f2a730aedec43ed1033454d2 WHIRLPOOL ffcc72fc0bfc4d39e290d3028684f1b20d11d7b630661da62449747040bb93bd65e0451fbdba7037d3a1888e58138beaaa3401ad105b6ac96c66f28c036811ce +EBUILD cmdliner-0.9.5.ebuild 1097 SHA256 f18fc7d96de3d909c4ce3f06523474ca4099f81676b421616416fc57e132c689 SHA512 2bf1d5d997a043e85a6c02e8cd63db02700a2a247938d81c164a8721313191930b40b4ce88d27a8fc5ceb359b36195774eb88cc519a6e8afe315c4066b258196 WHIRLPOOL 30e1dc1316eb2dc46fe3faccbeb5e18fc479236b1011f988d81381330c0497a6a90c4ae0cbc1e1315166983be682f8a8a5a4f1679c799da046e0a1553daef8b3 +MISC ChangeLog 422 SHA256 43d896464ec43b8d22fd5e93800a4d599ae50b4218be020221bdcfdc10b11af4 SHA512 9613b1e5b8ba7132121a76b930353f824660ab9c12163c32cb80a0ffd11290e1439792857166777c2c466c828fa2638f462449fe9c8d419a4906e8fc49ef935a WHIRLPOOL 1b79b8779d17a80ca962b2a2404a4d5c6ae6eecc36697885f21a6eec85be020f5f784613f96b775c18ff1a85bb7326618eff2989d408262d909a05b23224dd7b +MISC metadata.xml 155 SHA256 118048376ebb76f57628b0819f3de4856e73959c2578c88715d37ea2d1e0af81 SHA512 a525f91dd332fc144c42d1437bdae9c889cbcece6294c2d2f4baf6a532ac2e13492736e75b41c83fac31033a9ae53c37deb96286a5ab8575611136617640952c WHIRLPOOL 71a9c7aaf4e268c65c0d1e30e343911ccbcf99ef8c23773abc2b3af8d58d9f7d5c09632805d8ba9050c09eef629f2b340db9eb9ba8b9cd2e5d655fce3f91fcb6 +-----BEGIN PGP SIGNATURE----- +Version: GnuPG v2 + +iEYEAREIAAYFAlRQpiAACgkQvFcC4BYPU0pA6wCePxyZCzcb1pZX8bKvI1dPSnHU +HC4AniMlCKUE6+RaUeUbVXmGEO53M4Np +=66nR +-----END PGP SIGNATURE----- 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> |