From 63769c05999ae8466a5a2b9ea50ff615a43dab87 Mon Sep 17 00:00:00 2001
From: Alfredo Tupone <tupone@gentoo.org>
Date: Fri, 30 Jun 2023 15:10:45 +0200
Subject: dev-ml/ppx_globalize: new package, add 0.16.0

Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
---
 dev-ml/ppx_globalize/Manifest                    |  1 +
 dev-ml/ppx_globalize/metadata.xml                | 15 +++++++++++++++
 dev-ml/ppx_globalize/ppx_globalize-0.16.0.ebuild | 23 +++++++++++++++++++++++
 3 files changed, 39 insertions(+)
 create mode 100644 dev-ml/ppx_globalize/Manifest
 create mode 100644 dev-ml/ppx_globalize/metadata.xml
 create mode 100644 dev-ml/ppx_globalize/ppx_globalize-0.16.0.ebuild

(limited to 'dev-ml')

diff --git a/dev-ml/ppx_globalize/Manifest b/dev-ml/ppx_globalize/Manifest
new file mode 100644
index 000000000000..86f56b414324
--- /dev/null
+++ b/dev-ml/ppx_globalize/Manifest
@@ -0,0 +1 @@
+DIST ppx_globalize-0.16.0.tar.gz 8328 BLAKE2B e8ba1a500fc244d53d07dbe90df6b18f3088c9496d309002a177725e1990b8108c6972dd2b45caeecdbad62c466e73ee3ae944701dec489c2613a8b71ea88787 SHA512 76618dc1cc436c437e7911a2b793233f9bdd559dc37419df6f94143548bcfe09a0f29eafc3a36e97a5f8fb886aa94ca641f10f56078a8558f642a2cf564e4c75
diff --git a/dev-ml/ppx_globalize/metadata.xml b/dev-ml/ppx_globalize/metadata.xml
new file mode 100644
index 000000000000..f90eb7fdcdae
--- /dev/null
+++ b/dev-ml/ppx_globalize/metadata.xml
@@ -0,0 +1,15 @@
+<?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>
+	</maintainer>
+	<upstream>
+		<remote-id type="github">janestreet/ppx_globalize</remote-id>
+	</upstream>
+</pkgmetadata>
diff --git a/dev-ml/ppx_globalize/ppx_globalize-0.16.0.ebuild b/dev-ml/ppx_globalize/ppx_globalize-0.16.0.ebuild
new file mode 100644
index 000000000000..c4d019a043e9
--- /dev/null
+++ b/dev-ml/ppx_globalize/ppx_globalize-0.16.0.ebuild
@@ -0,0 +1,23 @@
+# Copyright 1999-2023 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+inherit dune
+
+DESCRIPTION="Generates functions to copy local values to the global heap"
+HOMEPAGE="https://github.com/janestreet/ppx_globalize"
+SRC_URI="https://github.com/janestreet/${PN}/archive/v${PV}.tar.gz
+	-> ${P}.tar.gz"
+
+LICENSE="Apache-2.0"
+SLOT="0/$(ver_cut 1-2)"
+KEYWORDS="~amd64 ~arm ~arm64 ~ppc ~ppc64 ~riscv ~x86"
+IUSE="+ocamlopt"
+
+DEPEND="
+	>=dev-lang/ocaml-4.14
+	dev-ml/base:${SLOT}
+	>=dev-ml/ppxlib-0.28:=
+"
+RDEPEND="${DEPEND}"
-- 
cgit v1.2.3-65-gdbad