diff options
| author |   Alexis Ballier <aballier@gentoo.org> | 2016-03-22 11:22:46 +0100 |
|---|---|---|
| committer | Alexis Ballier <aballier@gentoo.org> | 2016-03-22 11:55:34 +0100 |
| commit | 2ea56cf7433553e18c25058d0a7ccd354963730b (patch) | |
| tree | 0313bf99fa0a4760fd76af99cf90b4f677a2cdb9 /dev-ml | |
| parent | dev-ml/result: initial import; ebuild by me (diff) | |
| download | gentoo-2ea56cf7433553e18c25058d0a7ccd354963730b.tar.gz gentoo-2ea56cf7433553e18c25058d0a7ccd354963730b.tar.bz2 gentoo-2ea56cf7433553e18c25058d0a7ccd354963730b.zip | |
dev-ml/core_kernel: bump to 113.33.00
Package-Manager: portage-2.2.28
Signed-off-by: Alexis Ballier <aballier@gentoo.org>
Diffstat (limited to 'dev-ml')
| -rw-r--r-- | dev-ml/core_kernel/Manifest | 1 | ||||
| -rw-r--r-- | dev-ml/core_kernel/core_kernel-113.33.00.ebuild | 53 |
2 files changed, 54 insertions, 0 deletions
diff --git a/dev-ml/core_kernel/Manifest b/dev-ml/core_kernel/Manifest index b8af625f9a39..9f595b40d8ce 100644 --- a/dev-ml/core_kernel/Manifest +++ b/dev-ml/core_kernel/Manifest @@ -1 +1,2 @@ DIST core_kernel-113.24.00.tar.gz 647874 SHA256 e245cddd9bdf847a4f9c1d88922bbf567b0badc30ce9acec3933ae515acc68c6 SHA512 6cdf8f400d689fb2501d2dcedb9b287dd3ac5edb4bb8a6310f1ca92c8370f3b38ab1b68791a61034c21cb101c6f390f876fc340fde46c901a2161fa11b2d3f1f WHIRLPOOL 6d2908aa37a56342019e1fd53f845c824b61b73ffdfe66adb901b5f263a53b880ec389329897df585178fd049a8196140ce8a0f51622f51b156e210171ee863b +DIST core_kernel-113.33.00.tar.gz 663386 SHA256 2c24033532c88c6e2d8e77bac650e7398b9ec67dbdd76e8b8a10f45f6d9c64e0 SHA512 f9ddb9e23b6a98b5c47714d90aeec96b495231bcd088a73a37cb40d841a1a230aa6647e2b97f8509e11f0f6f8704c459bd3d5f2ade569018d85a4e083fc2bad3 WHIRLPOOL 4e52a336ce57ae0756fe0f45b4a3930ff40385fcf58df4edcf1c552e8c8f5f80410b2583c97e87e0577f1da3f55eecc4930c73ba3dcc62c9134d97618424159b diff --git a/dev-ml/core_kernel/core_kernel-113.33.00.ebuild b/dev-ml/core_kernel/core_kernel-113.33.00.ebuild new file mode 100644 index 000000000000..777766790647 --- /dev/null +++ b/dev-ml/core_kernel/core_kernel-113.33.00.ebuild @@ -0,0 +1,53 @@ +# 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:= + dev-ml/result:= + " +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 +} |