diff options
| -rw-r--r-- | dev-ml/ppx_core/Manifest | 1 | ||||
| -rw-r--r-- | dev-ml/ppx_core/metadata.xml | 8 | ||||
| -rw-r--r-- | dev-ml/ppx_core/ppx_core-113.24.00.ebuild | 23 |
3 files changed, 32 insertions, 0 deletions
diff --git a/dev-ml/ppx_core/Manifest b/dev-ml/ppx_core/Manifest new file mode 100644 index 000000000000..12f8f377567b --- /dev/null +++ b/dev-ml/ppx_core/Manifest @@ -0,0 +1 @@ +DIST ppx_core-113.24.00.tar.gz 80849 SHA256 aa67133ad9a9fd28214bd073ed50b22d4b26748d9b35cc378684cc09312843f8 SHA512 d88d440aeea6892a8ffeb9314d1745d100afce5504d2d4d73954b36869ed1266add6d92fdcfa473a2a8d6f0877b3a721a57e2c5748f154e22320578219d1cf4a WHIRLPOOL 675ce05fe7d408709175afbef75b76dd9e0ece2912df6b173cf371019feff6e903b5231cfadbf2dc9b239378459e7f7ab393a1892253fd55f2b60279e860fb9a diff --git a/dev-ml/ppx_core/metadata.xml b/dev-ml/ppx_core/metadata.xml new file mode 100644 index 000000000000..ffac4d7ebc01 --- /dev/null +++ b/dev-ml/ppx_core/metadata.xml @@ -0,0 +1,8 @@ +<?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> +</pkgmetadata> diff --git a/dev-ml/ppx_core/ppx_core-113.24.00.ebuild b/dev-ml/ppx_core/ppx_core-113.24.00.ebuild new file mode 100644 index 000000000000..8ccbe6a9ed21 --- /dev/null +++ b/dev-ml/ppx_core/ppx_core-113.24.00.ebuild @@ -0,0 +1,23 @@ +# Copyright 1999-2015 Gentoo Foundation +# Distributed under the terms of the GNU General Public License v2 +# $Id$ + +EAPI="5" + +inherit oasis + +MY_P=${PN/-/_}-${PV} +DESCRIPTION="Standard library for ppx rewriters" +HOMEPAGE="http://www.janestreet.com/ocaml" +SRC_URI="http://ocaml.janestreet.com/ocaml-core/${PV%.*}/files/${MY_P}.tar.gz" + +LICENSE="Apache-2.0" +SLOT="0/${PV}" +KEYWORDS="~amd64" +IUSE="" + +DEPEND="dev-ml/ppx_tools:=" + +RDEPEND="${DEPEND}" + +S="${WORKDIR}/${MY_P}" |