summaryrefslogtreecommitdiff
path: root/dev-ml
diff options
context:
space:
mode:
authorAlexis Ballier <aballier@gentoo.org>2016-03-14 13:17:54 +0100
committerAlexis Ballier <aballier@gentoo.org>2016-03-14 13:18:03 +0100
commite12587b5f371c2a318dbb23eeec23bac7d67ff4c (patch)
treec99dfb98ce1e65564853227d54d2cf8858da10b2 /dev-ml
parentdev-ml/ocaml-dns: bump to 1.18.0 (diff)
downloadgentoo-e12587b5f371c2a318dbb23eeec23bac7d67ff4c.tar.gz
gentoo-e12587b5f371c2a318dbb23eeec23bac7d67ff4c.tar.bz2
gentoo-e12587b5f371c2a318dbb23eeec23bac7d67ff4c.zip
dev-ml/mirage-profile: bump to 0.7.0
Package-Manager: portage-2.2.28 Signed-off-by: Alexis Ballier <aballier@gentoo.org>
Diffstat (limited to 'dev-ml')
-rw-r--r--dev-ml/mirage-profile/Manifest1
-rw-r--r--dev-ml/mirage-profile/mirage-profile-0.7.0.ebuild32
2 files changed, 33 insertions, 0 deletions
diff --git a/dev-ml/mirage-profile/Manifest b/dev-ml/mirage-profile/Manifest
index 244345a29e8b..ebe9af6486e4 100644
--- a/dev-ml/mirage-profile/Manifest
+++ b/dev-ml/mirage-profile/Manifest
@@ -1,3 +1,4 @@
DIST mirage-profile-0.5.tar.gz 55122 SHA256 ae8a6dc953f4eddd4ce61aef36552036c1814732dd3d50e02ea2994d137b8c85 SHA512 a82c4f2c42a1b950726069ce6d64f403438847bb4f5023b022b20bd42dde29d679fed358c67c3eec3ad6e5c8253453b6d1008e5e52b37a373a62263a99aa35c2 WHIRLPOOL b054c5c19102f73f9b47d796b10f4bb3e83e3de336b936ced23623d9f1cb03899cf5434ce9bd91ebe68226f3707cbbcfcfb7bfce7585af51fcdcfe383e04eecc
DIST mirage-profile-0.6.1.tar.gz 55308 SHA256 870d536c8db32f160108155a04565561fcb481669121f623a6a599fac1eb419b SHA512 99955586d82f85fc31ddea15123e681cc1c8e11bbc489bfae0e8ee3576c15b63c5f170ba8042196d2501fd663d2367cb90abdffd62c3dda55fbdf69c639dd480 WHIRLPOOL fd38e26ba835651178ed000b5d144206d4c31bfbfe5fab7ce707f35038b04df4d680a408f89cfa2db044f762ec0858bed14c580d23d7200a97ebd50f572ef3e3
DIST mirage-profile-0.6.tar.gz 55287 SHA256 ecb2d7591eafa1d1f0cd751f2f3b88a96d308d48db0fdce025461d558ebcfe98 SHA512 65e756026a3b1f2c26763c5f645458c7a26aef3da4670e71da9deff156848f0db5cc56374db8984fe2c0ead2b50ba77d39535de0a6ee7a564523d50b487d6690 WHIRLPOOL a023d04b2ff1d96b04842f183a760af0df8c52ec162295d3f9b2d92e7258412c0acd975bd73c7cb7fb00a441ba24cb657bfb0a57e9dd913cef561592de2c8bf0
+DIST mirage-profile-0.7.0.tar.gz 55531 SHA256 6ab8969a0ec47ba5d8a993c25dc328200ea9f89a91a6381408ee327fd1944063 SHA512 58a6224942f8395ec78936b29d1a0f39eb0228cdb6a139a942f4bf675b35e0e9157d3e57d0c8953cf168fc5ba4356158e339a31b3719cdaf534f52c51c7a0b47 WHIRLPOOL 4f045b86f03b7c6ca4d4811b8c0d56daaa754d23620743cebe186a31a82036f227e7b7a62517d9d1107c672f7ca06afb9e3b1eddd584208fdfd385693ea03c6d
diff --git a/dev-ml/mirage-profile/mirage-profile-0.7.0.ebuild b/dev-ml/mirage-profile/mirage-profile-0.7.0.ebuild
new file mode 100644
index 000000000000..5b88e9a45d80
--- /dev/null
+++ b/dev-ml/mirage-profile/mirage-profile-0.7.0.ebuild
@@ -0,0 +1,32 @@
+# Copyright 1999-2015 Gentoo Foundation
+# Distributed under the terms of the GNU General Public License v2
+# $Id$
+
+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:=[camlp4(-)]
+ dev-ml/ocplib-endian:=
+"
+DEPEND="
+ ${RDEPEND}
+"
+
+DOCS=( README.md )