diff options
| author | V3n3RiX <venerix@redcorelinux.org> | 2017-10-09 18:53:29 +0100 |
|---|---|---|
| committer | V3n3RiX <venerix@redcorelinux.org> | 2017-10-09 18:53:29 +0100 |
| commit | 4f2d7949f03e1c198bc888f2d05f421d35c57e21 (patch) | |
| tree | ba5f07bf3f9d22d82e54a462313f5d244036c768 /dev-ml/core_profiler | |
reinit the tree, so we can have metadata
Diffstat (limited to 'dev-ml/core_profiler')
| -rw-r--r-- | dev-ml/core_profiler/Manifest | 5 | ||||
| -rw-r--r-- | dev-ml/core_profiler/core_profiler-0.9.0.ebuild | 33 | ||||
| -rw-r--r-- | dev-ml/core_profiler/metadata.xml | 11 |
3 files changed, 49 insertions, 0 deletions
diff --git a/dev-ml/core_profiler/Manifest b/dev-ml/core_profiler/Manifest new file mode 100644 index 000000000000..d05548ab65ee --- /dev/null +++ b/dev-ml/core_profiler/Manifest @@ -0,0 +1,5 @@ +DIST core_profiler-0.9.0.tar.gz 60467 SHA256 57943906e5cfcbe0b77f8d0d30333877b47bbe2e9411e83a3706feb9b6bb3deb SHA512 6d3ad9cef7dd500642bf139503fc873668ca69733c29a4bcb224b27cad604422d87626431f38f29088807f577c4a6445fdc67531329bbcd842b0921976cbe5f9 WHIRLPOOL ee568c46f45dd2ac2a2bb432cb1a43c2c2aafa2112e2d4b6e1dff5bd6432615548897d2c098d8112ce8c72e9279e6936c9103c007ac5e8155096315a83ace010 +EBUILD core_profiler-0.9.0.ebuild 756 SHA256 8b7a9ae495e60e7589432783f28df826219cf62ae5bdcbfba4963d2cc40b10f4 SHA512 42788056359786c3c9edb7e2536e043f2081d768a662aebf0345805c9e67999f3a94c0e7133256bd8d5167126582de94a3992a5caf9956ed67525ab66376af89 WHIRLPOOL 7b2cc21d201afc4e6518d8c7aa70c2280b450055a35087f3ed51636ab0087a65eefdc9bb7912a7f20312eaf46d42b558a629f8b5f4a204dcbbc6085dc0801e21 +MISC ChangeLog 3333 SHA256 1206f1ddc0a40d6fb079e379fc656a75eddf5991d044943dfd6ed9bb1d534039 SHA512 b5d6237ac32e370a8223df8c22b09299ddc52ec8966bc03f58ac44900fec70eb1a7398555717247f1d62fb66cff13a69c41845bdde8a0d32629c89a15871a156 WHIRLPOOL 11a8b9101bd37048511c29dfb9e02c7d64cf44df6a557f73f78590557e8a08020c4b071e2f507132610db2e44f6e72020a5c57c58b7b3a7aeb8c9de40af64c6f +MISC ChangeLog-2015 389 SHA256 1bfc9c5c0493e9e5c17d14b27049ea4308976fe5176ec7221802a537c2cfc4ce SHA512 eb326190aa473581c004009ffd74235085f1140cc428fb06f2211581aee36873cc8a7fa2f7a95acf7d8071f2e830f71926eb3e31ef9e96c6b5f1e7f94a924734 WHIRLPOOL a7fb0b2d1daacad1ba118ea94bcaaa4196b88470312129c63ed8293f4d50a9b11f4489e9a9b9efecb7e3f968008d5bed79d45368eca7ae4eaedbbbbb6a22ea89 +MISC metadata.xml 336 SHA256 d37d0a530147da5c41dc3341f917a011c55a61c0bb0ff18432cedee799119663 SHA512 8f89302bc1ccb02758da857bd0051d1ea1f9211b00cfbd728ca6ee2fb5c81cf85f7e22340ff84559d988cde56ec5df272d4783c9a1b83307bf5a048e9968c899 WHIRLPOOL bdd3809bcbf34f30ce32a2d8f83bc3be040ed2dac16a1c3f3d1bd10897941b8a590bdbee44ade62e5ffb706bb8210366694aa3a6e7ff5b56e90a714eeb7032ed diff --git a/dev-ml/core_profiler/core_profiler-0.9.0.ebuild b/dev-ml/core_profiler/core_profiler-0.9.0.ebuild new file mode 100644 index 000000000000..bf5b496ea736 --- /dev/null +++ b/dev-ml/core_profiler/core_profiler-0.9.0.ebuild @@ -0,0 +1,33 @@ +# Copyright 1999-2017 Gentoo Foundation +# Distributed under the terms of the GNU General Public License v2 + +EAPI=6 + +DESCRIPTION="Jane Street's profiling library" +HOMEPAGE="https://github.com/janestreet/core_profiler" +SRC_URI="https://github.com/janestreet/${PN}/archive/v${PV}.tar.gz -> ${P}.tar.gz" + +LICENSE="Apache-2.0" +SLOT="0/${PV}" +KEYWORDS="~amd64" +IUSE="" + +RDEPEND=" + dev-lang/ocaml:= + dev-ml/core:= + dev-ml/core_extended:= + dev-ml/ppx_driver:= + dev-ml/ppx_jane:= + dev-ml/re2:= + dev-ml/textutils:= + dev-ml/ocaml-migrate-parsetree:= + " +DEPEND="${RDEPEND} dev-ml/opam dev-ml/jbuilder" + +src_install() { + opam-installer -i \ + --prefix="${ED}/usr" \ + --libdir="${D}/$(ocamlc -where)" \ + --docdir="${ED}/usr/share/doc/${PF}" \ + ${PN}.install || die +} diff --git a/dev-ml/core_profiler/metadata.xml b/dev-ml/core_profiler/metadata.xml new file mode 100644 index 000000000000..5547e488ffc3 --- /dev/null +++ b/dev-ml/core_profiler/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="project"> + <email>ml@gentoo.org</email> + <name>Gentoo ML Project</name> + </maintainer> + <upstream> + <remote-id type="github">janestreet/core_profiler</remote-id> + </upstream> +</pkgmetadata> |