diff options
| author |   Alfredo Tupone <tupone@gentoo.org> | 2023-06-30 15:10:45 +0200 |
|---|---|---|
| committer | Alfredo Tupone <tupone@gentoo.org> | 2023-06-30 15:14:16 +0200 |
| commit | 63769c05999ae8466a5a2b9ea50ff615a43dab87 (patch) | |
| tree | 1c283db2bd72073d079e6f642f8ef57f05a6e041 /dev-ml | |
| parent | dev-ml/ppx_hash: add 0.16.0 (diff) | |
| download | gentoo-63769c05999ae8466a5a2b9ea50ff615a43dab87.tar.gz gentoo-63769c05999ae8466a5a2b9ea50ff615a43dab87.tar.bz2 gentoo-63769c05999ae8466a5a2b9ea50ff615a43dab87.zip | |
dev-ml/ppx_globalize: new package, add 0.16.0
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Diffstat (limited to 'dev-ml')
| -rw-r--r-- | dev-ml/ppx_globalize/Manifest | 1 | ||||
| -rw-r--r-- | dev-ml/ppx_globalize/metadata.xml | 15 | ||||
| -rw-r--r-- | dev-ml/ppx_globalize/ppx_globalize-0.16.0.ebuild | 23 |
3 files changed, 39 insertions, 0 deletions
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}" |