summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorAlexis Ballier <aballier@gentoo.org>2016-03-22 11:34:53 +0100
committerAlexis Ballier <aballier@gentoo.org>2016-03-22 11:55:39 +0100
commit52e62bca2ee4b6c57813fdf1e756d59b57dcbfbf (patch)
treec8cd79aa9a6e14000349f61db92c770bc94c3430 /dev-ml/core_extended
parentdev-ml/incremental: bump to 113.33.00 (diff)
downloadgentoo-52e62bca2ee4b6c57813fdf1e756d59b57dcbfbf.tar.gz
gentoo-52e62bca2ee4b6c57813fdf1e756d59b57dcbfbf.tar.bz2
gentoo-52e62bca2ee4b6c57813fdf1e756d59b57dcbfbf.zip
dev-ml/core_extended: bump to 113.33.00
Package-Manager: portage-2.2.28 Signed-off-by: Alexis Ballier <aballier@gentoo.org>
Diffstat (limited to 'dev-ml/core_extended')
-rw-r--r--dev-ml/core_extended/Manifest1
-rw-r--r--dev-ml/core_extended/core_extended-113.33.00.ebuild55
2 files changed, 56 insertions, 0 deletions
diff --git a/dev-ml/core_extended/Manifest b/dev-ml/core_extended/Manifest
index 5e3e82ad2a98..9eda2813a8fc 100644
--- a/dev-ml/core_extended/Manifest
+++ b/dev-ml/core_extended/Manifest
@@ -1 +1,2 @@
DIST core_extended-113.24.00.tar.gz 301886 SHA256 18810e3c075273d995a9d07756891d5fac28bde72570b7bc2a9b446c858195ed SHA512 766bce4b2cb39544bdbb1e6c0bc73e46935edcdc2d40be4b322357779001eee76ae5c43d0f21e3a56959bc460183d502e8be91ce1b597ae4e330ebd2621a5aaf WHIRLPOOL e1f99f9f03c207ff9d693460a8f06f3321367e0c693f43e8091031059643b95807836e01547930f8db2baba3e9beed8d85a59ffb534b50d190a5182ac72e5e0c
+DIST core_extended-113.33.00.tar.gz 302409 SHA256 89f41b5229f5f6a4051350c4e3c8b3b12ef07e35d464130e699803f3d6c36828 SHA512 a0f834ea8cd8453a3630df2c5aa829230389ac7ba5a310bc6e1ba408ce54141ef0303921bf92d1060673ee4f27ad82aa426fbd89e28cc877ab70c8d3083d0019 WHIRLPOOL e8da189ddc22ad4a0babc3762a2d9f65d00db4134561b64c5c0071907f9cc6118277cd1599df590efaea3240fd7678cf8d707391d0a6430139d2c8a23d6432e4
diff --git a/dev-ml/core_extended/core_extended-113.33.00.ebuild b/dev-ml/core_extended/core_extended-113.33.00.ebuild
new file mode 100644
index 000000000000..9f39cce7f904
--- /dev/null
+++ b/dev-ml/core_extended/core_extended-113.33.00.ebuild
@@ -0,0 +1,55 @@
+# 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 oasis
+
+DESCRIPTION="Jane Street's alternative to the standard library"
+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-ml/core-113.24:=
+ >=dev-ml/bin-prot-113.24:=
+ >=dev-ml/fieldslib-113.24:=
+ 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-113.24:=
+ 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
+}