diff options
| author |   Alexis Ballier <aballier@gentoo.org> | 2016-02-05 19:40:10 +0100 |
|---|---|---|
| committer | Alexis Ballier <aballier@gentoo.org> | 2016-02-05 21:59:02 +0100 |
| commit | a401cb698ca84117ae68e387f00ee068fe7e52bf (patch) | |
| tree | 54ccc1f5219d2b64a8ec3610e0359a6bf1f9838e /dev-ml/core_kernel | |
| parent | dev-ml/ppx_jane: initial import; ebuild by me (diff) | |
| download | gentoo-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/Manifest | 1 | ||||
| -rw-r--r-- | dev-ml/core_kernel/core_kernel-113.24.00.ebuild | 52 |
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 +} |