1 |
commit: 9f93f51dbfe1ba330207cf825768c33cafa46091 |
2 |
Author: Alexis Ballier <aballier <AT> gentoo <DOT> org> |
3 |
AuthorDate: Mon Jan 30 22:30:54 2017 +0000 |
4 |
Commit: Alexis Ballier <aballier <AT> gentoo <DOT> org> |
5 |
CommitDate: Mon Jan 30 22:30:54 2017 +0000 |
6 |
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=9f93f51d |
7 |
|
8 |
dev-ml/incremental_kernel: bump to 113.33.03 |
9 |
|
10 |
Package-Manager: Portage-2.3.3, Repoman-2.3.1 |
11 |
|
12 |
dev-ml/incremental_kernel/Manifest | 1 + |
13 |
.../incremental_kernel-113.33.03.ebuild | 49 ++++++++++++++++++++++ |
14 |
2 files changed, 50 insertions(+) |
15 |
|
16 |
diff --git a/dev-ml/incremental_kernel/Manifest b/dev-ml/incremental_kernel/Manifest |
17 |
index 06bb76f..2384f6a 100644 |
18 |
--- a/dev-ml/incremental_kernel/Manifest |
19 |
+++ b/dev-ml/incremental_kernel/Manifest |
20 |
@@ -1 +1,2 @@ |
21 |
DIST incremental_kernel-113.33.00.tar.gz 112965 SHA256 ada5dfa4a37b3eb11f85c7e38dad8eabab91db13346446b441c332218b921d6c SHA512 67a517eace7fe435fee7a0912720ad2b8f1fab587d1a2bdd8e9d3316044dfe0923ef1bf20aca7d8305260f0c18f3a401293dc8026cd9eb69f994d003bb36563f WHIRLPOOL 0bf8ba0d272608df287cd0fe08c308a4885fd4ec664fd3da2aaf6b1153d7c9b904ed9542e1048748fe557cfcef7cc970c57fb14004fc63a7f4cc5de782296d83 |
22 |
+DIST incremental_kernel-113.33.03.tar.gz 111566 SHA256 bb307477646a63651b36f4c125d7d94a5809aaf4107a5cec16930f463fe67af9 SHA512 5a73a394147495ffdadc877e574d2d795097b173198fd0137333c27426de308b66178f2f969833e18d865c8971910685f1fdb7c7fd13b758084566550d68bb7d WHIRLPOOL e9cf93299d53760c0324ba81b12c0afa743bf2300c7a0bcb143826b8c667580e12fcfa0d436cd4c3ea288aac32706b6c2de249db50db00a5bbf6511296801cc8 |
23 |
|
24 |
diff --git a/dev-ml/incremental_kernel/incremental_kernel-113.33.03.ebuild b/dev-ml/incremental_kernel/incremental_kernel-113.33.03.ebuild |
25 |
new file mode 100644 |
26 |
index 00000000..4f67ea9 |
27 |
--- /dev/null |
28 |
+++ b/dev-ml/incremental_kernel/incremental_kernel-113.33.03.ebuild |
29 |
@@ -0,0 +1,49 @@ |
30 |
+# Copyright 1999-2017 Gentoo Foundation |
31 |
+# Distributed under the terms of the GNU General Public License v2 |
32 |
+# $Id$ |
33 |
+ |
34 |
+EAPI="5" |
35 |
+ |
36 |
+inherit oasis |
37 |
+ |
38 |
+DESCRIPTION="Library for incremental computations depending only on Core_kernel" |
39 |
+HOMEPAGE="http://www.janestreet.com/ocaml" |
40 |
+SRC_URI="http://ocaml.janestreet.com/ocaml-core/${PV%.*}/files/${P}.tar.gz" |
41 |
+ |
42 |
+LICENSE="Apache-2.0" |
43 |
+SLOT="0/${PV}" |
44 |
+KEYWORDS="~amd64" |
45 |
+IUSE="" |
46 |
+ |
47 |
+DEPEND=" |
48 |
+ dev-ml/bin-prot:= |
49 |
+ >=dev-ml/core_kernel-113.33:= |
50 |
+ dev-ml/fieldslib:= |
51 |
+ dev-ml/ppx_assert:= |
52 |
+ dev-ml/ppx_bench:= |
53 |
+ dev-ml/ppx_expect:= |
54 |
+ dev-ml/ppx_inline_test:= |
55 |
+ dev-ml/ppx_jane:= |
56 |
+ dev-ml/sexplib:= |
57 |
+ dev-ml/typerep:= |
58 |
+ dev-ml/variantslib:= |
59 |
+" |
60 |
+RDEPEND="${DEPEND}" |
61 |
+DEPEND="${DEPEND} dev-ml/opam" |
62 |
+ |
63 |
+src_configure() { |
64 |
+ emake setup.exe |
65 |
+ OASIS_SETUP_COMMAND="./setup.exe" oasis_src_configure |
66 |
+} |
67 |
+ |
68 |
+src_compile() { |
69 |
+ emake |
70 |
+} |
71 |
+ |
72 |
+src_install() { |
73 |
+ opam-installer -i \ |
74 |
+ --prefix="${ED}/usr" \ |
75 |
+ --libdir="${D}/$(ocamlc -where)" \ |
76 |
+ --docdir="${ED}/usr/share/doc/${PF}" \ |
77 |
+ ${PN}.install || die |
78 |
+} |