Gentoo Archives: gentoo-commits

From: Alexis Ballier <aballier@g.o>
To: gentoo-commits@l.g.o
Subject: [gentoo-commits] repo/gentoo:master commit in: dev-util/patdiff/
Date: Thu, 22 Jun 2017 14:24:58
Message-Id: 1498141474.e85c0d27917d082fa8de489b5e4e3f9b5ab7d514.aballier@gentoo
1 commit: e85c0d27917d082fa8de489b5e4e3f9b5ab7d514
2 Author: Alexis Ballier <aballier <AT> gentoo <DOT> org>
3 AuthorDate: Thu Jun 22 12:38:57 2017 +0000
4 Commit: Alexis Ballier <aballier <AT> gentoo <DOT> org>
5 CommitDate: Thu Jun 22 14:24:34 2017 +0000
6 URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=e85c0d27
7
8 dev-util/patdiff: initial import
9
10 Package-Manager: Portage-2.3.6, Repoman-2.3.2
11
12 dev-util/patdiff/Manifest | 1 +
13 dev-util/patdiff/metadata.xml | 11 +++++++++++
14 dev-util/patdiff/patdiff-0.9.0.ebuild | 36 +++++++++++++++++++++++++++++++++++
15 3 files changed, 48 insertions(+)
16
17 diff --git a/dev-util/patdiff/Manifest b/dev-util/patdiff/Manifest
18 new file mode 100644
19 index 00000000000..805e070b68a
20 --- /dev/null
21 +++ b/dev-util/patdiff/Manifest
22 @@ -0,0 +1 @@
23 +DIST patdiff-0.9.0.tar.gz 40059 SHA256 ca5cddb2aad11eb29108e14b661427fc9488fca6753578b0141b331ee39683f5 SHA512 a48d58c7b2681d5be6281fd6ff4e95df98d6c6f50622eaae5560a9f99c3b8ea0154cec5e6e5eaff687122a1d907657e943239869125089cab5e94e65f7c6a298 WHIRLPOOL 3dc776b01b77b06d04b4511b06c9d892d5cc2eb93c62333707c274dc2af301bca05ed5be08b86e5c371b8efc8c98032fbff587e6d93de0acf7b8e1154b11b14e
24
25 diff --git a/dev-util/patdiff/metadata.xml b/dev-util/patdiff/metadata.xml
26 new file mode 100644
27 index 00000000000..80d170f9a1b
28 --- /dev/null
29 +++ b/dev-util/patdiff/metadata.xml
30 @@ -0,0 +1,11 @@
31 +<?xml version="1.0" encoding="UTF-8"?>
32 +<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd">
33 +<pkgmetadata>
34 +<maintainer type="project">
35 + <email>ml@g.o</email>
36 + <name>Gentoo ML Project</name>
37 +</maintainer>
38 + <upstream>
39 + <remote-id type="github">janestreet/patdiff</remote-id>
40 + </upstream>
41 +</pkgmetadata>
42
43 diff --git a/dev-util/patdiff/patdiff-0.9.0.ebuild b/dev-util/patdiff/patdiff-0.9.0.ebuild
44 new file mode 100644
45 index 00000000000..2c95dc9f454
46 --- /dev/null
47 +++ b/dev-util/patdiff/patdiff-0.9.0.ebuild
48 @@ -0,0 +1,36 @@
49 +# Copyright 1999-2017 Gentoo Foundation
50 +# Distributed under the terms of the GNU General Public License v2
51 +
52 +EAPI=6
53 +
54 +DESCRIPTION="Colored patience diffs with word-level refinement"
55 +HOMEPAGE="https://github.com/janestreet/patdiff"
56 +SRC_URI="https://github.com/janestreet/patdiff/archive/v${PV}.tar.gz -> ${P}.tar.gz"
57 +
58 +LICENSE="Apache-2.0"
59 +SLOT="0/${PV}"
60 +KEYWORDS="~amd64"
61 +IUSE=""
62 +
63 +RDEPEND="
64 + dev-lang/ocaml:=
65 + dev-ml/core:=
66 + dev-ml/core_extended:=
67 + dev-ml/patience_diff:=
68 + dev-ml/ppx_driver:=
69 + dev-ml/ppx_jane:=
70 + dev-ml/re2:=
71 + dev-ml/sexplib:=
72 + dev-ml/ocaml-migrate-parsetree:=
73 + dev-ml/pcre-ocaml:=
74 +"
75 +DEPEND="${RDEPEND} dev-ml/opam dev-ml/jbuilder"
76 +
77 +src_install() {
78 + opam-installer -i \
79 + --prefix="${ED}/usr" \
80 + --libdir="${D}/$(ocamlc -where)" \
81 + --docdir="${ED}/usr/share/doc/${PF}" \
82 + --mandir="${ED}/usr/share/man" \
83 + ${PN}.install || die
84 +}