summaryrefslogtreecommitdiff
path: root/dev-ml/core_kernel
diff options
context:
space:
mode:
authorV3n3RiX <venerix@redcorelinux.org>2017-11-12 16:49:02 +0000
committerV3n3RiX <venerix@redcorelinux.org>2017-11-12 16:49:02 +0000
commit519e4d5d99fc43d5c9a038098c029dc4ef9d6792 (patch)
tree7e99d88a777fe8c9d3ec6310bf7eea639b0e66b4 /dev-ml/core_kernel
parenta5332b59346f7cbf0fdbd148b54aa8a84aaf8190 (diff)
gentoo resync : 12.11.2017
Diffstat (limited to 'dev-ml/core_kernel')
-rw-r--r--dev-ml/core_kernel/Manifest2
-rw-r--r--dev-ml/core_kernel/core_kernel-0.9.1.ebuild47
2 files changed, 49 insertions, 0 deletions
diff --git a/dev-ml/core_kernel/Manifest b/dev-ml/core_kernel/Manifest
index 57ba1a1b3fca..a6525b619590 100644
--- a/dev-ml/core_kernel/Manifest
+++ b/dev-ml/core_kernel/Manifest
@@ -1,5 +1,7 @@
DIST core_kernel-0.9.0.tar.gz 502937 SHA256 41a4784443751eac917ed3c92f21afa8515a2785a7ae4ec83697192b463b8364 SHA512 c262f25636d7a5105810c9588774a56e21e58cd156302781db3463898be0a42d9c8b1984ead739d0659d6f3eece4a305fc45c7cad4ed57149d26344affbdb668 WHIRLPOOL f54ac9cbce0caa8a1597035e4beb595f1fc0cf7f9070907a8d666cc4d17f1d19a7aba9e590f780ad7142360d9dc59cdc665584bb171364384e499736c9950c2e
+DIST core_kernel-0.9.1.tar.gz 502985 SHA256 820076d9e045c1f58f90ee28ceadfa5b42ed3b70b86e48a3d29251cc841319c7 SHA512 ec0c3f72c52b975ef3d28b89190e0de3d9a60a842cde13f9a71f2d90101af3ccced06b4640d061362b89127140fe761dc19733da3f7dfabab189faef78343b7b WHIRLPOOL e32c19ea89cb01c7d43f9681b126cccb62cdb6f57876e1f65eb5b2806bfd191186d15c6c1ff021379d7c5ef53c368572ecacff03e94fc3cb2bea272d4d4149d7
EBUILD core_kernel-0.9.0.ebuild 1021 SHA256 eac1bde71ed47ea266cd5b5fc61af113a839f723539a6fef044e8505eb2f40fd SHA512 601feb35cd75f2eb4486bcd283d8e05dae3cd9ba7affc57ae59dd9f93fdefea9c8dd8eaecd6cd822c1af19b43200e52ee5a18471dc9748ad2910d7d00a0f3e2a WHIRLPOOL bd02bc1df4192b911a6385f52202798955ccbfcc60e19184989bd790bbce7673aaa5fb02c81c5aca8f4188a5428babb61403fe2629307a874b5836d0c050f18e
+EBUILD core_kernel-0.9.1.ebuild 1021 SHA256 eac1bde71ed47ea266cd5b5fc61af113a839f723539a6fef044e8505eb2f40fd SHA512 601feb35cd75f2eb4486bcd283d8e05dae3cd9ba7affc57ae59dd9f93fdefea9c8dd8eaecd6cd822c1af19b43200e52ee5a18471dc9748ad2910d7d00a0f3e2a WHIRLPOOL bd02bc1df4192b911a6385f52202798955ccbfcc60e19184989bd790bbce7673aaa5fb02c81c5aca8f4188a5428babb61403fe2629307a874b5836d0c050f18e
MISC ChangeLog 4381 SHA256 bd06c8add9019253dd29af5b14b1871da2cd6c482f190e0080aa834690959ef2 SHA512 7a17fbd82e8e3e43932cd63f5848347443d8d2dee832e466b9b989ce69b603fc153fa7756b683441d17cb6e6a42f9efabfd416d60cee7f6609cf0042d0b50509 WHIRLPOOL 8cff8d268fd5e6108c69ce6b8f3aa50ee2e13bdf38b8a6475f0d58749d215b20484e0ad2d1f3236aeb499d42508795d7d04d8064cbc5c4d74232894e08b4f2ec
MISC ChangeLog-2015 2935 SHA256 335ea4f4530f404d2c67e37d679bdcef236e38370aa9f0bc9b29243531d2bd22 SHA512 e88a777516391fcccb012f463a705635130b2bb9b11dfc93770a19cbeabaf5ecb0026772dc05553bbe3bf85b6390a9f2daeb7d01789e76a79887ab6a0b110c60 WHIRLPOOL c8578a96f8e610d81d933f92803d147b1d18c2f32e6aadcda6c91a163629c90ae908d531cfe8387ba758d679c45a3a15e7fc36f8af28e654a11f3039fc5340f1
MISC metadata.xml 674 SHA256 02130aece35f4431146758db55f9a0ac7172818674c2fac60d6ce94f8fcd3823 SHA512 57d3264f52f5eb7ce9656faa6a3672cd451bd81e18c00221764db08824182dc373bee5dee6d9e6d719ed43a4e2fbf0a7c92c804bf129969addb4c473d7968e8f WHIRLPOOL 4a82292c88ffef916f271bd20fcdcc5011c9906fc98631e258064c7ca1544ca7db66902fb991fa9c0e384e234073e31ff3d730ce16e825ee523c38f727d1fdf0
diff --git a/dev-ml/core_kernel/core_kernel-0.9.1.ebuild b/dev-ml/core_kernel/core_kernel-0.9.1.ebuild
new file mode 100644
index 000000000000..e725deed96b8
--- /dev/null
+++ b/dev-ml/core_kernel/core_kernel-0.9.1.ebuild
@@ -0,0 +1,47 @@
+# Copyright 1999-2017 Gentoo Foundation
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=6
+
+DESCRIPTION="System-independent part of Core"
+HOMEPAGE="https://github.com/janestreet/core_kernel"
+SRC_URI="https://github.com/janestreet/${PN}/archive/v${PV}.tar.gz -> ${P}.tar.gz"
+
+LICENSE="LGPL-2.1-with-linking-exception"
+SLOT="0/${PV}"
+KEYWORDS="~amd64"
+IUSE=""
+
+RDEPEND="
+ dev-lang/ocaml:=
+ dev-ml/base:=
+ dev-ml/bin-prot:=
+ dev-ml/configurator:=
+ dev-ml/fieldslib:=
+ dev-ml/jane-street-headers:=
+ dev-ml/ppx_assert:=
+ dev-ml/ppx_base:=
+ dev-ml/ppx_driver:=
+ dev-ml/ppx_hash:=
+ dev-ml/ppx_inline_test:=
+ dev-ml/ppx_jane:=
+ dev-ml/ppx_sexp_conv:=
+ dev-ml/ppx_sexp_message:=
+ dev-ml/sexplib:=
+ dev-ml/stdio:=
+ dev-ml/typerep:=
+ dev-ml/variantslib:=
+ dev-ml/ocaml-migrate-parsetree:=
+"
+DEPEND="${RDEPEND}
+ dev-ml/opam
+ dev-ml/jbuilder
+"
+
+src_install() {
+ opam-installer -i \
+ --prefix="${ED}/usr" \
+ --libdir="${D}/$(ocamlc -where)" \
+ --docdir="${ED}/usr/share/doc/${PF}" \
+ ${PN}.install || die
+}