summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorAlexis Ballier <aballier@gentoo.org>2017-04-01 18:38:20 +0200
committerAlexis Ballier <aballier@gentoo.org>2017-04-02 10:37:56 +0200
commit60ebfa7ea0de7d08f3b1cbe3e4cb2a7c55c77ff3 (patch)
treea4c1552952b0f8a2145f231cfd0ebe7609c45a59 /dev-ml/ppx_base
parentdev-ml/ppx_assert: bump to 0.9.0 (diff)
downloadgentoo-60ebfa7ea0de7d08f3b1cbe3e4cb2a7c55c77ff3.tar.gz
gentoo-60ebfa7ea0de7d08f3b1cbe3e4cb2a7c55c77ff3.tar.bz2
gentoo-60ebfa7ea0de7d08f3b1cbe3e4cb2a7c55c77ff3.zip
dev-ml/ppx_base: initial import
Package-Manager: Portage-2.3.5, Repoman-2.3.2
Diffstat (limited to 'dev-ml/ppx_base')
-rw-r--r--dev-ml/ppx_base/Manifest1
-rw-r--r--dev-ml/ppx_base/metadata.xml8
-rw-r--r--dev-ml/ppx_base/ppx_base-0.9.0.ebuild35
3 files changed, 44 insertions, 0 deletions
diff --git a/dev-ml/ppx_base/Manifest b/dev-ml/ppx_base/Manifest
new file mode 100644
index 000000000000..8cfe36270560
--- /dev/null
+++ b/dev-ml/ppx_base/Manifest
@@ -0,0 +1 @@
+DIST ppx_base-0.9.0.tar.gz 5255 SHA256 cd9a7e0fc2ae85684b06398207b1bdf0e69bbc67202ee2916de5d230a1d11a2d SHA512 660f6b210eb6d7bd33c279ffa8bbf01c21b9db5d7827cf6fded8c52e8d4f2f5468a76c2eab86c2b868ac859bbc81db7189c71ccc1701bf57030f82d8eda4339e WHIRLPOOL f02abe49b2e71bac62a00d15e18700b143a5f67390adffdd0a4824c661e166261e7a1be57d87c66326c0107d8056122d0fb620aabc47e1454694928469c44266
diff --git a/dev-ml/ppx_base/metadata.xml b/dev-ml/ppx_base/metadata.xml
new file mode 100644
index 000000000000..ffac4d7ebc01
--- /dev/null
+++ b/dev-ml/ppx_base/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_base/ppx_base-0.9.0.ebuild b/dev-ml/ppx_base/ppx_base-0.9.0.ebuild
new file mode 100644
index 000000000000..aca54a816b94
--- /dev/null
+++ b/dev-ml/ppx_base/ppx_base-0.9.0.ebuild
@@ -0,0 +1,35 @@
+# Copyright 1999-2017 Gentoo Foundation
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=6
+
+DESCRIPTION="Base set of ppx rewriters"
+HOMEPAGE="https://github.com/janestreet/ppx_base"
+SRC_URI="https://github.com/janestreet/${PN}/archive/v${PV}.tar.gz -> ${P}.tar.gz"
+
+LICENSE="Apache-2.0"
+SLOT="0/${PV}"
+KEYWORDS="~amd64"
+IUSE=""
+
+DEPEND="
+ dev-lang/ocaml:=
+ dev-ml/ppx_compare:=
+ dev-ml/ppx_driver:=
+ dev-ml/ppx_enumerate:=
+ dev-ml/ppx_hash:=
+ dev-ml/ppx_js_style:=
+ dev-ml/ppx_sexp_conv:=
+ dev-ml/ppx_type_conv:=
+ dev-ml/ocaml-migrate-parsetree:=
+ "
+RDEPEND="${DEPEND}"
+DEPEND="${DEPEND} dev-ml/opam dev-ml/jbuilder"
+
+src_install() {
+ opam-installer -i \
+ --prefix="${ED}/usr" \
+ --libdir="${D}/$(ocamlc -where)" \
+ --docdir="${ED}/usr/share/doc/${PF}" \
+ ${PN}.install || die
+}