diff options
| author |   Mark Wright <gienah@gentoo.org> | 2020-10-13 17:42:13 +1100 |
|---|---|---|
| committer | Mark Wright <gienah@gentoo.org> | 2020-10-13 23:53:40 +1100 |
| commit | f01775cf3558e70ddc9d0f4b2b5b5c26c0131e70 (patch) | |
| tree | dd57a9f02aa1428bc218568a607d124481e0c4d0 /dev-ml/ppx_module_timer | |
| parent | dev-ml/ppx_metaquot: Bump to 0.11.0 (diff) | |
| download | gentoo-f01775cf3558e70ddc9d0f4b2b5b5c26c0131e70.tar.gz gentoo-f01775cf3558e70ddc9d0f4b2b5b5c26c0131e70.tar.bz2 gentoo-f01775cf3558e70ddc9d0f4b2b5b5c26c0131e70.zip | |
dev-ml/ppx_module_timer: Dependency of dev-ml/ppx_jane
Co-Author: Alexis Ballier <aballier@gentoo.org>
Package-Manager: Portage-3.0.8, Repoman-3.0.1
Signed-off-by: Mark Wright <gienah@gentoo.org>
Diffstat (limited to 'dev-ml/ppx_module_timer')
| -rw-r--r-- | dev-ml/ppx_module_timer/Manifest | 1 | ||||
| -rw-r--r-- | dev-ml/ppx_module_timer/metadata.xml | 11 | ||||
| -rw-r--r-- | dev-ml/ppx_module_timer/ppx_module_timer-0.14.0.ebuild | 25 |
3 files changed, 37 insertions, 0 deletions
diff --git a/dev-ml/ppx_module_timer/Manifest b/dev-ml/ppx_module_timer/Manifest new file mode 100644 index 000000000000..e07961242984 --- /dev/null +++ b/dev-ml/ppx_module_timer/Manifest @@ -0,0 +1 @@ +DIST ppx_module_timer-0.14.0.tar.gz 7262 BLAKE2B 6fafc6b4b449071f4a95619d078814b0c3ace3574df46585b72549e5db349ab476124c217f46c6903c7c8a059f779dc62cc8a079eb1ef6b4854646fdabdf04bf SHA512 cd9b6bbd6461b7408a31a0f6ca010a3c755db1f4a22150645c530e7b4a0a4c76a308ad0f8aeddc54914a116f6d74bd738604cfd9d9d255197f9ea18904d715e7 diff --git a/dev-ml/ppx_module_timer/metadata.xml b/dev-ml/ppx_module_timer/metadata.xml new file mode 100644 index 000000000000..b993e4623ddc --- /dev/null +++ b/dev-ml/ppx_module_timer/metadata.xml @@ -0,0 +1,11 @@ +<?xml version='1.0' encoding='UTF-8'?> +<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd"> +<pkgmetadata> + <maintainer type="person"> + <email>gienah@gentoo.org</email> + <name>Mark Wright</name> + </maintainer> + <upstream> + <remote-id type="github">janestreet/ppx_module_timer</remote-id> + </upstream> +</pkgmetadata> diff --git a/dev-ml/ppx_module_timer/ppx_module_timer-0.14.0.ebuild b/dev-ml/ppx_module_timer/ppx_module_timer-0.14.0.ebuild new file mode 100644 index 000000000000..5becf5b05ffd --- /dev/null +++ b/dev-ml/ppx_module_timer/ppx_module_timer-0.14.0.ebuild @@ -0,0 +1,25 @@ +# Copyright 1999-2020 Gentoo Authors +# Distributed under the terms of the GNU General Public License v2 + +EAPI=7 + +inherit dune + +DESCRIPTION="Ppx rewriter that records top-level module startup times" +HOMEPAGE="https://github.com/janestreet/ppx_module_timer" +SRC_URI="https://github.com/janestreet/${PN}/archive/v${PV}.tar.gz -> ${P}.tar.gz" + +LICENSE="MIT" +SLOT="0/${PV}" +KEYWORDS="~amd64" +IUSE="+ocamlopt" + +DEPEND=" + dev-ml/base:= + dev-ml/ppx_base:= + dev-ml/stdio:= + dev-ml/time_now:= + dev-ml/ppxlib:= + dev-ml/result:= +" +RDEPEND="${DEPEND}" |