summaryrefslogtreecommitdiff
path: root/dev-ml
diff options
context:
space:
mode:
authorMaciej Barć <xgqt@gentoo.org>2023-09-30 15:46:53 +0200
committerMaciej Barć <xgqt@gentoo.org>2023-09-30 16:24:28 +0200
commit34cf02818c6d6969f84b009d9042dd6166b094f4 (patch)
tree587462de86f7ea047668a70bed485d8cb2a6533c /dev-ml
parentdev-ml/ocaml-ssl: bump to 0.7.0 (diff)
downloadgentoo-34cf02818c6d6969f84b009d9042dd6166b094f4.tar.gz
gentoo-34cf02818c6d6969f84b009d9042dd6166b094f4.tar.bz2
gentoo-34cf02818c6d6969f84b009d9042dd6166b094f4.zip
dev-ml/memtrace: new package; add 0.2.3
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Diffstat (limited to 'dev-ml')
-rw-r--r--dev-ml/memtrace/Manifest1
-rw-r--r--dev-ml/memtrace/memtrace-0.2.3.ebuild24
-rw-r--r--dev-ml/memtrace/metadata.xml13
3 files changed, 38 insertions, 0 deletions
diff --git a/dev-ml/memtrace/Manifest b/dev-ml/memtrace/Manifest
new file mode 100644
index 000000000000..1b448e9e20b5
--- /dev/null
+++ b/dev-ml/memtrace/Manifest
@@ -0,0 +1 @@
+DIST memtrace-0.2.3.tar.gz 1237922 BLAKE2B 936761946c51db5681a53f1bcaa9768e7c0fcaf0777f06e6c85f997a807c3d71ae3766d41fe8913bf5c7ab77477f253661ae5341ddcc0c240ef01cc699e167af SHA512 53acbbe5e3b674982d36f58409e14e7f4cf9cbdd8e4f9fcf7901457750fb0754b8ec83cd412c07217cffcbd370c1696bd455039344a6331fb1330cf560eef454
diff --git a/dev-ml/memtrace/memtrace-0.2.3.ebuild b/dev-ml/memtrace/memtrace-0.2.3.ebuild
new file mode 100644
index 000000000000..d66a6056658c
--- /dev/null
+++ b/dev-ml/memtrace/memtrace-0.2.3.ebuild
@@ -0,0 +1,24 @@
+# Copyright 1999-2023 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+inherit dune
+
+DESCRIPTION=" Streaming client for OCaml's Memprof "
+HOMEPAGE="https://github.com/janestreet/memtrace/"
+
+if [[ "${PV}" == *9999* ]] ; then
+ inherit git-r3
+
+ EGIT_REPO_URI="https://github.com/janestreet/${PN}.git"
+else
+ SRC_URI="https://github.com/janestreet/${PN}/archive/v${PV}.tar.gz
+ -> ${P}.tar.gz"
+
+ KEYWORDS="~amd64 ~x86"
+fi
+
+LICENSE="MIT"
+SLOT="0"
+IUSE="+ocamlopt"
diff --git a/dev-ml/memtrace/metadata.xml b/dev-ml/memtrace/metadata.xml
new file mode 100644
index 000000000000..52496b943271
--- /dev/null
+++ b/dev-ml/memtrace/metadata.xml
@@ -0,0 +1,13 @@
+<?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>
+ <bugs-to>https://gitlab.com/janestreet/memtrace/issues/</bugs-to>
+ <remote-id type="github">janestreet/memtrace</remote-id>
+ </upstream>
+</pkgmetadata>