summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorSam James <sam@gentoo.org>2021-02-09 22:28:14 +0000
committerSam James <sam@gentoo.org>2021-02-09 22:47:42 +0000
commit8cb319f9a5845c6c0068da9cf8c98f67b8fdc01a (patch)
tree70753cd5efcfdf3695cc6be977fb8811eff91227 /dev-ml/uuidm
parentwww-plugins/chrome-binary-plugins: automated update (90.0.4412.3) (diff)
downloadgentoo-8cb319f9a5845c6c0068da9cf8c98f67b8fdc01a.tar.gz
gentoo-8cb319f9a5845c6c0068da9cf8c98f67b8fdc01a.tar.bz2
gentoo-8cb319f9a5845c6c0068da9cf8c98f67b8fdc01a.zip
dev-ml/uuidm: new package (dev-ml/alcotest dep)
Package-Manager: Portage-3.0.14, Repoman-3.0.2 Signed-off-by: Sam James <sam@gentoo.org>
Diffstat (limited to 'dev-ml/uuidm')
-rw-r--r--dev-ml/uuidm/Manifest1
-rw-r--r--dev-ml/uuidm/metadata.xml11
-rw-r--r--dev-ml/uuidm/uuidm-0.9.7.ebuild25
3 files changed, 37 insertions, 0 deletions
diff --git a/dev-ml/uuidm/Manifest b/dev-ml/uuidm/Manifest
new file mode 100644
index 000000000000..135e673ee5bc
--- /dev/null
+++ b/dev-ml/uuidm/Manifest
@@ -0,0 +1 @@
+DIST uuidm-0.9.7.tar.gz 9258 BLAKE2B 37867ee562fcf5c44e0f40df53707a5066d74c185037049b4b4034326e1efa93543d518f6c9d5d27e9663f18d824f951d27952c844e1169d951abb7b91caeebb SHA512 7048e467bbd9eefd19ca057caadcc8f634d4eae7642665a84df88f726df3fb849085613d75a485272b0d0e19c9041c560a8c864e780dbed29ff68e3cfa8ba3d4
diff --git a/dev-ml/uuidm/metadata.xml b/dev-ml/uuidm/metadata.xml
new file mode 100644
index 000000000000..01e057cc5972
--- /dev/null
+++ b/dev-ml/uuidm/metadata.xml
@@ -0,0 +1,11 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd">
+<pkgmetadata>
+ <maintainer type="project">
+ <email>ml@gentoo.org</email>
+ <name>ML</name>
+ </maintainer>
+ <upstream>
+ <remote-id type="github">dbuenzli/uuidm</remote-id>
+ </upstream>
+</pkgmetadata>
diff --git a/dev-ml/uuidm/uuidm-0.9.7.ebuild b/dev-ml/uuidm/uuidm-0.9.7.ebuild
new file mode 100644
index 000000000000..867adf732171
--- /dev/null
+++ b/dev-ml/uuidm/uuidm-0.9.7.ebuild
@@ -0,0 +1,25 @@
+# Copyright 1999-2021 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=7
+
+inherit opam
+
+DESCRIPTION="Universally unique identifiers (UUIDs) for OCaml"
+HOMEPAGE="https://github.com/dbuenzli/uuidm"
+SRC_URI="https://github.com/dbuenzli/uuidm/archive/v${PV}.tar.gz -> ${P}.tar.gz"
+
+LICENSE="ISC"
+SLOT="0/${PV}"
+KEYWORDS="~amd64"
+IUSE="+ocamlopt"
+
+BDEPEND="
+ dev-ml/findlib[ocamlopt=]
+ dev-ml/ocamlbuild[ocamlopt=]
+ dev-ml/topkg
+"
+
+src_compile() {
+ ocaml pkg/pkg.ml build || die
+}