Gentoo Archives: gentoo-commits

From: Sam James <sam@g.o>
To: gentoo-commits@l.g.o
Subject: [gentoo-commits] repo/gentoo:master commit in: dev-ml/uuidm/
Date: Tue, 09 Feb 2021 22:47:50
Message-Id: 1612910862.8cb319f9a5845c6c0068da9cf8c98f67b8fdc01a.sam@gentoo
1 commit: 8cb319f9a5845c6c0068da9cf8c98f67b8fdc01a
2 Author: Sam James <sam <AT> gentoo <DOT> org>
3 AuthorDate: Tue Feb 9 22:28:14 2021 +0000
4 Commit: Sam James <sam <AT> gentoo <DOT> org>
5 CommitDate: Tue Feb 9 22:47:42 2021 +0000
6 URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=8cb319f9
7
8 dev-ml/uuidm: new package (dev-ml/alcotest dep)
9
10 Package-Manager: Portage-3.0.14, Repoman-3.0.2
11 Signed-off-by: Sam James <sam <AT> gentoo.org>
12
13 dev-ml/uuidm/Manifest | 1 +
14 dev-ml/uuidm/metadata.xml | 11 +++++++++++
15 dev-ml/uuidm/uuidm-0.9.7.ebuild | 25 +++++++++++++++++++++++++
16 3 files changed, 37 insertions(+)
17
18 diff --git a/dev-ml/uuidm/Manifest b/dev-ml/uuidm/Manifest
19 new file mode 100644
20 index 00000000000..135e673ee5b
21 --- /dev/null
22 +++ b/dev-ml/uuidm/Manifest
23 @@ -0,0 +1 @@
24 +DIST uuidm-0.9.7.tar.gz 9258 BLAKE2B 37867ee562fcf5c44e0f40df53707a5066d74c185037049b4b4034326e1efa93543d518f6c9d5d27e9663f18d824f951d27952c844e1169d951abb7b91caeebb SHA512 7048e467bbd9eefd19ca057caadcc8f634d4eae7642665a84df88f726df3fb849085613d75a485272b0d0e19c9041c560a8c864e780dbed29ff68e3cfa8ba3d4
25
26 diff --git a/dev-ml/uuidm/metadata.xml b/dev-ml/uuidm/metadata.xml
27 new file mode 100644
28 index 00000000000..01e057cc597
29 --- /dev/null
30 +++ b/dev-ml/uuidm/metadata.xml
31 @@ -0,0 +1,11 @@
32 +<?xml version="1.0" encoding="UTF-8"?>
33 +<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd">
34 +<pkgmetadata>
35 + <maintainer type="project">
36 + <email>ml@g.o</email>
37 + <name>ML</name>
38 + </maintainer>
39 + <upstream>
40 + <remote-id type="github">dbuenzli/uuidm</remote-id>
41 + </upstream>
42 +</pkgmetadata>
43
44 diff --git a/dev-ml/uuidm/uuidm-0.9.7.ebuild b/dev-ml/uuidm/uuidm-0.9.7.ebuild
45 new file mode 100644
46 index 00000000000..867adf73217
47 --- /dev/null
48 +++ b/dev-ml/uuidm/uuidm-0.9.7.ebuild
49 @@ -0,0 +1,25 @@
50 +# Copyright 1999-2021 Gentoo Authors
51 +# Distributed under the terms of the GNU General Public License v2
52 +
53 +EAPI=7
54 +
55 +inherit opam
56 +
57 +DESCRIPTION="Universally unique identifiers (UUIDs) for OCaml"
58 +HOMEPAGE="https://github.com/dbuenzli/uuidm"
59 +SRC_URI="https://github.com/dbuenzli/uuidm/archive/v${PV}.tar.gz -> ${P}.tar.gz"
60 +
61 +LICENSE="ISC"
62 +SLOT="0/${PV}"
63 +KEYWORDS="~amd64"
64 +IUSE="+ocamlopt"
65 +
66 +BDEPEND="
67 + dev-ml/findlib[ocamlopt=]
68 + dev-ml/ocamlbuild[ocamlopt=]
69 + dev-ml/topkg
70 +"
71 +
72 +src_compile() {
73 + ocaml pkg/pkg.ml build || die
74 +}