summaryrefslogtreecommitdiff
path: root/dev-ml
diff options
context:
space:
mode:
authorAlexis Ballier <aballier@gentoo.org>2016-03-22 11:35:26 +0100
committerAlexis Ballier <aballier@gentoo.org>2016-03-22 11:55:41 +0100
commit949b8134972d052953396d7c844c27f26170a778 (patch)
tree39ed55e895483105b7df78b3cb60abe9b0742599 /dev-ml
parentdev-ml/core_extended: bump to 113.33.00 (diff)
downloadgentoo-949b8134972d052953396d7c844c27f26170a778.tar.gz
gentoo-949b8134972d052953396d7c844c27f26170a778.tar.bz2
gentoo-949b8134972d052953396d7c844c27f26170a778.zip
dev-ml/core_profiler: bump to 113.33.00
Package-Manager: portage-2.2.28 Signed-off-by: Alexis Ballier <aballier@gentoo.org>
Diffstat (limited to 'dev-ml')
-rw-r--r--dev-ml/core_profiler/Manifest1
-rw-r--r--dev-ml/core_profiler/core_profiler-113.33.00.ebuild57
2 files changed, 58 insertions, 0 deletions
diff --git a/dev-ml/core_profiler/Manifest b/dev-ml/core_profiler/Manifest
index b3a7c9227c2a..c6508a94df7e 100644
--- a/dev-ml/core_profiler/Manifest
+++ b/dev-ml/core_profiler/Manifest
@@ -1 +1,2 @@
DIST core_profiler-113.24.00.tar.gz 109484 SHA256 51e1f73c63e08e97c66a2ce582ef40c74f4f5fd69cf862f867b6c3468bd318ff SHA512 cf6e44fcbe04ad27c48849b7b63865c66456bfa69e603342e5d0fdcb53d734ad3fc9f5cdf275a2a8d0655c5aa3e139ffe14f8cf7ef3956730dc654ff677098ee WHIRLPOOL 3865966c29d978754a613c2dd0b0a3cb130b247c93b7af54eb06197ad19bb7f89da5d92177cfa4f12a5756f884333d09fa41bbc8eb6bf785f6cfc78f3951c9dc
+DIST core_profiler-113.33.00.tar.gz 109835 SHA256 f170ca83f1d30017755b88251c52a2cbe473d57e1229ba48db29fe886412ee54 SHA512 9ebdf6066f0501db3fc258a8b1e6c4bb904cad55194946f28dca17be6dfee3ff428b7e9b6d0563ac7114cc403aee1281253ef50b998a5e12aabbce6fde9e7deb WHIRLPOOL 8d6a927055d51c8be1d8ef3e64e44f266d4f4747dc6d1d20d84d858435d001d4187bbdb9ae05dae4fcd80b6d21391576312cbad5ee6c1779183af4ec564dd222
diff --git a/dev-ml/core_profiler/core_profiler-113.33.00.ebuild b/dev-ml/core_profiler/core_profiler-113.33.00.ebuild
new file mode 100644
index 000000000000..49d2adf7894d
--- /dev/null
+++ b/dev-ml/core_profiler/core_profiler-113.33.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
+}