diff options
| author |   Alexis Ballier <aballier@gentoo.org> | 2016-02-05 19:24:29 +0100 |
|---|---|---|
| committer | Alexis Ballier <aballier@gentoo.org> | 2016-02-05 21:59:02 +0100 |
| commit | 6c90b56af4d465aef99f3e3b46c85a1f3321d032 (patch) | |
| tree | 53a1039637cbababc4bcd0f7806595919d675a11 /dev-ml/ppx_pipebang | |
| parent | dev-ml/ppx_sexp_message: initial import; ebuild by me (diff) | |
| download | gentoo-6c90b56af4d465aef99f3e3b46c85a1f3321d032.tar.gz gentoo-6c90b56af4d465aef99f3e3b46c85a1f3321d032.tar.bz2 gentoo-6c90b56af4d465aef99f3e3b46c85a1f3321d032.zip | |
dev-ml/ppx_pipebang: 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_pipebang')
| -rw-r--r-- | dev-ml/ppx_pipebang/Manifest | 1 | ||||
| -rw-r--r-- | dev-ml/ppx_pipebang/metadata.xml | 8 | ||||
| -rw-r--r-- | dev-ml/ppx_pipebang/ppx_pipebang-113.24.00.ebuild | 41 |
3 files changed, 50 insertions, 0 deletions
diff --git a/dev-ml/ppx_pipebang/Manifest b/dev-ml/ppx_pipebang/Manifest new file mode 100644 index 000000000000..125213d97bb5 --- /dev/null +++ b/dev-ml/ppx_pipebang/Manifest @@ -0,0 +1 @@ +DIST ppx_pipebang-113.24.00.tar.gz 51430 SHA256 11bc7a7c62e3fc6ac3d437c1411e746ccc01d23b1bbdcc5333c562dc343ddcf0 SHA512 12f918ca1c8d16163009f12af2bc8b5652918d53905fb7c85587925960ff483e671eb210ee93c74002375cd608cbc3fd257dd28acc7963ffd227aeb2217f5041 WHIRLPOOL 20076a4da7633d9d0fe930b2d827f8069b72924a1d1e44f3f4175193116180911c27971ff2834406af81e73a1664c1c59f33d87cd3ba1d0d5e29506581f543b0 diff --git a/dev-ml/ppx_pipebang/metadata.xml b/dev-ml/ppx_pipebang/metadata.xml new file mode 100644 index 000000000000..ffac4d7ebc01 --- /dev/null +++ b/dev-ml/ppx_pipebang/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_pipebang/ppx_pipebang-113.24.00.ebuild b/dev-ml/ppx_pipebang/ppx_pipebang-113.24.00.ebuild new file mode 100644 index 000000000000..ae35794117cb --- /dev/null +++ b/dev-ml/ppx_pipebang/ppx_pipebang-113.24.00.ebuild @@ -0,0 +1,41 @@ +# Copyright 1999-2015 Gentoo Foundation +# Distributed under the terms of the GNU General Public License v2 +# $Id$ + +EAPI="5" + +inherit oasis + +DESCRIPTION="A ppx rewriter that inlines reverse application operators |> and |!" +HOMEPAGE="http://www.janestreet.com/ocaml" +SRC_URI="http://ocaml.janestreet.com/ocaml-core/${PV%.*}/files/${P}.tar.gz" + +LICENSE="Apache-2.0" +SLOT="0/${PV}" +KEYWORDS="~amd64" +IUSE="" + +DEPEND="dev-ml/ppx_tools:= + dev-ml/ppx_core:= + dev-ml/ppx_driver:= +" +RDEPEND="${DEPEND}" +DEPEND="${DEPEND} dev-ml/opam" + +src_configure() { + emake setup.exe + OASIS_SETUP_COMMAND="./setup.exe" oasis_src_configure +} + +src_compile() { + emake +} + +src_install() { + opam-installer -i \ + --prefix="${ED}/usr" \ + --libdir="${D}/$(ocamlc -where)" \ + --docdir="${ED}/usr/share/doc/${PF}" \ + ${PN}.install || die + dodoc README.md +} |