Gentoo Archives: gentoo-commits

From: Alfredo Tupone <tupone@g.o>
To: gentoo-commits@l.g.o
Subject: [gentoo-commits] repo/gentoo:master commit in: dev-ml/patience_diff/
Date: Fri, 01 Oct 2021 17:19:34
Message-Id: 1633108760.346abd6e30bfe536efcdab2f52a37c54580ffb88.tupone@gentoo
1 commit: 346abd6e30bfe536efcdab2f52a37c54580ffb88
2 Author: Alfredo Tupone <tupone <AT> gentoo <DOT> org>
3 AuthorDate: Fri Oct 1 17:19:20 2021 +0000
4 Commit: Alfredo Tupone <tupone <AT> gentoo <DOT> org>
5 CommitDate: Fri Oct 1 17:19:20 2021 +0000
6 URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=346abd6e
7
8 dev-ml/patience_diff: build with ocaml-4.12
9
10 Package-Manager: Portage-3.0.20, Repoman-3.0.3
11 Signed-off-by: Alfredo Tupone <tupone <AT> gentoo.org>
12
13 dev-ml/patience_diff/metadata.xml | 5 ++++-
14 dev-ml/patience_diff/patience_diff-0.14.0.ebuild | 4 ++++
15 2 files changed, 8 insertions(+), 1 deletion(-)
16
17 diff --git a/dev-ml/patience_diff/metadata.xml b/dev-ml/patience_diff/metadata.xml
18 index 65186ef690b..c87f5360ebd 100644
19 --- a/dev-ml/patience_diff/metadata.xml
20 +++ b/dev-ml/patience_diff/metadata.xml
21 @@ -1,7 +1,10 @@
22 <?xml version="1.0" encoding="UTF-8"?>
23 <!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd">
24 <pkgmetadata>
25 - <!-- maintainer-needed -->
26 + <maintainer type="project">
27 + <email>ml@g.o</email>
28 + <name>ML</name>
29 + </maintainer>
30 <upstream>
31 <remote-id type="github">janestreet/patience_diff</remote-id>
32 </upstream>
33
34 diff --git a/dev-ml/patience_diff/patience_diff-0.14.0.ebuild b/dev-ml/patience_diff/patience_diff-0.14.0.ebuild
35 index 67d3bdbbc95..cd95ca35acf 100644
36 --- a/dev-ml/patience_diff/patience_diff-0.14.0.ebuild
37 +++ b/dev-ml/patience_diff/patience_diff-0.14.0.ebuild
38 @@ -19,3 +19,7 @@ RDEPEND="
39 dev-ml/core_kernel:=
40 dev-ml/ppx_jane:=
41 "
42 +
43 +src_compile() {
44 + dune build @install --profile release || die
45 +}