diff options
| -rw-r--r-- | dev-ml/async_log/Manifest | 1 | ||||
| -rw-r--r-- | dev-ml/async_log/async_log-0.17.0.ebuild | 28 | ||||
| -rw-r--r-- | dev-ml/async_log/metadata.xml | 11 | ||||
| -rw-r--r-- | profiles/package.mask | 1 |
4 files changed, 41 insertions, 0 deletions
diff --git a/dev-ml/async_log/Manifest b/dev-ml/async_log/Manifest new file mode 100644 index 000000000000..dfa4dac39ed6 --- /dev/null +++ b/dev-ml/async_log/Manifest @@ -0,0 +1 @@ +DIST async_log-0.17.0.tar.gz 30105 BLAKE2B d1cb43c0a849d94957bd86f8a40207f843d473463c8207bfc41347c90d675fc0b3b3a1cb0fb9a7280bff03fb4b8cad2cc7b4e809f45bf371f8213612ce0321a0 SHA512 a98974dd4ff054d110b66956ae60272baca0acbe18ae3a57f4a2c28774cd9c108d3fbc7a7d7b289628f45efafb46d6347ba192cf948a8f941fc916fe61e96d51 diff --git a/dev-ml/async_log/async_log-0.17.0.ebuild b/dev-ml/async_log/async_log-0.17.0.ebuild new file mode 100644 index 000000000000..3d01e93031f8 --- /dev/null +++ b/dev-ml/async_log/async_log-0.17.0.ebuild @@ -0,0 +1,28 @@ +# Copyright 2024 Gentoo Authors +# Distributed under the terms of the GNU General Public License v2 + +EAPI=8 + +inherit dune + +DESCRIPTION="Logging library built on top of Async_unix" +HOMEPAGE="https://github.com/janestreet/async_log" +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" +IUSE="+ocamlopt" + +RDEPEND=" + >=dev-lang/ocaml-5 + dev-ml/async_kernel:${SLOT}[ocamlopt?] + dev-ml/async_unix:${SLOT}[ocamlopt?] + dev-ml/core:${SLOT}[ocamlopt?] + dev-ml/core_kernel:${SLOT}[ocamlopt?] + dev-ml/ppx_jane:${SLOT}[ocamlopt?] + dev-ml/timezone:${SLOT}[ocamlopt?] + dev-ml/uopt:${SLOT}[ocamlopt?] +" +DEPEND="${RDEPEND}" +BDEPEND=">=dev-ml/dune-3.11" diff --git a/dev-ml/async_log/metadata.xml b/dev-ml/async_log/metadata.xml new file mode 100644 index 000000000000..f62229c06506 --- /dev/null +++ b/dev-ml/async_log/metadata.xml @@ -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/async_log</remote-id> + </upstream> +</pkgmetadata> diff --git a/profiles/package.mask b/profiles/package.mask index ff70f7c6ef4f..8b7af4321240 100644 --- a/profiles/package.mask +++ b/profiles/package.mask @@ -299,6 +299,7 @@ dev-ml/async_kernel:0/0.17 dev-ml/async_unix:0/0.17 dev-ml/protocol_version_header:0/0.17 dev-ml/async_rpc_kernel:0/0.17 +dev-ml/async_log:0/0.17 # Arthur Zamarin <arthurzam@gentoo.org> (2024-06-08) # EAPI=6, waiting for a version bump, not maintained for many years. |