summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorAlexis Ballier <aballier@gentoo.org>2016-02-05 15:45:10 +0100
committerAlexis Ballier <aballier@gentoo.org>2016-02-05 21:59:02 +0100
commit4a3e5a476837463511c33e4ca2f95ba0368fa9d0 (patch)
tree7cab22ed42a9efcea581cce4aedffd282bbbb01d /dev-ml/ppx_core
parentnet-misc/tor: version bump to 0.2.8.1, new alpha branch (diff)
downloadgentoo-4a3e5a476837463511c33e4ca2f95ba0368fa9d0.tar.gz
gentoo-4a3e5a476837463511c33e4ca2f95ba0368fa9d0.tar.bz2
gentoo-4a3e5a476837463511c33e4ca2f95ba0368fa9d0.zip
dev-ml/ppx_core: initial import; ebuild by me
Package-Manager: portage-2.2.27 Signed-off-by: Alexis Ballier <aballier@gentoo.org>
Diffstat (limited to 'dev-ml/ppx_core')
-rw-r--r--dev-ml/ppx_core/Manifest1
-rw-r--r--dev-ml/ppx_core/metadata.xml8
-rw-r--r--dev-ml/ppx_core/ppx_core-113.24.00.ebuild23
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}"