From 5e0a5ca921524f8859808527a57655eec16efa52 Mon Sep 17 00:00:00 2001 From: V3n3RiX Date: Tue, 18 Jul 2023 00:58:25 +0100 Subject: gentoo auto-resync : 18:07:2023 - 00:58:24 --- dev-ml/cmdliner/Manifest | 2 ++ dev-ml/cmdliner/cmdliner-1.2.0.ebuild | 42 +++++++++++++++++++++++++++++++++++ 2 files changed, 44 insertions(+) create mode 100644 dev-ml/cmdliner/cmdliner-1.2.0.ebuild (limited to 'dev-ml/cmdliner') diff --git a/dev-ml/cmdliner/Manifest b/dev-ml/cmdliner/Manifest index ef2f213e07b4..60f96bd8c726 100644 --- a/dev-ml/cmdliner/Manifest +++ b/dev-ml/cmdliner/Manifest @@ -1,5 +1,7 @@ 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 EBUILD cmdliner-1.0.4.ebuild 1066 BLAKE2B 39c29fe18bdeb8851cce528f0cfb81dc29e9e02b6ac6b344617273659bab2d683195f48e70b29b1500c61c558c137a167afce8af2638014584a8758cba3b2dcb SHA512 f49b74f362cb8da22cbc7f869a4118458bc4cd4456c70c8496411bf047b76b5366bdeb4651cce1e1d5d1e6abc26900ca9548103efbec30595222a0367efb4026 EBUILD cmdliner-1.1.1.ebuild 1003 BLAKE2B 8984058ede56dab67f18322cf7a2de1afad381b1eefcefb13672204beaa623b6c02799f44819d9677354e8342a70b6a59396540d7a4e3989fcd3b5470aff9be3 SHA512 8fce94a0c82ec8ab75318df738bdb7ed8cacc3b1d64864d28a53c87492b3324ab3c6dc9b9afd48beec7ae586a2eb8196317c0dc59a4df764f75b56fcb918c990 +EBUILD cmdliner-1.2.0.ebuild 1008 BLAKE2B 80a6a1524b1ec82bd46e48a337077e6beb3ae3f2d20a832c6a406225149b14cc4f6c7d7fb894a8f9e2f44819c9c2f1bd8f7ab0b53c387eaa20910e93f3a51a27 SHA512 cdc5cfcb796a19ef21157d0e739c1be6216129f031e599586f91a95e926dea18904aee94699ffe8c740ac2c34038e73361baf4af8e84dbc4983ccb332280bfc6 MISC metadata.xml 338 BLAKE2B f947fa0825c1a3fd959515164da36ffc9694c570ed6eb6eef8686fc24b4582ee88ecb7304507c79cf2733fb77ae3570468ec8da886367d79721c81f148931833 SHA512 9d052ada92f441fa4908f4ec9a2561f7276872281ffa65f0ad92c8d0f7c15aeea11d6c887d4af7535d7d72bce3dec8f12622aee5eb9a79e510e8baaa208a54cd 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 +} -- cgit v1.2.3