From 8376ef56580626e9c0f796d5b85b53a0a1c7d5f5 Mon Sep 17 00:00:00 2001 From: V3n3RiX Date: Sat, 14 Jul 2018 21:03:06 +0100 Subject: gentoo resync : 14.07.2018 --- dev-util/patdiff/Manifest | 3 +++ dev-util/patdiff/metadata.xml | 11 +++++++++++ dev-util/patdiff/patdiff-0.9.0.ebuild | 36 +++++++++++++++++++++++++++++++++++ 3 files changed, 50 insertions(+) create mode 100644 dev-util/patdiff/Manifest create mode 100644 dev-util/patdiff/metadata.xml create mode 100644 dev-util/patdiff/patdiff-0.9.0.ebuild (limited to 'dev-util/patdiff') diff --git a/dev-util/patdiff/Manifest b/dev-util/patdiff/Manifest new file mode 100644 index 000000000000..eaf34e7b635d --- /dev/null +++ b/dev-util/patdiff/Manifest @@ -0,0 +1,3 @@ +DIST patdiff-0.9.0.tar.gz 40059 BLAKE2B e9994397f44572d4e11d510de79007b0d621ef7c841d9d4d8a8ede2dd9867f202e9b53c31dcdfa7166cec9d7e0aa8ae2151e2cb148a5ddad6da5ea6706aaeef4 SHA512 a48d58c7b2681d5be6281fd6ff4e95df98d6c6f50622eaae5560a9f99c3b8ea0154cec5e6e5eaff687122a1d907657e943239869125089cab5e94e65f7c6a298 +EBUILD patdiff-0.9.0.ebuild 847 BLAKE2B 6fb9f0269b8625015009fa44d911c171896c4335b92f3ff2301791a108e84a8b1ddf60d093e48bb4d4e5dee6ea19f77d3bfbec5141956b3922ff48a7ccc2ac7a SHA512 17cad2854442957d5c5ac9a41d5d35553c1f28c6a39d924757ddac66431152323fbfa9d3eca99427209f9c32c7e05b87406c70c27e7034720a74400ba46ff6aa +MISC metadata.xml 330 BLAKE2B 25cf17fad7b6600aef724390b7253da203e27748b0582a15f5fef21e8d5025ca560eab4b9202752717b41a142f2a6a564e38a514b872d9eeab38cd746f50167d SHA512 bd88c00a353b7899ccfdecba9c1049a4fd618fcc353dfa7570f5d101c99a8da5037d0593a19d4614a4f640f8c46217c98a2833876b977647235cae9bf2f1c6f0 diff --git a/dev-util/patdiff/metadata.xml b/dev-util/patdiff/metadata.xml new file mode 100644 index 000000000000..b31ec668fef0 --- /dev/null +++ b/dev-util/patdiff/metadata.xml @@ -0,0 +1,11 @@ + + + + + ml@gentoo.org + Gentoo ML Project + + + janestreet/patdiff + + diff --git a/dev-util/patdiff/patdiff-0.9.0.ebuild b/dev-util/patdiff/patdiff-0.9.0.ebuild new file mode 100644 index 000000000000..2c95dc9f4545 --- /dev/null +++ b/dev-util/patdiff/patdiff-0.9.0.ebuild @@ -0,0 +1,36 @@ +# Copyright 1999-2017 Gentoo Foundation +# Distributed under the terms of the GNU General Public License v2 + +EAPI=6 + +DESCRIPTION="Colored patience diffs with word-level refinement" +HOMEPAGE="https://github.com/janestreet/patdiff" +SRC_URI="https://github.com/janestreet/patdiff/archive/v${PV}.tar.gz -> ${P}.tar.gz" + +LICENSE="Apache-2.0" +SLOT="0/${PV}" +KEYWORDS="~amd64" +IUSE="" + +RDEPEND=" + dev-lang/ocaml:= + dev-ml/core:= + dev-ml/core_extended:= + dev-ml/patience_diff:= + dev-ml/ppx_driver:= + dev-ml/ppx_jane:= + dev-ml/re2:= + dev-ml/sexplib:= + dev-ml/ocaml-migrate-parsetree:= + dev-ml/pcre-ocaml:= +" +DEPEND="${RDEPEND} dev-ml/opam dev-ml/jbuilder" + +src_install() { + opam-installer -i \ + --prefix="${ED}/usr" \ + --libdir="${D}/$(ocamlc -where)" \ + --docdir="${ED}/usr/share/doc/${PF}" \ + --mandir="${ED}/usr/share/man" \ + ${PN}.install || die +} -- cgit v1.2.3