diff options
| author | V3n3RiX <venerix@redcorelinux.org> | 2017-10-09 18:53:29 +0100 |
|---|---|---|
| committer | V3n3RiX <venerix@redcorelinux.org> | 2017-10-09 18:53:29 +0100 |
| commit | 4f2d7949f03e1c198bc888f2d05f421d35c57e21 (patch) | |
| tree | ba5f07bf3f9d22d82e54a462313f5d244036c768 /dev-ml/core_kernel | |
reinit the tree, so we can have metadata
Diffstat (limited to 'dev-ml/core_kernel')
| -rw-r--r-- | dev-ml/core_kernel/Manifest | 5 | ||||
| -rw-r--r-- | dev-ml/core_kernel/core_kernel-0.9.0.ebuild | 47 | ||||
| -rw-r--r-- | dev-ml/core_kernel/metadata.xml | 19 |
3 files changed, 71 insertions, 0 deletions
diff --git a/dev-ml/core_kernel/Manifest b/dev-ml/core_kernel/Manifest new file mode 100644 index 000000000000..57ba1a1b3fca --- /dev/null +++ b/dev-ml/core_kernel/Manifest @@ -0,0 +1,5 @@ +DIST core_kernel-0.9.0.tar.gz 502937 SHA256 41a4784443751eac917ed3c92f21afa8515a2785a7ae4ec83697192b463b8364 SHA512 c262f25636d7a5105810c9588774a56e21e58cd156302781db3463898be0a42d9c8b1984ead739d0659d6f3eece4a305fc45c7cad4ed57149d26344affbdb668 WHIRLPOOL f54ac9cbce0caa8a1597035e4beb595f1fc0cf7f9070907a8d666cc4d17f1d19a7aba9e590f780ad7142360d9dc59cdc665584bb171364384e499736c9950c2e +EBUILD core_kernel-0.9.0.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.0.ebuild b/dev-ml/core_kernel/core_kernel-0.9.0.ebuild new file mode 100644 index 000000000000..e725deed96b8 --- /dev/null +++ b/dev-ml/core_kernel/core_kernel-0.9.0.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 +} diff --git a/dev-ml/core_kernel/metadata.xml b/dev-ml/core_kernel/metadata.xml new file mode 100644 index 000000000000..ac382ab214c8 --- /dev/null +++ b/dev-ml/core_kernel/metadata.xml @@ -0,0 +1,19 @@ +<?xml version='1.0' encoding='UTF-8'?> +<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd"> +<pkgmetadata> + <maintainer type="project"> + <email>ml@gentoo.org</email> + <name>Gentoo ML Project</name> + </maintainer> + <longdescription lang="en"> + Core_kernel is the system-independent part of Core. It is aimed for + cases when the full Core is not available, such as in Javascript. It + provides an overlay on the usual namespace, so the best way to use + Core is to start your file with: + + open Core_kernel.Std + </longdescription> + <upstream> + <remote-id type="github">janestreet/core_kernel</remote-id> + </upstream> +</pkgmetadata> |