diff options
| author | Maciej Barć <xgqt@gentoo.org> | 2023-09-30 15:46:53 +0200 |
|---|---|---|
| committer | Maciej Barć <xgqt@gentoo.org> | 2023-09-30 16:24:28 +0200 |
| commit | 34cf02818c6d6969f84b009d9042dd6166b094f4 (patch) | |
| tree | 587462de86f7ea047668a70bed485d8cb2a6533c /dev-ml/memtrace/memtrace-0.2.3.ebuild | |
| parent | 3c6d86b32c7285e54d4ec0bd68bf5fb162eca549 (diff) | |
| download | gentoo-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/memtrace/memtrace-0.2.3.ebuild')
| -rw-r--r-- | dev-ml/memtrace/memtrace-0.2.3.ebuild | 24 |
1 files changed, 24 insertions, 0 deletions
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" |