summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorAlexis Ballier <aballier@gentoo.org>2015-09-19 15:14:05 +0200
committerAlexis Ballier <aballier@gentoo.org>2015-09-19 16:03:05 +0200
commite81419b410b209bb014c89f9afee27b275f22834 (patch)
tree49c4bc9b4306d3b5c8daaca27ba5bbb9b11fc709 /dev-ml/core_kernel
parentdev-ml/custom_printf: bump to 113.00.00 (diff)
downloadgentoo-e81419b410b209bb014c89f9afee27b275f22834.tar.gz
gentoo-e81419b410b209bb014c89f9afee27b275f22834.tar.bz2
gentoo-e81419b410b209bb014c89f9afee27b275f22834.zip
dev-ml/core_kernel: bump to 113.00.00
Package-Manager: portage-2.2.20.1
Diffstat (limited to 'dev-ml/core_kernel')
-rw-r--r--dev-ml/core_kernel/Manifest1
-rw-r--r--dev-ml/core_kernel/core_kernel-113.00.00.ebuild43
2 files changed, 44 insertions, 0 deletions
diff --git a/dev-ml/core_kernel/Manifest b/dev-ml/core_kernel/Manifest
index 3092c23a3c06..f6126d4782b5 100644
--- a/dev-ml/core_kernel/Manifest
+++ b/dev-ml/core_kernel/Manifest
@@ -1 +1,2 @@
DIST core_kernel-112.35.00.tar.gz 513245 SHA256 792303cb06fa580c2c0fa25589e19be8f08714850db86d0077b1712bfe0ef662 SHA512 abdc16bb9eea9af7e322e190a0d229f95bb99fdc6f721f485663e59ba16f15cab5a2d2507721e53e71351051268b3f3fe487fc9e1579564020a81d79a1aeb175 WHIRLPOOL 2e7bc43fe1087380f0ae0b5efbce620ecd4e6160d124db14767be65183904b63fb19a9cf13c144e6745a11f1e8694ee1fc9084bcefd7cc36838de118681b8d35
+DIST core_kernel-113.00.00.tar.gz 559351 SHA256 002d3e74c450bfcec90ac37a337ddad7891d88d85555f9ca28384fca06feb191 SHA512 849480eae9f624a4527506d0a1fb3cfb42b4bd0a875bec52465913a5c123558bff6fc03c219b8c69445e1e8b4a61752decd90a5a2c815afb764cd24f962ed401 WHIRLPOOL a1b428572bc12ec57f2546f8209db677cae9dee52e42277b4cc443b33a51907441e4105c7055d31fb08d24b3ba79165b973d5f9cda031d3c56f88cd8eabe5adf
diff --git a/dev-ml/core_kernel/core_kernel-113.00.00.ebuild b/dev-ml/core_kernel/core_kernel-113.00.00.ebuild
new file mode 100644
index 000000000000..9c8dd9153b59
--- /dev/null
+++ b/dev-ml/core_kernel/core_kernel-113.00.00.ebuild
@@ -0,0 +1,43 @@
+# 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/comparelib-109.27.00:=
+ >=dev-ml/fieldslib-109.20.00:=
+ >=dev-ml/herelib-109.35.00:=
+ >=dev-ml/pa_ounit-109.27.00:=
+ >=dev-ml/pipebang-109.15.00:=
+ >=dev-ml/sexplib-109.20.00:=
+ >=dev-ml/variantslib-109.15.00:=
+ dev-ml/custom_printf:=
+ dev-ml/pa_test:=
+ dev-ml/enumerate:=
+ dev-ml/pa_bench:=
+ >=dev-ml/typerep-111.17:=
+ dev-ml/camlp4:=
+ !dev-ml/zero
+ "
+DEPEND="${RDEPEND}
+ test? (
+ dev-ml/pa_ounit
+ >=dev-ml/core-109.60.00
+ )"
+DOCS=( "README.md" )