summaryrefslogtreecommitdiff
path: root/dev-ml
diff options
context:
space:
mode:
authorAlexis Ballier <aballier@gentoo.org>2013-06-10 13:23:30 +0000
committerAlexis Ballier <aballier@gentoo.org>2013-06-10 13:23:30 +0000
commit4b65df7a3d881e2022270ed7749cbdab2ed2b342 (patch)
tree3dc5d06db160ad1e07106f91da1ae630965d414f /dev-ml
parentrevbump, migrate -> distutils-r1, rm old, patch to fix tests (diff)
downloadhistorical-4b65df7a3d881e2022270ed7749cbdab2ed2b342.tar.gz
historical-4b65df7a3d881e2022270ed7749cbdab2ed2b342.tar.bz2
historical-4b65df7a3d881e2022270ed7749cbdab2ed2b342.zip
Initial import, ebuild by me
Package-Manager: portage-2.2.0_alpha179/cvs/Linux x86_64 Manifest-Sign-Key: 0x160F534A
Diffstat (limited to 'dev-ml')
-rw-r--r--dev-ml/core_kernel/ChangeLog10
-rw-r--r--dev-ml/core_kernel/Manifest14
-rw-r--r--dev-ml/core_kernel/core_kernel-109.27.00.ebuild34
-rw-r--r--dev-ml/core_kernel/metadata.xml13
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>