dev-ml/ppx_tools: bump to 5.0 and remove 4.03 version

Package-Manager: portage-2.3.0_rc1

diff --git a/dev-ml/ppx_tools/Manifest b/dev-ml/ppx_tools/Manifest
index 579554e97858224479f1aafd4d622a3e128ad155..e1483b6bca98ea083324a73228e08ecbd1fbae56 100644 (file)
--- a/dev-ml/ppx_tools/Manifest
+++ b/dev-ml/ppx_tools/Manifest
@@ -1,2 +1,3 @@
 DIST ppx_tools-4.02.3.tar.gz 16622 SHA256 08b3d915b9be9ada24029470f481d31c1b750a86ab59b4917c59455f5a943b31 SHA512 4eeafe8e4a740b35ea0f15f9c03faa91d8b24c946150de0409bf953d50a5c402284ca9b34058dcd399df6d41af56c899aa4b44d92b02cdf7a93527f4e3e1e7d2 WHIRLPOOL 5b0dacfb806ffcaae2a9d49f99e843de4424dbf1f86ae91e64480927094b569e49b7f501ddb8849b3013f65d47badb04f0f596b7277d1ed44a95f29ccf8acd94
-DIST ppx_tools-4.03.0.tar.gz 16865 SHA256 207d4140fb08f448b8d7a0ef2033db06f191fc99b73d8eadd3fe7aadbfea5fa8 SHA512 346c6e5b871998146b47447edec6ebaa6cb9d732dba684d27ce016e8b903383bdc1b920e4548e6c1aacfc2fa8e6f033813c41d3ffdc3752cdbde984cc1b41d35 WHIRLPOOL f40f52c6a55ca2262510eb86ae07434d20393c1d31adb923a92d95351f1f0a856a4f50b18ecf4098ce70be8e77e0a940836dfa137fcb760d5ff2c17ffe6b2d79
+DIST ppx_tools-5.0.4.02.0.tar.gz 17443 SHA256 2c9b80f1755a6155820fc165b603f7184998ec2f097ff2c74169a2f86c264f66 SHA512 f02899f9fece9b27f2541c852e2f0e8c672f5e9d7667a5d9740a0e83581710c3781379f19b2397ca8442c4cc5161752ee61c000195fd270d04271ab512f4e48f WHIRLPOOL c1f753d100bc5490034d5acaebc1bbef5350b21bb42bc2202e939128ed7bea299b7248998b93f1c2728bb3ddbd02d329bd973f2e89950aaf32072b0300ce4b4f
+DIST ppx_tools-5.0.4.03.0.tar.gz 17209 SHA256 2cd990ef36145c35b0fd2cfaadc379cf032dd0987c07bea094d4437277d573e5 SHA512 d1867b084885704757f390b6f6ca8b5d7702f0476149d99ea227f98230ab35d57f5c4aa779881231a0a77cfd1861255118fa2551a49ab85553f63e9aab9baae4 WHIRLPOOL a74a30397ec858d3be478c85d7e4b54f065e35d6a95b95cca0a49049eb167e23892088620d9cdb59d81b598be0ebe3a1be123928768e21186f710ad81a5b8118

diff --git a/dev-ml/ppx_tools/ppx_tools-4.03.0.ebuild b/dev-ml/ppx_tools/ppx_tools-5.0.4.02.0.ebuild
similarity index 54%
rename from dev-ml/ppx_tools/ppx_tools-4.03.0.ebuild
rename to dev-ml/ppx_tools/ppx_tools-5.0.4.02.0.ebuild
index 56565e700985a20d72c352d112b263b0731bd072..ce1f975efd3f037bde5ca07b0a02da30d0a47456 100644 (file)
--- a/dev-ml/ppx_tools/ppx_tools-4.03.0.ebuild
+++ b/dev-ml/ppx_tools/ppx_tools-5.0.4.02.0.ebuild
@@ -1,22 +1,24 @@
-# Copyright 1999-2015 Gentoo Foundation
+# Copyright 1999-2016 Gentoo Foundation
 # Distributed under the terms of the GNU General Public License v2
 # $Id$
 
 EAPI=5
 
-inherit findlib
+inherit findlib versionator
 
+MY_PV=$(replace_version_separator 2 '+')
 DESCRIPTION="Tools for authors of ppx rewriters"
 HOMEPAGE="https://github.com/alainfrisch/ppx_tools"
-SRC_URI="https://github.com/alainfrisch/ppx_tools/archive/v${PV}.tar.gz -> ${P}.tar.gz"
+SRC_URI="https://github.com/alainfrisch/ppx_tools/archive/${MY_PV}.tar.gz -> ${P}.tar.gz"
 
 LICENSE="MIT"
 SLOT="0/${PV}"
 KEYWORDS="~amd64"
 IUSE=""
 
-DEPEND=">=dev-lang/ocaml-4.03.0_beta:="
+DEPEND=">=dev-lang/ocaml-4.02.3:="
 RDEPEND="${DEPEND}"
+S="${WORKDIR}/${PN}-$(replace_version_separator 2 '-')"
 
 src_compile() {
        emake -j1

diff --git a/dev-ml/ppx_tools/ppx_tools-5.0.4.03.0.ebuild b/dev-ml/ppx_tools/ppx_tools-5.0.4.03.0.ebuild
new file mode 100644 (file)
index 0000000..0caa4d7
--- /dev/null
+++ b/dev-ml/ppx_tools/ppx_tools-5.0.4.03.0.ebuild
@@ -0,0 +1,30 @@
+# Copyright 1999-2016 Gentoo Foundation
+# Distributed under the terms of the GNU General Public License v2
+# $Id$
+
+EAPI=5
+
+inherit findlib versionator
+
+MY_PV=$(replace_version_separator 2 '+')
+DESCRIPTION="Tools for authors of ppx rewriters"
+HOMEPAGE="https://github.com/alainfrisch/ppx_tools"
+SRC_URI="https://github.com/alainfrisch/ppx_tools/archive/${MY_PV}.tar.gz -> ${P}.tar.gz"
+
+LICENSE="MIT"
+SLOT="0/${PV}"
+KEYWORDS="~amd64"
+IUSE=""
+
+DEPEND=">=dev-lang/ocaml-4.03.0:="
+RDEPEND="${DEPEND}"
+S="${WORKDIR}/${PN}-$(replace_version_separator 2 '-')"
+
+src_compile() {
+       emake -j1
+}
+
+src_install() {
+       findlib_src_install
+       dodoc README.md
+}