diff options
author | Alexis Ballier <aballier@gentoo.org> | 2017-06-08 18:20:27 +0200 |
---|---|---|
committer | Alexis Ballier <aballier@gentoo.org> | 2017-06-08 18:49:50 +0200 |
commit | 96c4752a56472749c956ff413375bebc7e626ff7 (patch) | |
tree | dc833b4db51136c524778bf5f51d92e476458e43 /dev-ml | |
parent | media-sound/ardour: patch for old ardour on new gcc. Bug 620954 (diff) | |
download | gentoo-96c4752a56472749c956ff413375bebc7e626ff7.tar.gz gentoo-96c4752a56472749c956ff413375bebc7e626ff7.tar.bz2 gentoo-96c4752a56472749c956ff413375bebc7e626ff7.zip |
dev-ml/ppx_tools_versioned: bump to 5.0.1
Package-Manager: Portage-2.3.6, Repoman-2.3.2
Diffstat (limited to 'dev-ml')
-rw-r--r-- | dev-ml/ppx_tools_versioned/Manifest | 1 | ||||
-rw-r--r-- | dev-ml/ppx_tools_versioned/ppx_tools_versioned-5.0.1.ebuild | 30 |
2 files changed, 31 insertions, 0 deletions
diff --git a/dev-ml/ppx_tools_versioned/Manifest b/dev-ml/ppx_tools_versioned/Manifest index 81406d862c20..8eaf82896b61 100644 --- a/dev-ml/ppx_tools_versioned/Manifest +++ b/dev-ml/ppx_tools_versioned/Manifest @@ -1 +1,2 @@ +DIST ppx_tools_versioned-5.0.1.tar.gz 43741 SHA256 3989a789be7b3255acc013efa9084596ff980d527bf2860c73d08ab4620b1b8e SHA512 4d47f82c5a05f880dbb3d10caac6de705b9609c488d62be84eb1ebe22fa8c4e3716fad7c546035e955bd0e304d7940f23df090470f86c8d862b549b9db387acb WHIRLPOOL 004f54fb967f337906df0fce5fbd20cea2a77fa9bac31d435623f393f16711a56a956523e790578a5b44f906ab1f4d204bc2373a7f4388e1e9dbe81e15a2843a DIST ppx_tools_versioned-5.0beta1.tar.gz 43709 SHA256 c558f9f946c9237511ed7b755868acfb6eb5ee6196da0e1c8361c2adb8d8bc9f SHA512 e536a41126d28addf54752ccb851a5dfa2e8ecf16770a1ae891820bb0a8606eb72660f56349fec9f41d208103096e4e5c3d9834edf255ba2349b09aaaf9aacf2 WHIRLPOOL fbf74737a18ac6d0eecadc38849d902dada5121fe55ee1a55fbc435f1c6f69b3c1f2b87b729623ef971a960979dca367f295cb10d19c9125efb758b8055fae7b diff --git a/dev-ml/ppx_tools_versioned/ppx_tools_versioned-5.0.1.ebuild b/dev-ml/ppx_tools_versioned/ppx_tools_versioned-5.0.1.ebuild new file mode 100644 index 000000000000..9bc165ce4a05 --- /dev/null +++ b/dev-ml/ppx_tools_versioned/ppx_tools_versioned-5.0.1.ebuild @@ -0,0 +1,30 @@ +# Copyright 1999-2017 Gentoo Foundation +# Distributed under the terms of the GNU General Public License v2 + +EAPI=6 + +inherit findlib + +MY_PV=${PV/_/} +MY_P=${PN}-${MY_PV} + +DESCRIPTION="Tools for authors of ppx rewriters" +HOMEPAGE="https://github.com/let-def/ppx_tools_versioned" +SRC_URI="https://github.com/let-def/ppx_tools_versioned/archive/${MY_PV}.tar.gz -> ${MY_P}.tar.gz" + +LICENSE="MIT" +SLOT="0/${PV}" +KEYWORDS="~amd64" +IUSE="" + +DEPEND=" + dev-lang/ocaml:= + dev-ml/ocaml-migrate-parsetree:= +" +RDEPEND="${DEPEND}" +S="${WORKDIR}/${MY_P}" + +src_install() { + findlib_src_install + dodoc README.md +} |