summaryrefslogtreecommitdiff
path: root/dev-ml/mirage-profile
diff options
context:
space:
mode:
authorV3n3RiX <venerix@redcorelinux.org>2017-10-09 18:53:29 +0100
committerV3n3RiX <venerix@redcorelinux.org>2017-10-09 18:53:29 +0100
commit4f2d7949f03e1c198bc888f2d05f421d35c57e21 (patch)
treeba5f07bf3f9d22d82e54a462313f5d244036c768 /dev-ml/mirage-profile
reinit the tree, so we can have metadata
Diffstat (limited to 'dev-ml/mirage-profile')
-rw-r--r--dev-ml/mirage-profile/Manifest4
-rw-r--r--dev-ml/mirage-profile/metadata.xml11
-rw-r--r--dev-ml/mirage-profile/mirage-profile-0.7.0-r1.ebuild32
3 files changed, 47 insertions, 0 deletions
diff --git a/dev-ml/mirage-profile/Manifest b/dev-ml/mirage-profile/Manifest
new file mode 100644
index 000000000000..6719f398a46a
--- /dev/null
+++ b/dev-ml/mirage-profile/Manifest
@@ -0,0 +1,4 @@
+DIST mirage-profile-0.7.0.tar.gz 55531 SHA256 6ab8969a0ec47ba5d8a993c25dc328200ea9f89a91a6381408ee327fd1944063 SHA512 58a6224942f8395ec78936b29d1a0f39eb0228cdb6a139a942f4bf675b35e0e9157d3e57d0c8953cf168fc5ba4356158e339a31b3719cdaf534f52c51c7a0b47 WHIRLPOOL 4f045b86f03b7c6ca4d4811b8c0d56daaa754d23620743cebe186a31a82036f227e7b7a62517d9d1107c672f7ca06afb9e3b1eddd584208fdfd385693ea03c6d
+EBUILD mirage-profile-0.7.0-r1.ebuild 665 SHA256 a89070d33cc9595b300a462690af34cb260979d3f6e7b35e2f566834b850953a SHA512 761c5fae2a482586dae71374593420964fc807a9a2aca98566602c23f0f8421501635f2017112f65e88af00365034998532e1158a515d8ac85d6fe654534a56f WHIRLPOOL e6997ede7f8890fa6f9c27348e13610ccc0dc73b0cb056f24c6aca66db6374220ae7b2d083b4a608e045e8325f84be882a2900a89188a1550a0521210ac79387
+MISC ChangeLog 2645 SHA256 8a95a44f1dd700f71c2572878adc5c57a467054e6f355a9289808c34d7670cd3 SHA512 5f97d899cb08d663b7a9ac500cad9908d50afa0e67af888f962a976bb8197edab3fe9dff94904f15a8f2c19384f36b20cf8c87df6eb2d92ef40034e1fa7e3361 WHIRLPOOL 08edd50688d0b1cd2d3e5e2983ea7b889a789d337433a9cbedc6ec643049e4ec486e972f3ba5eb947c13204448e4be28fac35d2e4abf92d64d35769dd2ee67b0
+MISC metadata.xml 361 SHA256 24ab86de8f4ea6207878e7f9ff52381c05608753eee7f29d80017ec147ed5b90 SHA512 af65e9f8fb6e484b7c5a54a219b928929b3010bcb60a28e1e29ee7f6ae5aab46e6ce28235442f659ef1f92a330927129e97d6472c82753a3877c65e8e7ccfa9e WHIRLPOOL e5cc8b876387deef2f6147ee495710e684b157caf784b45452a0e5c6d505f97e11f517c91ab51c5fff0825994010ca447e0a5722785438757d651affe43b01bc
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 )