gentoo-mirror/gentoo
1
0
Fork 0
mirror of https://github.com/gentoo-mirror/gentoo.git synced 2026-09-24 04:59:14 -07:00
Code Issues Projects Releases Wiki Activity

dev-ml/ppx_disable_unused_warnings: add to tree

Browse Source 
Package-Manager: Portage-3.0.30, Repoman-3.0.3
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
This commit is contained in:
Alfredo Tupone
2022-04-25 09:39:58 +02:00
parent 8cf1864ca4
commit bf682ee092
3 changed files with 32 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

1
dev-ml/ppx_disable_unused_warnings/Manifest Normal file
View File

@@ -0,0 +1 @@
DIST v0.15.0.tar.gz 3966 BLAKE2B b087baa50ae3e0dd926221a69d0c3121ebeea431c08d0dbcc9cf5edee28e69c076e2f77c3b992757e56d03a6487ecd6257fec6a0373294cca6cdef7f71412216 SHA512 837bb96b5cc2623205ce778e6100d97a0a029e8c20a945509c06ee44784e67b8e9033b5387681c0f86c07f48ca4541e356ca62e19c1baa8d1b52c813400bb024

11
dev-ml/ppx_disable_unused_warnings/metadata.xml Normal file
View File

@@ -0,0 +1,11 @@
<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd">
<pkgmetadata>
<maintainer type="project">
<email>ml@gentoo.org</email>
<name>ML</name>
</maintainer>
<upstream>
<remote-id type="github">janestreet/ppx_disable_unused_warnings</remote-id>
</upstream>
</pkgmetadata>

20
dev-ml/ppx_disable_unused_warnings/ppx_disable_unused_warnings-0.15.0.ebuild Normal file
View File

@@ -0,0 +1,20 @@
# Copyright 2022 Gentoo Authors
# Distributed under the terms of the GNU General Public License v2
EAPI=8
inherit dune
DESCRIPTION="Expands [@disable_unused_warnings]"
HOMEPAGE="https://github.com/janestreet/ppx_disable_unused_warnings"
SRC_URI="https://github.com/janestreet/${PN}/archive/refs/tags/v${PV}.tar.gz"
LICENSE="MIT"
SLOT="0/$(ver_cut 1-2)"
KEYWORDS="~amd64"
IUSE="+ocamlopt"
DEPEND="
dev-ml/base:${SLOT}
>=dev-ml/ppxlib-0.23.0"
RDEPEND="${DEPEND}"