commit: 34cf02818c6d6969f84b009d9042dd6166b094f4 Author: Maciej Barć <xgqt <AT> gentoo <DOT> org> AuthorDate: Sat Sep 30 13:46:53 2023 +0000 Commit: Maciej Barć <xgqt <AT> gentoo <DOT> org> CommitDate: Sat Sep 30 14:24:28 2023 +0000 URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=34cf0281
dev-ml/memtrace: new package; add 0.2.3 Signed-off-by: Maciej Barć <xgqt <AT> gentoo.org> dev-ml/memtrace/Manifest | 1 + dev-ml/memtrace/memtrace-0.2.3.ebuild | 24 ++++++++++++++++++++++++ dev-ml/memtrace/metadata.xml | 13 +++++++++++++ 3 files changed, 38 insertions(+) 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>[email protected]</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>
