diff options
| author | V3n3RiX <venerix@redcorelinux.org> | 2017-10-09 18:53:29 +0100 |
|---|---|---|
| committer | V3n3RiX <venerix@redcorelinux.org> | 2017-10-09 18:53:29 +0100 |
| commit | 4f2d7949f03e1c198bc888f2d05f421d35c57e21 (patch) | |
| tree | ba5f07bf3f9d22d82e54a462313f5d244036c768 /dev-ml/ppx_core | |
reinit the tree, so we can have metadata
Diffstat (limited to 'dev-ml/ppx_core')
| -rw-r--r-- | dev-ml/ppx_core/Manifest | 4 | ||||
| -rw-r--r-- | dev-ml/ppx_core/metadata.xml | 11 | ||||
| -rw-r--r-- | dev-ml/ppx_core/ppx_core-0.9.0-r1.ebuild | 26 |
3 files changed, 41 insertions, 0 deletions
diff --git a/dev-ml/ppx_core/Manifest b/dev-ml/ppx_core/Manifest new file mode 100644 index 000000000000..d4245d110ddf --- /dev/null +++ b/dev-ml/ppx_core/Manifest @@ -0,0 +1,4 @@ +DIST ppx_core-0.9.0.tar.gz 44525 SHA256 43c420b1d28628283ef7b5f645f02e5db1ccab51c2b0ddf6fe777cc3b123f0fe SHA512 04b0e096aa545c27f040feeea8745078e0fb9dbe4816ade6d3f39b6690da669c6c786334381dbccd74dfd46514ae88c6475b14db8c3216167a6acfea79601e06 WHIRLPOOL c5f8cbb61904ad32e611111ee4737554590d0e8180ae0d786e0bef4bdca53c3b5fb05dc031fe0bb4bd64ae542cbbf0105106ff0af07d049866a5c6556eb66b86 +EBUILD ppx_core-0.9.0-r1.ebuild 595 SHA256 d33a87e64ea1ee7ba2a857b880600838d04370db587077ef6194dc3edc9641be SHA512 9a06c9e19f01ef6ffff4f3f186e6654f1946230f12256409e421ad0f1acc9e9a81d5835465d274f4c0fafc28db010ee57c3ade3bd25d3623975974ce63deef8f WHIRLPOOL 7c627e19694b938687d57dabf21566283ec5ef7dbbbbc92f50ca501733e3783caab397211e8c211f0d5455610d3d1f00ccff2cbba5caada22a104b59ef199756 +MISC ChangeLog 1239 SHA256 a1ff0769b40b56e83e34988867c8785bf071b2613b1de47997f57cfdfb1e3901 SHA512 6880c8732b7b140f1788be3ab304060ff4c729fa72b2998de9757dc1c361e9645cd770db7795d16f1cb12a73bd153ac50db9ace3dfa82c0e9d3474768c8ef3c2 WHIRLPOOL db05d1b4d19b86c246f1e8fcf023c118917e29be5afae8ba042f638a15441d2d901813f31ddf9676cb0b6b720bc44d8020f3cae184c81016cc35fed198041ee8 +MISC metadata.xml 331 SHA256 3f13c3301ef2655886898569e0fcdb361310ddb5b6fff07295ffa5d1b151af8b SHA512 a8a8a4542c5ab077b314a3dbc586e013529424e5a39b03eee87aadb713ef9df2be408907a8d1482c08b96f9deb646e027b1815359ff4a4b3aa33ca6b9d68310f WHIRLPOOL 90a257f0d93aae55fdcf7fcdb4c93775f9265d7b76221f0ecbcbf2fa89463c2b554125a0cad84f927cbd2cb4701dbb2ca95554f2011ce5872cff65870379a18a diff --git a/dev-ml/ppx_core/metadata.xml b/dev-ml/ppx_core/metadata.xml new file mode 100644 index 000000000000..2c9ccd93283c --- /dev/null +++ b/dev-ml/ppx_core/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>Gentoo ML Project</name> + </maintainer> + <upstream> + <remote-id type="github">janestreet/ppx_core</remote-id> + </upstream> +</pkgmetadata> diff --git a/dev-ml/ppx_core/ppx_core-0.9.0-r1.ebuild b/dev-ml/ppx_core/ppx_core-0.9.0-r1.ebuild new file mode 100644 index 000000000000..18dc742c243d --- /dev/null +++ b/dev-ml/ppx_core/ppx_core-0.9.0-r1.ebuild @@ -0,0 +1,26 @@ +# Copyright 1999-2017 Gentoo Foundation +# Distributed under the terms of the GNU General Public License v2 + +EAPI=6 + +inherit opam + +DESCRIPTION="Standard library for ppx rewriters" +HOMEPAGE="https://github.com/janestreet/ppx_core" +SRC_URI="https://github.com/janestreet/ppx_core/archive/v${PV}.tar.gz -> ${P}.tar.gz" + +LICENSE="Apache-2.0" +SLOT="0/${PV}" +KEYWORDS="~amd64 ~ppc" +IUSE="" + +DEPEND=" + dev-ml/base:= + dev-ml/ocaml-compiler-libs:= + dev-ml/ppx_ast:= + dev-ml/ppx_traverse_builtins:= + dev-ml/stdio:= + dev-ml/ocaml-migrate-parsetree:= +" +RDEPEND="${DEPEND}" +DEPEND="${DEPEND} dev-ml/jbuilder" |