forked from gentoo/gentoo
-
Notifications
You must be signed in to change notification settings - Fork 0
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
dev-ml/core_kernel: bump to 113.33.01
Package-Manager: portage-2.2.28 Signed-off-by: Alexis Ballier <[email protected]>
- Loading branch information
Showing
2 changed files
with
54 additions
and
0 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -1,2 +1,3 @@ | ||
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 | ||
DIST core_kernel-113.33.01.tar.gz 663070 SHA256 ea39cc3bed70f2d51bd2dcffa7f27310b8a01b0cd2da8256a5ba85ab58662786 SHA512 62c97bab8a6044549290648463153b257c7ae910485034894b441701e92d62bfe6d284a2a1ec80f39b3a18732d9d3a2a13ada150ae55da26aa0fd7d4a25fc446 WHIRLPOOL ee69469febdf27bdd7086d2065731e7d23639db1442b3bc5f4711b86836c30c090efbb06c9bdbc7f389b28c5aef1806680fa1c03dae0d366a431177efd334c79 |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -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 | ||
} |