summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorAlexis Ballier <aballier@gentoo.org>2016-02-05 20:26:47 +0100
committerAlexis Ballier <aballier@gentoo.org>2016-02-05 21:59:02 +0100
commit206eedf2d6df70c235d6df667fa6f8f5174800a9 (patch)
tree70c499ea2915caabd94f1b85b9054fa3a5373fe1 /dev-ml/core
parentdev-ml/re2: bump to 113.24.00 (diff)
downloadgentoo-206eedf2d6df70c235d6df667fa6f8f5174800a9.tar.gz
gentoo-206eedf2d6df70c235d6df667fa6f8f5174800a9.tar.bz2
gentoo-206eedf2d6df70c235d6df667fa6f8f5174800a9.zip
dev-ml/core: 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')
-rw-r--r--dev-ml/core/Manifest1
-rw-r--r--dev-ml/core/core-113.24.00.ebuild54
2 files changed, 55 insertions, 0 deletions
diff --git a/dev-ml/core/Manifest b/dev-ml/core/Manifest
index 87ab17890f84..f08d6024d005 100644
--- a/dev-ml/core/Manifest
+++ b/dev-ml/core/Manifest
@@ -1,2 +1,3 @@
DIST core-112.35.01.tar.gz 755869 SHA256 a0d16dc660671d38226af704748f182bb87c0be9282e24766c42a8b18082d2a6 SHA512 d0a1f5fb5eb40f75d6f87fcfb184835f365095cf998fdeef98a6f8d3335dd0afff8cee5600e295b35e2e08ac178033acc11784b1c73d476a7ebbd497b0bde84e WHIRLPOOL 4022bbf5fb3f888ad7b09de792312884d9e0bc23691bbde69d52f96bf3569713be7cf8e5ece4d18600964efe36b9e437be65bed17b7e471b7e948d02f27f5da1
DIST core-113.00.00.tar.gz 770356 SHA256 5d6f948237c7eef3b2bd36b7e51994f36a1b9bbc315bbd7d41d299ad8221b7f3 SHA512 9a10114255b3d150990c21c39c3e14413a8484124456ee51a18b28b4af6e45e17f877c2ebabcad97152bd5eae702f9e4bcdc1baa2a293dd3d7cdb666423aa807 WHIRLPOOL 87ded5d0de0a030b05815a899bafcb40d430331824e8ed6ad209b416e95222956ee662143a310c15aa3944d3e1e8822f1035ef48883fba8b74be9daedbbbb0f8
+DIST core-113.24.00.tar.gz 806394 SHA256 66ab36a4d7b78a4710f992c670777919ae329dcbe107f270239a2215d87dce81 SHA512 ec3682ed9bb15d2bf8f9063930249f3657b34a3edda1a3b69bfcf5d50cd9d59fb6fbbc795d01a695da0897bb2673c80449972de80f4b4f60df9bab831ee1d5d4 WHIRLPOOL c5381a69901d9adc87b9814fa8cd9547ba4898a0536a634f48cee3dbdb0b3bb15c6ef2c834767047a1f8d40a1517771a0d6b79014fc4b2c9d937014c603f97a3
diff --git a/dev-ml/core/core-113.24.00.ebuild b/dev-ml/core/core-113.24.00.ebuild
new file mode 100644
index 000000000000..2f4f48eadcf4
--- /dev/null
+++ b/dev-ml/core/core-113.24.00.ebuild
@@ -0,0 +1,54 @@
+# 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 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="LGPL-2.1-with-linking-exception"
+SLOT="0/${PV}"
+KEYWORDS="~amd64"
+IUSE=""
+
+RDEPEND="
+ >=dev-ml/bin-prot-113.24.00:=
+ >=dev-ml/core_kernel-113.24.00:=
+ >=dev-ml/fieldslib-113.24.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-113.24.00:=
+ dev-ml/typerep:=
+ dev-ml/variantslib:=
+"
+DEPEND="${RDEPEND}"
+
+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 README.md
+}