diff options
author | Alessandro Barbieri <lssndrbarbieri@gmail.com> | 2022-04-08 02:09:37 +0200 |
---|---|---|
committer | Alfredo Tupone <tupone@gentoo.org> | 2022-04-15 18:21:40 +0200 |
commit | bb5bf7d27bc5d1ff05748333c5e62e1884ecbf24 (patch) | |
tree | 02bafd9cb3e2573134125ae356b50da9cbb5d0f0 /dev-ml/cmdliner | |
parent | dev-python/cppy: Stabilize 1.2.0 arm64, #838646 (diff) | |
download | gentoo-bb5bf7d27bc5d1ff05748333c5e62e1884ecbf24.tar.gz gentoo-bb5bf7d27bc5d1ff05748333c5e62e1884ecbf24.tar.bz2 gentoo-bb5bf7d27bc5d1ff05748333c5e62e1884ecbf24.zip |
dev-ml/cmdliner: add 1.1.1
Closes: https://bugs.gentoo.org/836972
Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
Closes: https://github.com/gentoo/gentoo/pull/24951
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.1.1.ebuild | 41 | ||||
-rw-r--r-- | dev-ml/cmdliner/metadata.xml | 4 |
3 files changed, 46 insertions, 0 deletions
diff --git a/dev-ml/cmdliner/Manifest b/dev-ml/cmdliner/Manifest index 17785ad6fd98..1ede64e7fc7d 100644 --- a/dev-ml/cmdliner/Manifest +++ b/dev-ml/cmdliner/Manifest @@ -1 +1,2 @@ DIST cmdliner-1.0.4.tbz 49558 BLAKE2B 8ea922a22d08fc4cce6c0aff1adff9a2fcdaee8e13b7bdfad4a08b459e8a6557761fa70c9e34100bc8baaa4113e5729f2daf297fc1f618bd8c30b9323bb87ba2 SHA512 4cd1cc0932b8bbd607160cc9816b35c12a68a358a35ffcb6827f547052dc517e871a91ddbaed0447cb1fa5fdf510cdf5d760e8e5c1e4548f82e1d523e2b3ecb3 +DIST cmdliner-1.1.1.tbz 58054 BLAKE2B 1c3d3c836d390490d0470cae1545a8ea6bd3ee2b10d33e02fbbad5c47cf5c1fb9104f05a32119580af57358e0cdd9b17fa319a7fe62a9de9f6b504d9f0300513 SHA512 5478ad833da254b5587b3746e3a8493e66e867a081ac0f653a901cc8a7d944f66e4387592215ce25d939be76f281c4785702f54d4a74b1700bc8838a62255c9e diff --git a/dev-ml/cmdliner/cmdliner-1.1.1.ebuild b/dev-ml/cmdliner/cmdliner-1.1.1.ebuild new file mode 100644 index 000000000000..daf49f5b4986 --- /dev/null +++ b/dev-ml/cmdliner/cmdliner-1.1.1.ebuild @@ -0,0 +1,41 @@ +# Copyright 1999-2022 Gentoo Authors +# Distributed under the terms of the GNU General Public License v2 + +EAPI=7 + +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 ~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 build-native-dynlink + 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 +} diff --git a/dev-ml/cmdliner/metadata.xml b/dev-ml/cmdliner/metadata.xml index 0aa68b1689b9..c765c1971790 100644 --- a/dev-ml/cmdliner/metadata.xml +++ b/dev-ml/cmdliner/metadata.xml @@ -1,6 +1,10 @@ <?xml version="1.0" encoding="UTF-8"?> <!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd"> <pkgmetadata> + <maintainer type="project"> + <email>ml@gentoo.org</email> + <name>ML</name> + </maintainer> <maintainer type="person"> <email>gienah@gentoo.org</email> <name>Mark Wright</name> |