From 8376ef56580626e9c0f796d5b85b53a0a1c7d5f5 Mon Sep 17 00:00:00 2001
From: V3n3RiX <venerix@redcorelinux.org>
Date: Sat, 14 Jul 2018 21:03:06 +0100
Subject: gentoo resync : 14.07.2018

---
 dev-ml/mirage-profile/Manifest                     |  3 ++
 dev-ml/mirage-profile/metadata.xml                 | 11 ++++++++
 .../mirage-profile/mirage-profile-0.7.0-r1.ebuild  | 32 ++++++++++++++++++++++
 3 files changed, 46 insertions(+)
 create mode 100644 dev-ml/mirage-profile/Manifest
 create mode 100644 dev-ml/mirage-profile/metadata.xml
 create mode 100644 dev-ml/mirage-profile/mirage-profile-0.7.0-r1.ebuild

(limited to 'dev-ml/mirage-profile')

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 )
-- 
cgit v1.2.3