summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorAlexis Ballier <aballier@gentoo.org>2016-02-05 20:35:30 +0100
committerAlexis Ballier <aballier@gentoo.org>2016-02-05 21:59:02 +0100
commitb27e4b280c2bd70fd73bff40a8c9199d9e3703de (patch)
tree60b96aad00388f9bd047700497e9c9acfaa5358d /dev-ml/core_extended
parentdev-ml/textutils: bump to 113.24.00 (diff)
downloadgentoo-b27e4b280c2bd70fd73bff40a8c9199d9e3703de.tar.gz
gentoo-b27e4b280c2bd70fd73bff40a8c9199d9e3703de.tar.bz2
gentoo-b27e4b280c2bd70fd73bff40a8c9199d9e3703de.zip
dev-ml/core_extended: 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_extended')
-rw-r--r--dev-ml/core_extended/Manifest1
-rw-r--r--dev-ml/core_extended/core_extended-113.24.00.ebuild55
2 files changed, 56 insertions, 0 deletions
diff --git a/dev-ml/core_extended/Manifest b/dev-ml/core_extended/Manifest
index eeb968b87791..d7a17c7f0bef 100644
--- a/dev-ml/core_extended/Manifest
+++ b/dev-ml/core_extended/Manifest
@@ -1,2 +1,3 @@
DIST core_extended-112.35.00.tar.gz 315031 SHA256 a14a23fab5674952518eeb9d42f69a02b97fc396e74cb2e2fe519cdad5cd9d7e SHA512 265b18fde3bd322113e75d4d733ad1ef3bb0123f6e53d057dd6075f75802914376f79e36bdd78579e2884a579154d7d142fe743de7870b86cf4e830e5189adc2 WHIRLPOOL 7f71d1e82e22aded600dfad0489ba9a6bedc609604840df9f48beabd80db04d61b6e246398c87ab6fc565a17be6e7ea488a88dba140d582cd8696a400d2b482c
DIST core_extended-113.00.00.tar.gz 292116 SHA256 66a49e217a869c890be1d5da7342a24311bf8f0aae79f76a9b1a13b2cc8449ba SHA512 6a78d34318392a499e703ad8c24b4271ce31e4fa1d03f1f17a96c0f91b1533b3819880242e956e93a5ca1713bdb7cc9044218055cdfe62bcb5b3b40f9416708e WHIRLPOOL 1d3cefc38c1bd5f1d9b4a5fb0ddee38ab94f71c5c2d3ddbb3a383569f6989ec56ec38bca2e0d64014ae7c025df9418a4c23ccd24157505579bfa3863e952f405
+DIST core_extended-113.24.00.tar.gz 301886 SHA256 18810e3c075273d995a9d07756891d5fac28bde72570b7bc2a9b446c858195ed SHA512 766bce4b2cb39544bdbb1e6c0bc73e46935edcdc2d40be4b322357779001eee76ae5c43d0f21e3a56959bc460183d502e8be91ce1b597ae4e330ebd2621a5aaf WHIRLPOOL e1f99f9f03c207ff9d693460a8f06f3321367e0c693f43e8091031059643b95807836e01547930f8db2baba3e9beed8d85a59ffb534b50d190a5182ac72e5e0c
diff --git a/dev-ml/core_extended/core_extended-113.24.00.ebuild b/dev-ml/core_extended/core_extended-113.24.00.ebuild
new file mode 100644
index 000000000000..9f39cce7f904
--- /dev/null
+++ b/dev-ml/core_extended/core_extended-113.24.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
+}