diff options
| author |   Alfredo Tupone <tupone@gentoo.org> | 2023-07-16 21:30:24 +0200 |
|---|---|---|
| committer | Alfredo Tupone <tupone@gentoo.org> | 2023-07-16 21:31:21 +0200 |
| commit | e9aea4400603519952563c976926c827630acc5f (patch) | |
| tree | 3188e2c9801f60f938b172b9ce5a12d597e622aa /dev-ml/cmdliner | |
| parent | net-dns/inadyn: Keyword 2.11.0 ppc64, #909765 (diff) | |
| download | gentoo-e9aea4400603519952563c976926c827630acc5f.tar.gz gentoo-e9aea4400603519952563c976926c827630acc5f.tar.bz2 gentoo-e9aea4400603519952563c976926c827630acc5f.zip | |
dev-ml/cmdliner: add 1.2.0
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Diffstat (limited to 'dev-ml/cmdliner')
| -rw-r--r-- | dev-ml/cmdliner/Manifest | 1 | ||||
| -rw-r--r-- | dev-ml/cmdliner/cmdliner-1.2.0.ebuild | 42 |
2 files changed, 43 insertions, 0 deletions
diff --git a/dev-ml/cmdliner/Manifest b/dev-ml/cmdliner/Manifest index 1ede64e7fc7d..691357382e1a 100644 --- a/dev-ml/cmdliner/Manifest +++ b/dev-ml/cmdliner/Manifest @@ -1,2 +1,3 @@ DIST cmdliner-1.0.4.tbz 49558 BLAKE2B 8ea922a22d08fc4cce6c0aff1adff9a2fcdaee8e13b7bdfad4a08b459e8a6557761fa70c9e34100bc8baaa4113e5729f2daf297fc1f618bd8c30b9323bb87ba2 SHA512 4cd1cc0932b8bbd607160cc9816b35c12a68a358a35ffcb6827f547052dc517e871a91ddbaed0447cb1fa5fdf510cdf5d760e8e5c1e4548f82e1d523e2b3ecb3 DIST cmdliner-1.1.1.tbz 58054 BLAKE2B 1c3d3c836d390490d0470cae1545a8ea6bd3ee2b10d33e02fbbad5c47cf5c1fb9104f05a32119580af57358e0cdd9b17fa319a7fe62a9de9f6b504d9f0300513 SHA512 5478ad833da254b5587b3746e3a8493e66e867a081ac0f653a901cc8a7d944f66e4387592215ce25d939be76f281c4785702f54d4a74b1700bc8838a62255c9e +DIST cmdliner-1.2.0.tbz 58504 BLAKE2B bc5be67fff2d83408b8537fbb7472c3811452df5cf89dd3d175fa052629339ac960d12e751cca3d8f750c6bd8bb43df645f976477597b9a5609577a73bbb00e0 SHA512 6fcd6a59a6fbc6986b1aecdc3e4ce7a0dc43c65a16b427d6caa5504b10b51384f6b0bc703af646b09f5f1caeb6827b37d4480ce350ca8006204c850785f2810b diff --git a/dev-ml/cmdliner/cmdliner-1.2.0.ebuild b/dev-ml/cmdliner/cmdliner-1.2.0.ebuild new file mode 100644 index 000000000000..b8b42c2d8a4e --- /dev/null +++ b/dev-ml/cmdliner/cmdliner-1.2.0.ebuild @@ -0,0 +1,42 @@ +# Copyright 1999-2023 Gentoo Authors +# Distributed under the terms of the GNU General Public License v2 + +EAPI=8 + +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 ~ppc64 ~riscv ~x86" +IUSE="+ocamlopt" + +RDEPEND=" + >=dev-lang/ocaml-4.08.00:=[ocamlopt?] + dev-ml/result:= + dev-ml/findlib:= +" +DEPEND="${RDEPEND} + dev-ml/topkg + dev-ml/ocamlbuild" + +src_compile() { + emake build-byte + if use ocamlopt ; then + emake build-native-dynlink + emake build-native + fi +} + +src_install() { + # Can't use opam-installer here as it is an opam dep... + findlib_src_preinst + local nativelibs="" + use ocamlopt && nativelibs="$(echo _build/cmdliner.cm{x,xa,xs} _build/cmdliner.a)" + ocamlfind install cmdliner pkg/META \ + _build/cmdliner.mli _build/cmdliner.cm{a,i} ${nativelibs} || die + dodoc README.md CHANGES.md +} |