diff options
| author | V3n3RiX <venerix@redcorelinux.org> | 2020-11-25 22:39:15 +0000 |
|---|---|---|
| committer | V3n3RiX <venerix@redcorelinux.org> | 2020-11-25 22:39:15 +0000 |
| commit | d934827bf44b7cfcf6711964418148fa60877668 (patch) | |
| tree | 0625f358789b5e015e49db139cc1dbc9be00428f /dev-ml/ppxfind | |
| parent | 2e34d110f164bf74d55fced27fe0000201b3eec5 (diff) | |
gentoo resync : 25.11.2020
Diffstat (limited to 'dev-ml/ppxfind')
| -rw-r--r-- | dev-ml/ppxfind/Manifest | 3 | ||||
| -rw-r--r-- | dev-ml/ppxfind/metadata.xml | 11 | ||||
| -rw-r--r-- | dev-ml/ppxfind/ppxfind-1.4.ebuild | 21 |
3 files changed, 35 insertions, 0 deletions
diff --git a/dev-ml/ppxfind/Manifest b/dev-ml/ppxfind/Manifest new file mode 100644 index 000000000000..dd31749dce97 --- /dev/null +++ b/dev-ml/ppxfind/Manifest @@ -0,0 +1,3 @@ +DIST ppxfind-1.4.tbz 4083 BLAKE2B 3661827c897a74af21f0d10c9435b74845fc4832cb1b50a510fdf7c33cd877faee5ddcb8307c65903a4692fcb58ca264e0c0b44433a34a59a12f8eb2917e12e9 SHA512 f80b0ee09fb536aa9f154da80d06a1b68ba3b10605fb7338bd6449beb5c8d00e983bf66b4a63e12659ae1410fea56d0a2c4cfd43584616438504628035bcb981 +EBUILD ppxfind-1.4.ebuild 456 BLAKE2B 733af347df4e09398b44a321d605bba20381b0811024ae1440ed817ff730418e9faa6ec32d98626340e633e84855bc1c8f3c88a4269bb1347b7f6391efaa7039 SHA512 8d038373e8ec0e31665f31f067760db99da915d3640484147a252d606e5fac9f748636c8893f0ecd6b3946789d6db9e7f20d3e48f15873c8810f34ff891684a8 +MISC metadata.xml 321 BLAKE2B e43aa79e30e4b00e79a6a7e407d325687cd25aa5cab943972047c71976121556bce4272097e7bb211d97e98aae9703c040878964d81b25d758744bbaba3411ba SHA512 41d0a9e934cacd8666b533aee7e34cb19fb2a6b42431437191a4a5668b18434ee751bed4e738efbafc66e468fcde7103ff67890b78f1a1c953909cf04dca776b diff --git a/dev-ml/ppxfind/metadata.xml b/dev-ml/ppxfind/metadata.xml new file mode 100644 index 000000000000..b40103350cee --- /dev/null +++ b/dev-ml/ppxfind/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="person"> + <email>gienah@gentoo.org</email> + <name>Mark Wright</name> + </maintainer> + <upstream> + <remote-id type="github">diml/ppxfind</remote-id> + </upstream> +</pkgmetadata> diff --git a/dev-ml/ppxfind/ppxfind-1.4.ebuild b/dev-ml/ppxfind/ppxfind-1.4.ebuild new file mode 100644 index 000000000000..364bb0ea69ce --- /dev/null +++ b/dev-ml/ppxfind/ppxfind-1.4.ebuild @@ -0,0 +1,21 @@ +# Copyright 1999-2020 Gentoo Authors +# Distributed under the terms of the GNU General Public License v2 + +EAPI=7 + +inherit dune + +DESCRIPTION="ocamlfind ppx tool" +HOMEPAGE="https://github.com/diml/ppxfind" +SRC_URI="https://github.com/diml/ppxfind/releases/download/${PV}/${P}.tbz" + +LICENSE="BSD" +SLOT="0/${PV}" +KEYWORDS="~amd64 ~arm ~arm64 ~ppc ~ppc64 ~x86" +IUSE="+ocamlopt" + +DEPEND=" + dev-ml/ocaml-migrate-parsetree:= + dev-ml/findlib:= +" +RDEPEND="${DEPEND}" |