From 3c78a1ce7924fbf571e133e697f8a29e18d2bf4b Mon Sep 17 00:00:00 2001 From: V3n3RiX Date: Sat, 30 Sep 2023 17:40:25 +0100 Subject: gentoo auto-resync : 30:09:2023 - 17:40:25 --- dev-ml/memtrace/Manifest | 3 +++ dev-ml/memtrace/memtrace-0.2.3.ebuild | 24 ++++++++++++++++++++++++ dev-ml/memtrace/metadata.xml | 13 +++++++++++++ 3 files changed, 40 insertions(+) create mode 100644 dev-ml/memtrace/Manifest create mode 100644 dev-ml/memtrace/memtrace-0.2.3.ebuild create mode 100644 dev-ml/memtrace/metadata.xml (limited to 'dev-ml/memtrace') diff --git a/dev-ml/memtrace/Manifest b/dev-ml/memtrace/Manifest new file mode 100644 index 000000000000..dd7d1d7d67b1 --- /dev/null +++ b/dev-ml/memtrace/Manifest @@ -0,0 +1,3 @@ +DIST memtrace-0.2.3.tar.gz 1237922 BLAKE2B 936761946c51db5681a53f1bcaa9768e7c0fcaf0777f06e6c85f997a807c3d71ae3766d41fe8913bf5c7ab77477f253661ae5341ddcc0c240ef01cc699e167af SHA512 53acbbe5e3b674982d36f58409e14e7f4cf9cbdd8e4f9fcf7901457750fb0754b8ec83cd412c07217cffcbd370c1696bd455039344a6331fb1330cf560eef454 +EBUILD memtrace-0.2.3.ebuild 500 BLAKE2B 6a754ac39870c17ffa206a4a28bc55a7abc307c85e1438f7bb6febf7d612f056c2c24afa902fac19927d6f253739700a7471c1e125fe125fcd86d49a555db1b6 SHA512 af850aa0072cc6e3c4e7a6e3ec4765bdf97e5efb101fd4053bbf0d9b073d0cef1711017551ab6aa99321a02f2787b2179ae639506d42bc43458877caf261f94f +MISC metadata.xml 398 BLAKE2B b32b4b6d4721ce5d6ddbfbf1073207752d95b2ca949069c2f6c77c4a7fa19b961961725d7ba91a484e7e277cda2522b4261b9713488060329a93af6ca8da55e5 SHA512 04365f9d3fcc127706d85716f0880f7430fdd0587a9ec1c0db37e7e9e5ad1eebb91bfbaa38638d5a26520b9f0818aeda9cdf9e2bc774235f901b5466b612e483 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 @@ + + + + + + ml@gentoo.org + ML + + + https://gitlab.com/janestreet/memtrace/issues/ + janestreet/memtrace + + -- cgit v1.2.3