summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorAlexis Ballier <aballier@gentoo.org>2016-02-05 20:58:25 +0100
committerAlexis Ballier <aballier@gentoo.org>2016-02-05 21:59:02 +0100
commitf7fc9048138801b6dde43e5638560297e27ffee2 (patch)
tree60fc742d4ae9257d8afadc9a5e60a2117bcbe41a /dev-ml/async_kernel
parentdev-ml/bignum: remove old (diff)
downloadgentoo-f7fc9048138801b6dde43e5638560297e27ffee2.tar.gz
gentoo-f7fc9048138801b6dde43e5638560297e27ffee2.tar.bz2
gentoo-f7fc9048138801b6dde43e5638560297e27ffee2.zip
dev-ml/async_kernel: bump to 113.24.00
Package-Manager: portage-2.2.27 Signed-off-by: Alexis Ballier <aballier@gentoo.org>
Diffstat (limited to 'dev-ml/async_kernel')
-rw-r--r--dev-ml/async_kernel/Manifest1
-rw-r--r--dev-ml/async_kernel/async_kernel-113.24.00.ebuild52
2 files changed, 53 insertions, 0 deletions
diff --git a/dev-ml/async_kernel/Manifest b/dev-ml/async_kernel/Manifest
index 517b45453731..7cdc63f62e61 100644
--- a/dev-ml/async_kernel/Manifest
+++ b/dev-ml/async_kernel/Manifest
@@ -1,2 +1,3 @@
DIST async_kernel-112.35.00.tar.gz 142997 SHA256 6bb859c7ca8b6d6766d4cb4ff40ecc91ecf70ae4224c95a455e5edffd244f448 SHA512 f4b726bb801f2e698c9184a109bbc3b5921adfe2c44d9d219de0049b4623985ec9e5bb3fe8928a9d6c34ca30ff5b0c13bb4681f271c16305e82c476af9c99919 WHIRLPOOL ae06b260f13755d97eca5681fc3a3d86af1660d552ac349c3373ac630583f1e3120c77884cf040b237e566b65dac2b6df1562095d1d6891b2db7f86453e3f42d
DIST async_kernel-113.00.00.tar.gz 144896 SHA256 e100507b461ff0c22a126a085a3a32f63876a182ebdd38e7b45e88f479bee598 SHA512 e1908a7f9c819478601b9f3eb08b4dcc0479c49b457c9b0dc8d86721828c57ffd9a5f42d20015ea5271792b4d999a684dd798d977eac4ef8acf95f6383d591f2 WHIRLPOOL a1b83948dc0e2ec4b1a9eb3f6e6d9d6f365562fb01ae9badb4875bd89f00cff3bf9851b53b6c2f84c19c42a713ae0a12546bb16d139ce635d9245c3e5fdf6874
+DIST async_kernel-113.24.00.tar.gz 152935 SHA256 4e891b8e93a90be0dddd4ea919c20287c4e18bdc986259a9d7294497d3614556 SHA512 b4be7ab3785eb283e14770e31ba5ef86c0f5074a6e470fd3b2349059fac682f7514e302c41767e951c6791c79f9945633a4af40047126e7b0ef3d8180a1f28d7 WHIRLPOOL 610d5d68ce2daf8bae596bd49f8a0273c032a0f50c031488752443cdd435f6dfaa1a9dae00735469b91ec239180aa2b6526af8584a884065d0da0c875af7ae32
diff --git a/dev-ml/async_kernel/async_kernel-113.24.00.ebuild b/dev-ml/async_kernel/async_kernel-113.24.00.ebuild
new file mode 100644
index 000000000000..65a4c2b8ab4d
--- /dev/null
+++ b/dev-ml/async_kernel/async_kernel-113.24.00.ebuild
@@ -0,0 +1,52 @@
+# Copyright 1999-2015 Gentoo Foundation
+# Distributed under the terms of the GNU General Public License v2
+# $Id$
+
+EAPI="5"
+
+OASIS_BUILD_DOCS=1
+
+inherit oasis
+
+DESCRIPTION="Jane Street Capital's asynchronous execution library (core)"
+HOMEPAGE="http://www.janestreet.com/ocaml"
+SRC_URI="http://ocaml.janestreet.com/ocaml-core/${PV%.*}/files/${P}.tar.gz"
+
+LICENSE="Apache-2.0"
+SLOT="0/${PV}"
+KEYWORDS="~amd64"
+IUSE=""
+
+RDEPEND=">=dev-lang/ocaml-4.02.0:=
+ >=dev-ml/bin-prot-109.15.00:=
+ dev-ml/core_kernel:=
+ >=dev-ml/fieldslib-109.20.00:=
+ 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/sexplib-109.20.00:=
+ 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
+}