summaryrefslogtreecommitdiff
path: root/dev-ml
diff options
context:
space:
mode:
authorAlexis Ballier <aballier@gentoo.org>2017-08-09 13:55:09 +0200
committerAlexis Ballier <aballier@gentoo.org>2017-08-10 15:02:41 +0200
commitf99d4399d46227ce636277f2e06e228e19e94f07 (patch)
treebf04b566f68e3d98d4e839e2bb1f7b23f11bd191 /dev-ml
parentdev-python/libnacl: Version bump to 1.5.2 (diff)
downloadgentoo-f99d4399d46227ce636277f2e06e228e19e94f07.tar.gz
gentoo-f99d4399d46227ce636277f2e06e228e19e94f07.tar.bz2
gentoo-f99d4399d46227ce636277f2e06e228e19e94f07.zip
dev-ml/cmdliner: bump to 1.0.2
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-1.0.2.ebuild43
2 files changed, 44 insertions, 0 deletions
diff --git a/dev-ml/cmdliner/Manifest b/dev-ml/cmdliner/Manifest
index 0b4d8102deb8..5d339d40ce88 100644
--- a/dev-ml/cmdliner/Manifest
+++ b/dev-ml/cmdliner/Manifest
@@ -1,2 +1,3 @@
DIST cmdliner-1.0.0.tbz 46542 SHA256 3df9a78a1fa966ba0cfbc4195f0e4dc8d0ff67a4ed23aa1807ef47a0233ed6e7 SHA512 3fc87e49504167864ba4d81fde7bbaa01b7d58b06e2b68b36647857590f41fdc8b3bbd547418f8159b0e76628236b5c30301404b3d8d57e2ff3f082228eee73c WHIRLPOOL 866c6aa188787ec384ea099406e4b82998892ee7513339b0d5f514cc14e98a1f2cd0d8b2b6a852d9b80897aa60f182b75caf35f97d58e98b394f9d1c60fe3de8
DIST cmdliner-1.0.1.tbz 46614 SHA256 e9964972ac3a6f0636575fe16ac4a5df15392904e51d60c281f72c00e148448c SHA512 b792dab3a7f53f69d74d07acbb013e48235614e29a477b7e9e7d7b58013d47ff842fbaeef50acda305434185325855ef83d839d5acb0ccf460276f0ca880ee7b WHIRLPOOL e25ff8769e004d0dc1138c7d86fb92a7a18b44df43b2ed8826db1c09062619105d3a712985c6edbecf0280ce89cdc0a375527f3c9bbc96400a2566593221fe8c
+DIST cmdliner-1.0.2.tbz 47350 SHA256 414ea2418fca339590abb3c18b95e7715c1086a1f7a32713a492ba1825bc58a2 SHA512 d718d9abe4fe0ea0e7453ed09e57de2a427cc450225cf2b56513d99af4b4218c3fe96ab08dcebd202b9ecf25a471bb7c67511262f35148dfe15684421be6d743 WHIRLPOOL 15a012bf2685fad71ddb03c9bf64b11aa4ccc80e7698683910319239abb38bc61d4c7199f685753ebb58cbccd2fb053790b84249a57f00f748d72c20a07a8d11
diff --git a/dev-ml/cmdliner/cmdliner-1.0.2.ebuild b/dev-ml/cmdliner/cmdliner-1.0.2.ebuild
new file mode 100644
index 000000000000..262192ca7b53
--- /dev/null
+++ b/dev-ml/cmdliner/cmdliner-1.0.2.ebuild
@@ -0,0 +1,43 @@
+# 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="ISC"
+SLOT="0/${PV}"
+KEYWORDS="~amd64 ~arm ~arm64 ~ppc ~x86"
+IUSE="+ocamlopt test"
+
+RDEPEND="
+ >=dev-lang/ocaml-4:=[ocamlopt?]
+ dev-ml/result:=
+"
+DEPEND="${RDEPEND}
+ dev-ml/topkg
+ dev-ml/ocamlbuild"
+
+src_compile() {
+ ocaml pkg/pkg.ml build \
+ --tests $(usex test true false) \
+ || die
+}
+
+src_test() {
+ ocaml pkg/pkg.ml test || 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 CHANGES.md
+}