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/ppx_stable | |
parent | 2e34d110f164bf74d55fced27fe0000201b3eec5 (diff) |
gentoo resync : 25.11.2020
Diffstat (limited to 'dev-ml/ppx_stable')
-rw-r--r-- | dev-ml/ppx_stable/Manifest | 3 | ||||
-rw-r--r-- | dev-ml/ppx_stable/metadata.xml | 11 | ||||
-rw-r--r-- | dev-ml/ppx_stable/ppx_stable-0.14.1.ebuild | 24 |
3 files changed, 38 insertions, 0 deletions
diff --git a/dev-ml/ppx_stable/Manifest b/dev-ml/ppx_stable/Manifest new file mode 100644 index 000000000000..080dd277f134 --- /dev/null +++ b/dev-ml/ppx_stable/Manifest @@ -0,0 +1,3 @@ +DIST ppx_stable-0.14.1.tar.gz 12031 BLAKE2B 837a53206d3a8d651d53f665daebbcfde3a1b5d55f1ed13d3ac8feecbd9ba0fb24ad7bb1cf24a0bfa00a41a46c3ef0f84385bc8792685f42ef18facf88ce348f SHA512 1c99a61537a2ce7d40208c64efbf71c54726b228d3746f2afaf9e813b3fed9c8016bb2eb859be24993c7c922a34f574e1028db8e7ee922d4772336dc0496df74 +EBUILD ppx_stable-0.14.1.ebuild 589 BLAKE2B 7ef716ce0e375b1d5e0ef9440441bffaab72a40d729cd6eec86ad69e026ad6b8343185e5ad4576852b868f547bad10885b1d8275e2b4042578985fbc21a6ecd9 SHA512 c0627bb9975c59014c5c3c855b97e094418db901cd502364adc2bf27179b7c9fe7a43ed22b012a6e76251963ce1cf26436d5c956c5b37c2056a1654213870d98 +MISC metadata.xml 330 BLAKE2B 3b852bd33543a26c8ec12308502baf80a2a19337135c7e64d62184919ee6de8725f46296cb34e4fb7165d1a7c3962f7cc7b4ec07c4b6c5bd53d8fb6de07e07ab SHA512 edfcfb94e81c48d1ff01524b7c3687a071c95299852fbec37383d6af7ed39be811fc3c3ec0a935f5b1cb2230738a8a3ada5ff8b2c1062c061cf78e46fb417b22 diff --git a/dev-ml/ppx_stable/metadata.xml b/dev-ml/ppx_stable/metadata.xml new file mode 100644 index 000000000000..b92f10916eeb --- /dev/null +++ b/dev-ml/ppx_stable/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">janestreet/ppx_stable</remote-id> + </upstream> +</pkgmetadata> diff --git a/dev-ml/ppx_stable/ppx_stable-0.14.1.ebuild b/dev-ml/ppx_stable/ppx_stable-0.14.1.ebuild new file mode 100644 index 000000000000..9cd15a40373b --- /dev/null +++ b/dev-ml/ppx_stable/ppx_stable-0.14.1.ebuild @@ -0,0 +1,24 @@ +# Copyright 1999-2020 Gentoo Authors +# Distributed under the terms of the GNU General Public License v2 + +EAPI=7 + +inherit dune + +DESCRIPTION="Stable types conversions generator" +HOMEPAGE="https://github.com/janestreet/ppx_stable" +SRC_URI="https://github.com/janestreet/${PN}/archive/v${PV}.tar.gz -> ${P}.tar.gz" + +LICENSE="MIT" +SLOT="0/${PV}" +KEYWORDS="~amd64 ~arm ~arm64 ~ppc ~ppc64 ~x86" +IUSE="+ocamlopt" + +DEPEND=" + >=dev-ml/base-0.14.0:= + >=dev-ml/ppxlib-0.18.0:= + >=dev-ml/ocaml-compiler-libs-0.11.0:= + >=dev-ml/ocaml-migrate-parsetree-2.0.0:= + dev-ml/cinaps:= +" +RDEPEND="${DEPEND}" |