summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
Diffstat (limited to 'dev-ml/ppx_log')
-rw-r--r--dev-ml/ppx_log/Manifest1
-rw-r--r--dev-ml/ppx_log/metadata.xml11
-rw-r--r--dev-ml/ppx_log/ppx_log-0.15.0.ebuild22
3 files changed, 34 insertions, 0 deletions
diff --git a/dev-ml/ppx_log/Manifest b/dev-ml/ppx_log/Manifest
new file mode 100644
index 000000000000..31481663845b
--- /dev/null
+++ b/dev-ml/ppx_log/Manifest
@@ -0,0 +1 @@
+DIST ppx_log-0.15.0.tar.gz 6672 BLAKE2B 3b45e705dfe6256d95e52b3fb1b1f98599d48fba6d4c565df95319566d5ab62965182d265db68a9b2f0b7e32103861639ff9ca46e1980e93e63abdeae83e79cd SHA512 1585f82615def2fc1c94853e9a1b9e3ebd2ef8193067f229f24580ea124c06736a2b361377801b9a44b7347e1938da051ed652764142e2270de3d3e8f375bf46
diff --git a/dev-ml/ppx_log/metadata.xml b/dev-ml/ppx_log/metadata.xml
new file mode 100644
index 000000000000..0a492ea7ad77
--- /dev/null
+++ b/dev-ml/ppx_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/ppx_log</remote-id>
+ </upstream>
+</pkgmetadata>
diff --git a/dev-ml/ppx_log/ppx_log-0.15.0.ebuild b/dev-ml/ppx_log/ppx_log-0.15.0.ebuild
new file mode 100644
index 000000000000..3f2040cb7317
--- /dev/null
+++ b/dev-ml/ppx_log/ppx_log-0.15.0.ebuild
@@ -0,0 +1,22 @@
+# Copyright 2022 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+inherit dune
+
+DESCRIPTION="Lazily rendering log messages"
+HOMEPAGE="https://github.com/janestreet/ppx_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"
+IUSE="+ocamlopt"
+
+DEPEND="
+ dev-ml/ppx_sexp_message:${SLOT}
+ dev-ml/sexplib:${SLOT}
+"
+RDEPEND="${DEPEND}"
+BDEPEND=""