summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorAlexis Ballier <aballier@gentoo.org>2016-02-05 20:40:02 +0100
committerAlexis Ballier <aballier@gentoo.org>2016-02-05 21:59:02 +0100
commitcf25bca1660c21664a2711dfb1ccbd93e9534fa6 (patch)
tree14cd56afc5a1aa7d1f94074d4bbb178245d368f7 /dev-ml/core_profiler
parentdev-ml/core_extended: bump to 113.24.00 (diff)
downloadgentoo-cf25bca1660c21664a2711dfb1ccbd93e9534fa6.tar.gz
gentoo-cf25bca1660c21664a2711dfb1ccbd93e9534fa6.tar.bz2
gentoo-cf25bca1660c21664a2711dfb1ccbd93e9534fa6.zip
dev-ml/core_profiler: bump to 113.24.00
Package-Manager: portage-2.2.27 Signed-off-by: Alexis Ballier <aballier@gentoo.org>
Diffstat (limited to 'dev-ml/core_profiler')
-rw-r--r--dev-ml/core_profiler/Manifest1
-rw-r--r--dev-ml/core_profiler/core_profiler-113.24.00.ebuild57
2 files changed, 58 insertions, 0 deletions
diff --git a/dev-ml/core_profiler/Manifest b/dev-ml/core_profiler/Manifest
index eaca5359024c..3ca086deb676 100644
--- a/dev-ml/core_profiler/Manifest
+++ b/dev-ml/core_profiler/Manifest
@@ -1,2 +1,3 @@
DIST core_profiler-112.35.00.tar.gz 102445 SHA256 f5aea31c1026a6175ecfa5f1681f8da4eb5be037942331feed7a59e9de66accb SHA512 3b04853e9edfa57b147e4d9e264d369fc53c657f04e9ec63778f7eff04493ce19998bb9e35c9330c9202eaf7c16907334e6cc29f536bb5ce424b7d20ad8a0157 WHIRLPOOL 595418b50dca93b51eb85e82ddfa19d26554162276a1f64e4b57276b9121398f940c4885d1f8257bac995eaec2d685226a13fe2db6735404fc2187466bc2dfaa
DIST core_profiler-113.00.00.tar.gz 103105 SHA256 0f3d1527369529a3fa9ea69b9b8758bff98264b8e126b0d933463d2875448276 SHA512 3ea69b055511a94d00762f40df3a9f394ef4725984596e92ccfb2506834e2c514cea8eaa1442916d3d2472db6807bc4d6d80cc6791007bbc17a8c63968e86065 WHIRLPOOL 3555cb3b4cf8ad5944b4ae3301d7474c872f9be5fb6c14567b175f9387d4255437452f285f0d0b444f25602bcb57eac6ae74767c5bd01da83d442e88c12a2241
+DIST core_profiler-113.24.00.tar.gz 109484 SHA256 51e1f73c63e08e97c66a2ce582ef40c74f4f5fd69cf862f867b6c3468bd318ff SHA512 cf6e44fcbe04ad27c48849b7b63865c66456bfa69e603342e5d0fdcb53d734ad3fc9f5cdf275a2a8d0655c5aa3e139ffe14f8cf7ef3956730dc654ff677098ee WHIRLPOOL 3865966c29d978754a613c2dd0b0a3cb130b247c93b7af54eb06197ad19bb7f89da5d92177cfa4f12a5756f884333d09fa41bbc8eb6bf785f6cfc78f3951c9dc
diff --git a/dev-ml/core_profiler/core_profiler-113.24.00.ebuild b/dev-ml/core_profiler/core_profiler-113.24.00.ebuild
new file mode 100644
index 000000000000..49d2adf7894d
--- /dev/null
+++ b/dev-ml/core_profiler/core_profiler-113.24.00.ebuild
@@ -0,0 +1,57 @@
+# Copyright 1999-2015 Gentoo Foundation
+# Distributed under the terms of the GNU General Public License v2
+# $Id$
+
+EAPI="5"
+
+OASIS_BUILD_DOCS=1
+OASIS_BUILD_TESTS=1
+
+inherit eutils oasis
+
+MY_P=${P/_/\~}
+DESCRIPTION="Jane Street's profiling library"
+HOMEPAGE="http://www.janestreet.com/ocaml"
+SRC_URI="http://ocaml.janestreet.com/ocaml-core/${PV%.*}/files/${P}.tar.gz"
+
+LICENSE="LGPL-2.1-with-linking-exception"
+SLOT="0/${PV}"
+KEYWORDS="~amd64"
+IUSE=""
+
+RDEPEND="
+ dev-ml/core:=
+ dev-ml/core_extended:=
+ dev-ml/bin-prot:=
+ dev-ml/fieldslib:=
+ dev-ml/ppx_assert:=
+ dev-ml/ppx_bench:=
+ dev-ml/ppx_driver:=
+ dev-ml/ppx_expect:=
+ dev-ml/ppx_inline_test:=
+ dev-ml/ppx_jane:=
+ dev-ml/re2:=
+ dev-ml/sexplib:=
+ dev-ml/textutils:=
+ dev-ml/typerep:=
+ dev-ml/variantslib:=
+ "
+DEPEND="${RDEPEND} dev-ml/opam"
+
+src_configure() {
+ emake setup.exe
+ OASIS_SETUP_COMMAND="./setup.exe" oasis_src_configure
+}
+
+src_compile() {
+ emake
+}
+
+src_install() {
+ opam-installer -i \
+ --prefix="${ED}/usr" \
+ --libdir="${D}/$(ocamlc -where)" \
+ --docdir="${ED}/usr/share/doc/${PF}" \
+ ${PN}.install || die
+ dodoc CHANGES.md
+}