From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from lists.gentoo.org (pigeon.gentoo.org [208.92.234.80]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by finch.gentoo.org (Postfix) with ESMTPS id 8E170138350 for ; Sun, 9 Feb 2020 22:17:01 +0000 (UTC) Received: from pigeon.gentoo.org (localhost [127.0.0.1]) by pigeon.gentoo.org (Postfix) with SMTP id C075EE0880; Sun, 9 Feb 2020 22:17:00 +0000 (UTC) Received: from smtp.gentoo.org (mail.gentoo.org [IPv6:2001:470:ea4a:1:5054:ff:fec7:86e4]) (using TLSv1.2 with cipher ECDHE-RSA-AES128-GCM-SHA256 (128/128 bits)) (No client certificate requested) by pigeon.gentoo.org (Postfix) with ESMTPS id 95E30E0880 for ; Sun, 9 Feb 2020 22:17:00 +0000 (UTC) Received: from oystercatcher.gentoo.org (oystercatcher.gentoo.org [148.251.78.52]) (using TLSv1.2 with cipher ECDHE-RSA-AES128-GCM-SHA256 (128/128 bits)) (No client certificate requested) by smtp.gentoo.org (Postfix) with ESMTPS id 8ECD534E932 for ; Sun, 9 Feb 2020 22:16:59 +0000 (UTC) Received: from localhost.localdomain (localhost [IPv6:::1]) by oystercatcher.gentoo.org (Postfix) with ESMTP id 8F9702A for ; Sun, 9 Feb 2020 22:16:57 +0000 (UTC) From: "Miroslav Šulc" To: gentoo-commits@lists.gentoo.org Content-Transfer-Encoding: 8bit Content-type: text/plain; charset=UTF-8 Reply-To: gentoo-dev@lists.gentoo.org, "Miroslav Šulc" Message-ID: <1581286608.b84e7cc0f017d4c72cef9ad9b5157dca7ee679da.fordfrog@gentoo> Subject: [gentoo-commits] repo/gentoo:master commit in: dev-ml/ppx_tools/ X-VCS-Repository: repo/gentoo X-VCS-Files: dev-ml/ppx_tools/Manifest dev-ml/ppx_tools/ppx_tools-5.3.4.08.0.ebuild X-VCS-Directories: dev-ml/ppx_tools/ X-VCS-Committer: fordfrog X-VCS-Committer-Name: Miroslav Šulc X-VCS-Revision: b84e7cc0f017d4c72cef9ad9b5157dca7ee679da X-VCS-Branch: master Date: Sun, 9 Feb 2020 22:16:57 +0000 (UTC) Precedence: bulk List-Post: List-Help: List-Unsubscribe: List-Subscribe: List-Id: Gentoo Linux mail X-BeenThere: gentoo-commits@lists.gentoo.org X-Auto-Response-Suppress: DR, RN, NRN, OOF, AutoReply X-Archives-Salt: cdbffacd-0093-4cb3-a16e-21c5e8170563 X-Archives-Hash: 9bf55ef3a3d0c106a3d2af8c4399b5ce commit: b84e7cc0f017d4c72cef9ad9b5157dca7ee679da Author: Miroslav Šulc gentoo org> AuthorDate: Sun Feb 9 22:14:52 2020 +0000 Commit: Miroslav Šulc gentoo org> CommitDate: Sun Feb 9 22:16:48 2020 +0000 URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=b84e7cc0 dev-ml/ppx_tools: bumped to 5.3.4.08.0 + eapi7 Bug: https://bugs.gentoo.org/708696 Package-Manager: Portage-2.3.88, Repoman-2.3.20 Signed-off-by: Miroslav Šulc gentoo.org> dev-ml/ppx_tools/Manifest | 1 + dev-ml/ppx_tools/ppx_tools-5.3.4.08.0.ebuild | 29 ++++++++++++++++++++++++++++ 2 files changed, 30 insertions(+) diff --git a/dev-ml/ppx_tools/Manifest b/dev-ml/ppx_tools/Manifest index 4c5a9570e8e..ee595bfd62d 100644 --- a/dev-ml/ppx_tools/Manifest +++ b/dev-ml/ppx_tools/Manifest @@ -1,2 +1,3 @@ DIST ppx_tools-5.0.4.03.0.tar.gz 17209 BLAKE2B bd51e5b2482a9eab09bf9a02ac0231fa7bbc721d54a932e6cfdc1d719c106eca0fe90563b636601110e796fab439f6c6d7fccd5d2920f5bcb3c115f622d90381 SHA512 d1867b084885704757f390b6f6ca8b5d7702f0476149d99ea227f98230ab35d57f5c4aa779881231a0a77cfd1861255118fa2551a49ab85553f63e9aab9baae4 DIST ppx_tools-5.0.4.05.0.tar.gz 17893 BLAKE2B 0902f53ef19338396cf2a2319a4c2d4b7bbbfb66bbfd0fb2290c29ecebcda02ff90d2f0d0221b08d027c41c863c2bc0a02c50363d83474864c08e619641b7ad6 SHA512 33b4420500a2b5880e770f8fdf2b37ef08e52ff84f96f955c6321492de906568979feccb1b2b477b1117619ba28edd8d3e0f178c5684f0dc43c6ed56266c4d64 +DIST ppx_tools-5.3.4.08.0.tar.gz 18590 BLAKE2B fac872d113ab1bf9135357dea47d468924e16a1a038b64152d5ebb27daa69a8c2d906750146157954f4d95769535f4a93c1ecc9582ca0313d601a06606196c00 SHA512 817e2688d60f013fa42ffa263cfcc15cfae820240d2e54dfedf1f4a4191f9b9fc365a190cc7eeb9082ed72fbf3c94d6ba72c38c7db3e2bcac49a17ba590d71b5 diff --git a/dev-ml/ppx_tools/ppx_tools-5.3.4.08.0.ebuild b/dev-ml/ppx_tools/ppx_tools-5.3.4.08.0.ebuild new file mode 100644 index 00000000000..7e9d0206f34 --- /dev/null +++ b/dev-ml/ppx_tools/ppx_tools-5.3.4.08.0.ebuild @@ -0,0 +1,29 @@ +# Copyright 1999-2020 Gentoo Authors +# Distributed under the terms of the GNU General Public License v2 + +EAPI=7 + +inherit findlib eutils + +MY_PV=$(ver_rs 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 ~arm ~arm64 ~ppc ~x86" +IUSE="+ocamlopt" + +DEPEND="dev-lang/ocaml:=[ocamlopt?]" +RDEPEND="${DEPEND}" +S="${WORKDIR}/${PN}-$(ver_rs 2 '-')" + +src_compile() { + emake -j1 $(usex ocamlopt "" "ARCH=none") +} + +src_install() { + findlib_src_install + dodoc README.md +}