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.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature RSA-PSS (2048 bits)) (No client certificate requested) by finch.gentoo.org (Postfix) with ESMTPS id D83C9158337 for ; Fri, 14 Jun 2024 17:24:53 +0000 (UTC) Received: from pigeon.gentoo.org (localhost [127.0.0.1]) by pigeon.gentoo.org (Postfix) with SMTP id 2769A2BC01A; Fri, 14 Jun 2024 17:24:53 +0000 (UTC) Received: from smtp.gentoo.org (woodpecker.gentoo.org [140.211.166.183]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature RSA-PSS (4096 bits)) (No client certificate requested) by pigeon.gentoo.org (Postfix) with ESMTPS id E63792BC01A for ; Fri, 14 Jun 2024 17:24:52 +0000 (UTC) Received: from oystercatcher.gentoo.org (oystercatcher.gentoo.org [148.251.78.52]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature RSA-PSS (4096 bits)) (No client certificate requested) by smtp.gentoo.org (Postfix) with ESMTPS id 09BAD335D60 for ; Fri, 14 Jun 2024 17:24:52 +0000 (UTC) Received: from localhost.localdomain (localhost [IPv6:::1]) by oystercatcher.gentoo.org (Postfix) with ESMTP id 97B0916D9 for ; Fri, 14 Jun 2024 17:24:50 +0000 (UTC) From: "Alfredo Tupone" To: gentoo-commits@lists.gentoo.org Content-Transfer-Encoding: 8bit Content-type: text/plain; charset=UTF-8 Reply-To: gentoo-dev@lists.gentoo.org, "Alfredo Tupone" Message-ID: <1718385814.3eba79ddc354d9c4d5798453d36f74a70a8e32ac.tupone@gentoo> Subject: [gentoo-commits] repo/gentoo:master commit in: dev-ml/ppx_ignore_instrumentation/, profiles/ X-VCS-Repository: repo/gentoo X-VCS-Files: dev-ml/ppx_ignore_instrumentation/Manifest dev-ml/ppx_ignore_instrumentation/ppx_ignore_instrumentation-0.17.0.ebuild profiles/package.mask X-VCS-Directories: dev-ml/ppx_ignore_instrumentation/ profiles/ X-VCS-Committer: tupone X-VCS-Committer-Name: Alfredo Tupone X-VCS-Revision: 3eba79ddc354d9c4d5798453d36f74a70a8e32ac X-VCS-Branch: master Date: Fri, 14 Jun 2024 17:24:50 +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: f968db61-3cd3-42a1-8dc3-4195568ed3f5 X-Archives-Hash: c9dd2ed5a9921800466a46ec6380c55f commit: 3eba79ddc354d9c4d5798453d36f74a70a8e32ac Author: Alfredo Tupone gentoo org> AuthorDate: Fri Jun 14 17:17:49 2024 +0000 Commit: Alfredo Tupone gentoo org> CommitDate: Fri Jun 14 17:23:34 2024 +0000 URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=3eba79dd dev-ml/ppx_ignore_instrumentation: add 0.17.0 Signed-off-by: Alfredo Tupone gentoo.org> dev-ml/ppx_ignore_instrumentation/Manifest | 1 + .../ppx_ignore_instrumentation-0.17.0.ebuild | 20 ++++++++++++++++++++ profiles/package.mask | 1 + 3 files changed, 22 insertions(+) diff --git a/dev-ml/ppx_ignore_instrumentation/Manifest b/dev-ml/ppx_ignore_instrumentation/Manifest index cdab4c43bae3..3786649cc503 100644 --- a/dev-ml/ppx_ignore_instrumentation/Manifest +++ b/dev-ml/ppx_ignore_instrumentation/Manifest @@ -1,2 +1,3 @@ DIST ppx_ignore_instrumentation-0.15.0.tar.gz 3679 BLAKE2B 3537d4336a2299e277fcf1e58690233a9e1ecd94c80d144376bef90b45b3c2c94a8eaf5e5ba2b90b12d8f4e3afc257461c4732a2fadba8aa91c7f35ff036fb0f SHA512 ec411cb7a191fcb36f9a29f8ff3839db6f4031e30fa3444896a07235950ca04562a701b3bc7bc5df95e3ff82cfe8996be75bd5dce4bcce8a491898df1bffc50d DIST ppx_ignore_instrumentation-0.16.0.tar.gz 3712 BLAKE2B f7d4bb193fd1296b2bc9e3ea12133bd71a63dbf85dff8049f9d779db338a5725df12e005fc021584b98d0e09b2d69bf0198537ef69356a1a46eeeaee5c4b0f2e SHA512 3ec3a706b2c0d8d170860d2a6fb24f6f95dc7d1b28e88d292f536302ef005158d76e4c586721f924e3c7c5098981e3d9569e28300dabaf0348585b56c62bb245 +DIST ppx_ignore_instrumentation-0.17.0.tar.gz 3737 BLAKE2B 0502380f0d26f740f8f2bebeb1dd16087e6f10041468fb805e4d5062cf0dd0583278b5f5ba75c834f40a90735c9c723f70a1fa479836819bd0cc60e969ec45fb SHA512 a1904bb5788e4a3cb9e110cf9cb8c49d4ae383b03927f580e4b61a77f036c404982811df2e85290ee66c2a0556b4ca6ecd6d78bd3ffb3bd7c90796c34d48d5fa diff --git a/dev-ml/ppx_ignore_instrumentation/ppx_ignore_instrumentation-0.17.0.ebuild b/dev-ml/ppx_ignore_instrumentation/ppx_ignore_instrumentation-0.17.0.ebuild new file mode 100644 index 000000000000..9de260815778 --- /dev/null +++ b/dev-ml/ppx_ignore_instrumentation/ppx_ignore_instrumentation-0.17.0.ebuild @@ -0,0 +1,20 @@ +# Copyright 2022-2024 Gentoo Authors +# Distributed under the terms of the GNU General Public License v2 + +EAPI=8 + +inherit dune + +DESCRIPTION="Ignore Jane Street specific instrumentation extensions" +HOMEPAGE="https://github.com/janestreet/ppx_ignore_instrumentation" +SRC_URI="https://github.com/janestreet/${PN}/archive/refs/tags/v${PV}.tar.gz + -> ${P}.tar.gz" + +LICENSE="MIT" +SLOT="0/$(ver_cut 1-2)" +KEYWORDS="~amd64 ~arm64 ~ppc ~ppc64 ~riscv" +IUSE="+ocamlopt" + +RDEPEND=">=dev-ml/ppxlib-0.32.1:=[ocamlopt?]" +DEPEND="${RDEPEND}" +BDEPEND=">=dev-ml/dune-3.11" diff --git a/profiles/package.mask b/profiles/package.mask index 7db626ae0ca9..ce9e9bc563b0 100644 --- a/profiles/package.mask +++ b/profiles/package.mask @@ -255,6 +255,7 @@ dev-ml/sexplib:0/0.17 dev-ml/variantslib:0/0.17 dev-ml/ppx_variants_conv:0/0.17 dev-ml/ppx_log:0/0.17 +dev-ml/ppx_ignore_instrumentation:0/0.17 # Arthur Zamarin (2024-06-08) # EAPI=6, waiting for a version bump, not maintained for many years.