diff options
| author | V3n3RiX <venerix@redcorelinux.org> | 2018-07-14 21:03:06 +0100 |
|---|---|---|
| committer | V3n3RiX <venerix@redcorelinux.org> | 2018-07-14 21:03:06 +0100 |
| commit | 8376ef56580626e9c0f796d5b85b53a0a1c7d5f5 (patch) | |
| tree | 7681bbd4e8b05407772df40a4bf04cbbc8afc3fa /dev-ml/mirage-profile | |
| parent | 30a9caf154332f12ca60756e1b75d2f0e3e1822d (diff) | |
gentoo resync : 14.07.2018
Diffstat (limited to 'dev-ml/mirage-profile')
| -rw-r--r-- | dev-ml/mirage-profile/Manifest | 3 | ||||
| -rw-r--r-- | dev-ml/mirage-profile/metadata.xml | 11 | ||||
| -rw-r--r-- | dev-ml/mirage-profile/mirage-profile-0.7.0-r1.ebuild | 32 |
3 files changed, 46 insertions, 0 deletions
diff --git a/dev-ml/mirage-profile/Manifest b/dev-ml/mirage-profile/Manifest new file mode 100644 index 000000000000..64c6aba6b001 --- /dev/null +++ b/dev-ml/mirage-profile/Manifest @@ -0,0 +1,3 @@ +DIST mirage-profile-0.7.0.tar.gz 55531 BLAKE2B 1432d187b5e99723cd7135980495e03b7119f41686b1e8dc1c947227436154abce53eae3d17f8eceb8e87a0b01b03d5d995e85a566a3d566aee05ac7104bda30 SHA512 58a6224942f8395ec78936b29d1a0f39eb0228cdb6a139a942f4bf675b35e0e9157d3e57d0c8953cf168fc5ba4356158e339a31b3719cdaf534f52c51c7a0b47 +EBUILD mirage-profile-0.7.0-r1.ebuild 665 BLAKE2B d555972fab0d7fa9950267f7e77e9b494ccfa2a769583267990c8dd156d4ac37a03a52450cc3810b1ba547cacf9142d8bdb8917f163967f722bf21f15d9d6d01 SHA512 761c5fae2a482586dae71374593420964fc807a9a2aca98566602c23f0f8421501635f2017112f65e88af00365034998532e1158a515d8ac85d6fe654534a56f +MISC metadata.xml 361 BLAKE2B 6698e9229857b3f4a37f0f44abde15ad871ed24f777ffac1ad250ca9b70a16ef2d803f948f35036326380cf31409dc50f66386a1d0f803d60ee3e1fcd3d5043f SHA512 af65e9f8fb6e484b7c5a54a219b928929b3010bcb60a28e1e29ee7f6ae5aab46e6ce28235442f659ef1f92a330927129e97d6472c82753a3877c65e8e7ccfa9e diff --git a/dev-ml/mirage-profile/metadata.xml b/dev-ml/mirage-profile/metadata.xml new file mode 100644 index 000000000000..6ed0938f83b5 --- /dev/null +++ b/dev-ml/mirage-profile/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">mirage/mirage-profile</remote-id> + </upstream> +</pkgmetadata> diff --git a/dev-ml/mirage-profile/mirage-profile-0.7.0-r1.ebuild b/dev-ml/mirage-profile/mirage-profile-0.7.0-r1.ebuild new file mode 100644 index 000000000000..1757681ac744 --- /dev/null +++ b/dev-ml/mirage-profile/mirage-profile-0.7.0-r1.ebuild @@ -0,0 +1,32 @@ +# Copyright 1999-2015 Gentoo Foundation +# Distributed under the terms of the GNU General Public License v2 + +EAPI=5 +OASIS_BUILD_TESTS=1 + +inherit oasis + +DESCRIPTION="Collect profiling information" +HOMEPAGE="https://github.com/mirage/mirage-profile https://mirage.io" +SRC_URI="https://github.com/mirage/${PN}/archive/v${PV}.tar.gz -> ${P}.tar.gz" + +LICENSE="BSD-2" +SLOT="0/${PV}" +KEYWORDS="~amd64" +IUSE="" +# https://github.com/mirage/mirage-profile/issues/11 +RESTRICT="test" + +RDEPEND=" + >=dev-lang/ocaml-4:= + dev-ml/io-page:= + dev-ml/lwt:= + >=dev-ml/ocaml-cstruct-1.9.0:=[ppx(-)] + dev-ml/ppx_tools:= + dev-ml/ocplib-endian:= +" +DEPEND=" + ${RDEPEND} +" + +DOCS=( README.md ) |