diff options
| author | V3n3RiX <venerix@redcorelinux.org> | 2020-11-25 22:39:15 +0000 |
|---|---|---|
| committer | V3n3RiX <venerix@redcorelinux.org> | 2020-11-25 22:39:15 +0000 |
| commit | d934827bf44b7cfcf6711964418148fa60877668 (patch) | |
| tree | 0625f358789b5e015e49db139cc1dbc9be00428f /dev-ml/ppx_module_timer | |
| parent | 2e34d110f164bf74d55fced27fe0000201b3eec5 (diff) | |
gentoo resync : 25.11.2020
Diffstat (limited to 'dev-ml/ppx_module_timer')
| -rw-r--r-- | dev-ml/ppx_module_timer/Manifest | 3 | ||||
| -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 | 27 |
3 files changed, 41 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..2bad5e46024e --- /dev/null +++ b/dev-ml/ppx_module_timer/Manifest @@ -0,0 +1,3 @@ +DIST ppx_module_timer-0.14.0.tar.gz 7262 BLAKE2B 6fafc6b4b449071f4a95619d078814b0c3ace3574df46585b72549e5db349ab476124c217f46c6903c7c8a059f779dc62cc8a079eb1ef6b4854646fdabdf04bf SHA512 cd9b6bbd6461b7408a31a0f6ca010a3c755db1f4a22150645c530e7b4a0a4c76a308ad0f8aeddc54914a116f6d74bd738604cfd9d9d255197f9ea18904d715e7 +EBUILD ppx_module_timer-0.14.0.ebuild 698 BLAKE2B 505e84cada63476532c1cb761b783e0fed9b3252737c95e21ae1ba0c0f1edd5d3d06abade388f41780911346d8a5b7e25297e4c6e900175bb7fac7465da3908d SHA512 b9604ba88f529d83af34b3a61ae133b562016fd61ae4891a5ccccd076c9a764764781aff977c879b085c2d4683bb4008b1be7955edd3c83c483da6b02995c14f +MISC metadata.xml 336 BLAKE2B fcd9193e61914fe9c93d8cfe3f70b49d1824f003d1e335ce82b97396d258ab33137f3d4c2d75e6a3ea34fd81b86fb9f246074745eaee78e22103d4a6d7a312cf SHA512 8d07c2758fab53cb742090d7c33fb1f5af751d6e7bd0c2c7e8386590b41125476102451676bddd65d01a536cdbaf2bf86f31f9fecf672566176ce45f11ca951b 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..c4ce24c4a2ff --- /dev/null +++ b/dev-ml/ppx_module_timer/ppx_module_timer-0.14.0.ebuild @@ -0,0 +1,27 @@ +# 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 ~arm ~arm64 ~ppc ~ppc64 ~x86" +IUSE="+ocamlopt" + +DEPEND=" + >=dev-ml/base-0.14.0:= + >=dev-ml/ppx_base-0.14.0:= + >=dev-ml/stdio-0.14.0:= + >=dev-ml/time_now-0.14.0:= + >=dev-ml/ppxlib-0.18.0:= + >=dev-ml/ocaml-compiler-libs-0.11.0:= + >=dev-ml/ocaml-migrate-parsetree-2.0.0:= + dev-ml/cinaps:= +" +RDEPEND="${DEPEND}" |