diff options
Diffstat (limited to 'dev-ml')
| -rw-r--r-- | dev-ml/core_kernel/ChangeLog | 10 | ||||
| -rw-r--r-- | dev-ml/core_kernel/Manifest | 14 | ||||
| -rw-r--r-- | dev-ml/core_kernel/core_kernel-109.27.00.ebuild | 34 | ||||
| -rw-r--r-- | dev-ml/core_kernel/metadata.xml | 13 |
4 files changed, 71 insertions, 0 deletions
diff --git a/dev-ml/core_kernel/ChangeLog b/dev-ml/core_kernel/ChangeLog new file mode 100644 index 000000000000..649765777bf9 --- /dev/null +++ b/dev-ml/core_kernel/ChangeLog @@ -0,0 +1,10 @@ +# ChangeLog for dev-ml/core_kernel +# Copyright 1999-2013 Gentoo Foundation; Distributed under the GPL v2 +# $Header: /var/cvsroot/gentoo-x86/dev-ml/core_kernel/ChangeLog,v 1.1 2013/06/10 13:23:17 aballier Exp $ + +*core_kernel-109.27.00 (10 Jun 2013) + + 10 Jun 2013; Alexis Ballier <aballier@gentoo.org> + +core_kernel-109.27.00.ebuild, +metadata.xml: + Initial import, ebuild by me + diff --git a/dev-ml/core_kernel/Manifest b/dev-ml/core_kernel/Manifest new file mode 100644 index 000000000000..67069a849433 --- /dev/null +++ b/dev-ml/core_kernel/Manifest @@ -0,0 +1,14 @@ +-----BEGIN PGP SIGNED MESSAGE----- +Hash: SHA256 + +DIST core_kernel-109.27.00.tar.gz 298528 SHA256 13207b74e45a629ab8dfd5dae7cc35b414d491604602e8420e707809c30fce9e SHA512 c6b863cceddde1bd3b4ec67b5f47c3edbdb7b6f4ea8625df263947c5b427afe43a49577a7822813500b428f1d9a4742644a6538bcb367b2b1bd2c5c9ef93bbb7 WHIRLPOOL 2992175efd5c062556652ea61fa19d8e53aa069362b0c2a8b04b27a379a384b6c9dd9fbd2531d989e6a47fdbbdcdc6a745715423d51dcd6e1ef51215ebf330f9 +EBUILD core_kernel-109.27.00.ebuild 924 SHA256 d882eab7560f83fa10be977b2be77251910558e46a4eefafd990de058412e83f SHA512 048c621e71343eaa821a87fa59d762d66821bb60290291ef85dd319b577dfc8adf5a01ad469ef564d23a736a34fc8b4acf13e4b08826ea9115d8dcb884a03f62 WHIRLPOOL 2b7b24b977f99c014773270f2ddcb63f9fd639df30d04ff012bd55a88c97d4009f908b6fa42b08ff8e7ad9ff555071adc90df5d18f64f19e183d293568768083 +MISC ChangeLog 381 SHA256 b6956e1656eb6d272ffe1125c9396f4a8cc5c053fe3ff8b7b907a51175e27ec7 SHA512 8a0c50222faf584bc0ae13b56122aa108a240120f6d3578cb015f23b40b209a4cd86de175dbbffbde4f7f0c8e024357da0b5f0e49f744f6b4b26889ba2ccfdb1 WHIRLPOOL 14f77a223b967f511060128ca21ab4379cfb4ba97be1faafdf5ee45b9ce8efab5867e98e2fc1530627ba4ddba24257b90a87e01fe1b5b9c9cc619ee9e419f81f +MISC metadata.xml 487 SHA256 eb4ec61b8e7ed10760c30a6f47e5c1aa7e6e8d9672a4bd6dc5b674094f8b8d50 SHA512 1001c695effc5b393f81e4b5925ae56aea57874000b0ae245cdccb03231ffd1130ec3dadd930379c1de3b1c1e008334ba8b21de73b728ff06906e11d2592cd3b WHIRLPOOL 527babd1e634d7509721327643cf66aa8c8afd49f524c00d8ef34a587600d089d24288b2c3dc1cdc9b51470271db597715bfa966e69aae206c0bcb9c910e8144 +-----BEGIN PGP SIGNATURE----- +Version: GnuPG v2.0.20 (GNU/Linux) + +iEYEAREIAAYFAlG100YACgkQvFcC4BYPU0pdRwCfffN9XNnwxIiKRAc5KYCJZFmH +K+AAn3JdVO+WDXqT5ybsXC2S1OK+h2Pr +=Pihz +-----END PGP SIGNATURE----- diff --git a/dev-ml/core_kernel/core_kernel-109.27.00.ebuild b/dev-ml/core_kernel/core_kernel-109.27.00.ebuild new file mode 100644 index 000000000000..2d2741dd45c8 --- /dev/null +++ b/dev-ml/core_kernel/core_kernel-109.27.00.ebuild @@ -0,0 +1,34 @@ +# Copyright 1999-2013 Gentoo Foundation +# Distributed under the terms of the GNU General Public License v2 +# $Header: /var/cvsroot/gentoo-x86/dev-ml/core_kernel/core_kernel-109.27.00.ebuild,v 1.1 2013/06/10 13:23:17 aballier Exp $ + +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}/individual/${P}.tar.gz + http://dev.gentoo.org/~aballier/distfiles/${P}.tar.gz" + +LICENSE="LGPL-2.1-with-linking-exception" +SLOT="0/${PV}" +KEYWORDS="~amd64" +IUSE="" + +RDEPEND=" + >=dev-ml/bin-prot-109.15.00:= + >=dev-ml/comparelib-109.27.00:= + >=dev-ml/fieldslib-109.20.00:= + >=dev-ml/herelib-109.15.00:= + >=dev-ml/pa_ounit-109.27.00:= + >=dev-ml/pipebang-109.15.00:= + dev-ml/res:= + >=dev-ml/sexplib-109.20.00:= + >=dev-ml/variantslib-109.15.00:= + " +DEPEND="${RDEPEND}" +DOCS=( "README.md" ) diff --git a/dev-ml/core_kernel/metadata.xml b/dev-ml/core_kernel/metadata.xml new file mode 100644 index 000000000000..f9f1f8a63391 --- /dev/null +++ b/dev-ml/core_kernel/metadata.xml @@ -0,0 +1,13 @@ +<?xml version="1.0" encoding="UTF-8"?> +<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd"> +<pkgmetadata> + <herd>ml</herd> + <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> +</pkgmetadata> |