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 |
+} |