diff options
| author |   Alfredo Tupone <tupone@gentoo.org> | 2024-06-22 16:38:06 +0200 |
|---|---|---|
| committer | Alfredo Tupone <tupone@gentoo.org> | 2024-06-22 16:38:06 +0200 |
| commit | 464bb33ee38b168819de9cdf3d3dabfb7525a3e8 (patch) | |
| tree | 295c3b66f22aeea85075d02ee0f0a2921ae57593 /dev-ml/cmdliner | |
| parent | sci-geosciences/xyzservices: add 2024.6.0 (diff) | |
| download | gentoo-464bb33ee38b168819de9cdf3d3dabfb7525a3e8.tar.gz gentoo-464bb33ee38b168819de9cdf3d3dabfb7525a3e8.tar.bz2 gentoo-464bb33ee38b168819de9cdf3d3dabfb7525a3e8.zip | |
dev-ml/cmdliner: add 1.3.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.3.0.ebuild | 42 |
2 files changed, 43 insertions, 0 deletions
diff --git a/dev-ml/cmdliner/Manifest b/dev-ml/cmdliner/Manifest index 691357382e1a..9f5a3bb6af1f 100644 --- a/dev-ml/cmdliner/Manifest +++ b/dev-ml/cmdliner/Manifest @@ -1,3 +1,4 @@ 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 +DIST cmdliner-1.3.0.tbz 58515 BLAKE2B 297b8903e1446a94be5580557b2d94a686833997d9b5f688564f31f6c13bf1e6d1f589143b223a78b7dc6f259c5ca664529b3273e5bf29d5a503d9612ba65ef6 SHA512 4c46bc334444ff772637deae2f5ba03645d7a1b7db523470a1246acfce79b971c764d964cbb02388639b3161b279700d9ade95da550446fb32aa4849c8a8f283 diff --git a/dev-ml/cmdliner/cmdliner-1.3.0.ebuild b/dev-ml/cmdliner/cmdliner-1.3.0.ebuild new file mode 100644 index 000000000000..00a0f217c30a --- /dev/null +++ b/dev-ml/cmdliner/cmdliner-1.3.0.ebuild @@ -0,0 +1,42 @@ +# Copyright 1999-2024 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 +} |