summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorAlexis Ballier <aballier@gentoo.org>2016-02-05 19:40:10 +0100
committerAlexis Ballier <aballier@gentoo.org>2016-02-05 21:59:02 +0100
commita401cb698ca84117ae68e387f00ee068fe7e52bf (patch)
tree54ccc1f5219d2b64a8ec3610e0359a6bf1f9838e /dev-ml/core_kernel
parentdev-ml/ppx_jane: initial import; ebuild by me (diff)
downloadgentoo-a401cb698ca84117ae68e387f00ee068fe7e52bf.tar.gz
gentoo-a401cb698ca84117ae68e387f00ee068fe7e52bf.tar.bz2
gentoo-a401cb698ca84117ae68e387f00ee068fe7e52bf.zip
dev-ml/core_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/core_kernel')
-rw-r--r--dev-ml/core_kernel/Manifest1
-rw-r--r--dev-ml/core_kernel/core_kernel-113.24.00.ebuild52
2 files changed, 53 insertions, 0 deletions
diff --git a/dev-ml/core_kernel/Manifest b/dev-ml/core_kernel/Manifest
index f6126d4782b5..e01b7e61df9b 100644
--- a/dev-ml/core_kernel/Manifest
+++ b/dev-ml/core_kernel/Manifest
@@ -1,2 +1,3 @@
DIST core_kernel-112.35.00.tar.gz 513245 SHA256 792303cb06fa580c2c0fa25589e19be8f08714850db86d0077b1712bfe0ef662 SHA512 abdc16bb9eea9af7e322e190a0d229f95bb99fdc6f721f485663e59ba16f15cab5a2d2507721e53e71351051268b3f3fe487fc9e1579564020a81d79a1aeb175 WHIRLPOOL 2e7bc43fe1087380f0ae0b5efbce620ecd4e6160d124db14767be65183904b63fb19a9cf13c144e6745a11f1e8694ee1fc9084bcefd7cc36838de118681b8d35
DIST core_kernel-113.00.00.tar.gz 559351 SHA256 002d3e74c450bfcec90ac37a337ddad7891d88d85555f9ca28384fca06feb191 SHA512 849480eae9f624a4527506d0a1fb3cfb42b4bd0a875bec52465913a5c123558bff6fc03c219b8c69445e1e8b4a61752decd90a5a2c815afb764cd24f962ed401 WHIRLPOOL a1b428572bc12ec57f2546f8209db677cae9dee52e42277b4cc443b33a51907441e4105c7055d31fb08d24b3ba79165b973d5f9cda031d3c56f88cd8eabe5adf
+DIST core_kernel-113.24.00.tar.gz 647874 SHA256 e245cddd9bdf847a4f9c1d88922bbf567b0badc30ce9acec3933ae515acc68c6 SHA512 6cdf8f400d689fb2501d2dcedb9b287dd3ac5edb4bb8a6310f1ca92c8370f3b38ab1b68791a61034c21cb101c6f390f876fc340fde46c901a2161fa11b2d3f1f WHIRLPOOL 6d2908aa37a56342019e1fd53f845c824b61b73ffdfe66adb901b5f263a53b880ec389329897df585178fd049a8196140ce8a0f51622f51b156e210171ee863b
diff --git a/dev-ml/core_kernel/core_kernel-113.24.00.ebuild b/dev-ml/core_kernel/core_kernel-113.24.00.ebuild
new file mode 100644
index 000000000000..8669dff860b1
--- /dev/null
+++ b/dev-ml/core_kernel/core_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
+OASIS_BUILD_TESTS=1
+
+inherit oasis
+
+DESCRIPTION="System-independent part of Core"
+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-112.17.00:=
+ >=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/variantslib-109.15.00:=
+ >=dev-ml/typerep-111.17:=
+ "
+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
+}