[gentoo-commits] repo/gentoo:master commit in: dev-util/patdiff/

2024-06-04 Thread Alfredo Tupone 
commit: 0526d27a6c71c8b3df50d670335018006314d238
Author: Alfredo Tupone  gentoo  org>
AuthorDate: Tue Jun  4 19:50:44 2024 +
Commit: Alfredo Tupone  gentoo  org>
CommitDate: Tue Jun  4 19:51:08 2024 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=0526d27a

dev-util/patdiff: fix deps

Closes: https://bugs.gentoo.org/916187
Signed-off-by: Alfredo Tupone  gentoo.org>

 .../{patdiff-0.14.0-r1.ebuild => patdiff-0.14.0-r2.ebuild}| 8 
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/dev-util/patdiff/patdiff-0.14.0-r1.ebuild 
b/dev-util/patdiff/patdiff-0.14.0-r2.ebuild
similarity index 81%
rename from dev-util/patdiff/patdiff-0.14.0-r1.ebuild
rename to dev-util/patdiff/patdiff-0.14.0-r2.ebuild
index 221c6234c808..7ca261798397 100644
--- a/dev-util/patdiff/patdiff-0.14.0-r1.ebuild
+++ b/dev-util/patdiff/patdiff-0.14.0-r2.ebuild
@@ -1,4 +1,4 @@
-# Copyright 1999-2022 Gentoo Authors
+# Copyright 1999-2024 Gentoo Authors
 # Distributed under the terms of the GNU General Public License v2
 
 EAPI=7
@@ -16,10 +16,10 @@ IUSE="+ocamlopt"
 
 RDEPEND="
>=dev-lang/ocaml-4.08.0:=
-   dev-ml/core:=
-   dev-ml/core_kernel:=
+   =dev-ml/re-1.8.0:=
 "

[gentoo-commits] repo/gentoo:master commit in: dev-util/patdiff/

2023-01-26 Thread Sam James 
commit: 84e75bb8dddef8175c3f869ab9de9b00070c44df
Author: Sam James  gentoo  org>
AuthorDate: Fri Jan 27 00:24:41 2023 +
Commit: Sam James  gentoo  org>
CommitDate: Fri Jan 27 00:28:32 2023 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=84e75bb8

dev-util/patdiff: unkeyword 0.15.0 for ~riscv

Signed-off-by: Sam James  gentoo.org>

 dev-util/patdiff/patdiff-0.15.0.ebuild | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/dev-util/patdiff/patdiff-0.15.0.ebuild 
b/dev-util/patdiff/patdiff-0.15.0.ebuild
index 8a8584db976a..f10b7a3ff52a 100644
--- a/dev-util/patdiff/patdiff-0.15.0.ebuild
+++ b/dev-util/patdiff/patdiff-0.15.0.ebuild
@@ -1,4 +1,4 @@
-# Copyright 1999-2022 Gentoo Authors
+# Copyright 1999-2023 Gentoo Authors
 # Distributed under the terms of the GNU General Public License v2
 
 EAPI=8
@@ -11,7 +11,7 @@ 
SRC_URI="https://github.com/janestreet/patdiff/archive/v${PV}.tar.gz -> ${P}.tar
 
 LICENSE="Apache-2.0"
 SLOT="0/$(ver_cut 1-2)"
-KEYWORDS="~amd64 ~riscv"
+KEYWORDS="~amd64"
 IUSE="+ocamlopt"
 
 RDEPEND="

[gentoo-commits] repo/gentoo:master commit in: dev-util/patdiff/

2022-04-27 Thread Alfredo Tupone 
commit: 051cc873e63c30380fb61a39e5a4bba5f88dfbc0
Author: Alfredo Tupone  gentoo  org>
AuthorDate: Wed Apr 27 20:20:00 2022 +
Commit: Alfredo Tupone  gentoo  org>
CommitDate: Wed Apr 27 20:20:25 2022 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=051cc873

dev-util/patdiff: 0.15.0 bump

Package-Manager: Portage-3.0.30, Repoman-3.0.3
Signed-off-by: Alfredo Tupone  gentoo.org>

 dev-util/patdiff/Manifest  |  1 +
 dev-util/patdiff/patdiff-0.15.0.ebuild | 22 ++
 2 files changed, 23 insertions(+)

diff --git a/dev-util/patdiff/Manifest b/dev-util/patdiff/Manifest
index c6340c9d1eef..2426844d0904 100644
--- a/dev-util/patdiff/Manifest
+++ b/dev-util/patdiff/Manifest
@@ -1 +1,2 @@
 DIST patdiff-0.14.0.tar.gz 220013 BLAKE2B 
274d3590fc2ce8b72eb80d5c2dd07578729e9d1bcbdf7d4f94f35248f854a6a242cd0298dce4574ed53e4cdf279e3586fb8a1b543e84c2c6b682f604dc3cb468
 SHA512 
2f326cbd4c2d153b3e64dd1bc4b514a9ca00292bf80835290fbe7d74e211261c043c002ff929971d65cf24825a42e0c1662fe5c5a1c8acbb8babad796f339601
+DIST patdiff-0.15.0.tar.gz 223538 BLAKE2B 
1b73275f5c2f27441e62a03f1b3215f991302a20a4d4385a0795fb657e77d97bfeee0ed8bba54fac0b1136e02d29b4f3c689b2a03b0f80292deb787c33f235bc
 SHA512 
f301e0133447f8284b565fd821db79239fff0401511ecfcef303fc79a3073b2cec527c7a357617541d5f149096c3f8977b717620893e53e2a407db1c3ea68924

diff --git a/dev-util/patdiff/patdiff-0.15.0.ebuild 
b/dev-util/patdiff/patdiff-0.15.0.ebuild
new file mode 100644
index ..8a8584db976a
--- /dev/null
+++ b/dev-util/patdiff/patdiff-0.15.0.ebuild
@@ -0,0 +1,22 @@
+# Copyright 1999-2022 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+inherit dune
+
+DESCRIPTION="Colored patience diffs with word-level refinement"
+HOMEPAGE="https://github.com/janestreet/patdiff";
+SRC_URI="https://github.com/janestreet/patdiff/archive/v${PV}.tar.gz -> 
${P}.tar.gz"
+
+LICENSE="Apache-2.0"
+SLOT="0/$(ver_cut 1-2)"
+KEYWORDS="~amd64 ~riscv"
+IUSE="+ocamlopt"
+
+RDEPEND="
+   dev-ml/core_unix:${SLOT}
+   dev-ml/patience_diff:${SLOT}
+   dev-ml/pcre-ocaml:=
+"
+DEPEND="${RDEPEND}"

[gentoo-commits] repo/gentoo:master commit in: dev-util/patdiff/

2022-04-18 Thread Jakov Smolić 
commit: d74222c564a9dcd00ea8598e4dfb43ee2f3c7025
Author: Yongxiang Liang  gmail  com>
AuthorDate: Sun Apr 17 15:41:24 2022 +
Commit: Jakov Smolić  gentoo  org>
CommitDate: Mon Apr 18 21:06:48 2022 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=d74222c5

dev-util/patdiff: Keyword 0.14.0-r1 riscv, #838100

Bug: https://bugs.gentoo.org/838100
Signed-off-by: Yongxiang Liang  gmail.com>
Closes: https://github.com/gentoo/gentoo/pull/25067
Signed-off-by: Jakov Smolić  gentoo.org>

 dev-util/patdiff/patdiff-0.14.0-r1.ebuild | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/dev-util/patdiff/patdiff-0.14.0-r1.ebuild 
b/dev-util/patdiff/patdiff-0.14.0-r1.ebuild
index 30a2be625868..221c6234c808 100644
--- a/dev-util/patdiff/patdiff-0.14.0-r1.ebuild
+++ b/dev-util/patdiff/patdiff-0.14.0-r1.ebuild
@@ -1,4 +1,4 @@
-# Copyright 1999-2021 Gentoo Authors
+# Copyright 1999-2022 Gentoo Authors
 # Distributed under the terms of the GNU General Public License v2
 
 EAPI=7
@@ -11,7 +11,7 @@ 
SRC_URI="https://github.com/janestreet/patdiff/archive/v${PV}.tar.gz -> ${P}.tar
 
 LICENSE="Apache-2.0"
 SLOT="0"
-KEYWORDS="~amd64"
+KEYWORDS="~amd64 ~riscv"
 IUSE="+ocamlopt"
 
 RDEPEND="

[gentoo-commits] repo/gentoo:master commit in: dev-util/patdiff/

2021-10-14 Thread Sam James 
commit: 13efde16262301986152f1a67c1977e0404a8fa5
Author: Sam James  gentoo  org>
AuthorDate: Thu Oct 14 07:45:59 2021 +
Commit: Sam James  gentoo  org>
CommitDate: Thu Oct 14 07:56:02 2021 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=13efde16

dev-util/patdiff: fix dependencies

Closes: https://bugs.gentoo.org/817986
Signed-off-by: Sam James  gentoo.org>

 dev-util/patdiff/{patdiff-0.14.0.ebuild => patdiff-0.14.0-r1.ebuild} | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/dev-util/patdiff/patdiff-0.14.0.ebuild 
b/dev-util/patdiff/patdiff-0.14.0-r1.ebuild
similarity index 93%
rename from dev-util/patdiff/patdiff-0.14.0.ebuild
rename to dev-util/patdiff/patdiff-0.14.0-r1.ebuild
index 0f097116737..30a2be62586 100644
--- a/dev-util/patdiff/patdiff-0.14.0.ebuild
+++ b/dev-util/patdiff/patdiff-0.14.0-r1.ebuild
@@ -21,5 +21,6 @@ RDEPEND="
dev-ml/patience_diff:0/$(ver_cut 1-2)
dev-ml/ppx_jane:=
dev-ml/pcre-ocaml:=
-   >=dev-ml/re-1.8.0
+   >=dev-ml/re-1.8.0:=
 "
+DEPEND="${RDEPEND}"

[gentoo-commits] repo/gentoo:master commit in: dev-util/patdiff/

2021-03-02 Thread Alfredo Tupone 
commit: 9a511881a97715a243a12c7440f6406b8bf95347
Author: Alfredo Tupone  gentoo  org>
AuthorDate: Wed Mar  3 07:55:31 2021 +
Commit: Alfredo Tupone  gentoo  org>
CommitDate: Wed Mar  3 07:55:31 2021 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=9a511881

dev-util/patdiff: remove old version

Package-Manager: Portage-3.0.13, Repoman-3.0.2
Signed-off-by: Alfredo Tupone  gentoo.org>

 dev-util/patdiff/Manifest |  1 -
 dev-util/patdiff/patdiff-0.9.0.ebuild | 36 ---
 2 files changed, 37 deletions(-)

diff --git a/dev-util/patdiff/Manifest b/dev-util/patdiff/Manifest
index f1a33573049..c6340c9d1ee 100644
--- a/dev-util/patdiff/Manifest
+++ b/dev-util/patdiff/Manifest
@@ -1,2 +1 @@
 DIST patdiff-0.14.0.tar.gz 220013 BLAKE2B 
274d3590fc2ce8b72eb80d5c2dd07578729e9d1bcbdf7d4f94f35248f854a6a242cd0298dce4574ed53e4cdf279e3586fb8a1b543e84c2c6b682f604dc3cb468
 SHA512 
2f326cbd4c2d153b3e64dd1bc4b514a9ca00292bf80835290fbe7d74e211261c043c002ff929971d65cf24825a42e0c1662fe5c5a1c8acbb8babad796f339601
-DIST patdiff-0.9.0.tar.gz 40059 BLAKE2B 
e9994397f44572d4e11d510de79007b0d621ef7c841d9d4d8a8ede2dd9867f202e9b53c31dcdfa7166cec9d7e0aa8ae2151e2cb148a5ddad6da5ea6706aaeef4
 SHA512 
a48d58c7b2681d5be6281fd6ff4e95df98d6c6f50622eaae5560a9f99c3b8ea0154cec5e6e5eaff687122a1d907657e943239869125089cab5e94e65f7c6a298

diff --git a/dev-util/patdiff/patdiff-0.9.0.ebuild 
b/dev-util/patdiff/patdiff-0.9.0.ebuild
deleted file mode 100644
index 2c95dc9f454..000
--- a/dev-util/patdiff/patdiff-0.9.0.ebuild
+++ /dev/null
@@ -1,36 +0,0 @@
-# Copyright 1999-2017 Gentoo Foundation
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI=6
-
-DESCRIPTION="Colored patience diffs with word-level refinement"
-HOMEPAGE="https://github.com/janestreet/patdiff";
-SRC_URI="https://github.com/janestreet/patdiff/archive/v${PV}.tar.gz -> 
${P}.tar.gz"
-
-LICENSE="Apache-2.0"
-SLOT="0/${PV}"
-KEYWORDS="~amd64"
-IUSE=""
-
-RDEPEND="
-   dev-lang/ocaml:=
-   dev-ml/core:=
-   dev-ml/core_extended:=
-   dev-ml/patience_diff:=
-   dev-ml/ppx_driver:=
-   dev-ml/ppx_jane:=
-   dev-ml/re2:=
-   dev-ml/sexplib:=
-   dev-ml/ocaml-migrate-parsetree:=
-   dev-ml/pcre-ocaml:=
-"
-DEPEND="${RDEPEND} dev-ml/opam dev-ml/jbuilder"
-
-src_install() {
-   opam-installer -i \
-   --prefix="${ED}/usr" \
-   --libdir="${D}/$(ocamlc -where)" \
-   --docdir="${ED}/usr/share/doc/${PF}" \
-   --mandir="${ED}/usr/share/man" \
-   ${PN}.install || die
-}

[gentoo-commits] repo/gentoo:master commit in: dev-util/patdiff/

2021-03-02 Thread Alfredo Tupone 
commit: 68de8165f975b89bbd652234c3290e39ac97598f
Author: Alfredo Tupone  gentoo  org>
AuthorDate: Tue Mar  2 19:20:27 2021 +
Commit: Alfredo Tupone  gentoo  org>
CommitDate: Tue Mar  2 19:20:27 2021 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=68de8165

dev-util/patdiff: version bump to 0.14.0

Package-Manager: Portage-3.0.13, Repoman-3.0.2
Signed-off-by: Alfredo Tupone  gentoo.org>

 dev-util/patdiff/Manifest  |  1 +
 dev-util/patdiff/metadata.xml  |  5 -
 dev-util/patdiff/patdiff-0.14.0.ebuild | 25 +
 3 files changed, 30 insertions(+), 1 deletion(-)

diff --git a/dev-util/patdiff/Manifest b/dev-util/patdiff/Manifest
index 738fecb020b..f1a33573049 100644
--- a/dev-util/patdiff/Manifest
+++ b/dev-util/patdiff/Manifest
@@ -1 +1,2 @@
+DIST patdiff-0.14.0.tar.gz 220013 BLAKE2B 
274d3590fc2ce8b72eb80d5c2dd07578729e9d1bcbdf7d4f94f35248f854a6a242cd0298dce4574ed53e4cdf279e3586fb8a1b543e84c2c6b682f604dc3cb468
 SHA512 
2f326cbd4c2d153b3e64dd1bc4b514a9ca00292bf80835290fbe7d74e211261c043c002ff929971d65cf24825a42e0c1662fe5c5a1c8acbb8babad796f339601
 DIST patdiff-0.9.0.tar.gz 40059 BLAKE2B 
e9994397f44572d4e11d510de79007b0d621ef7c841d9d4d8a8ede2dd9867f202e9b53c31dcdfa7166cec9d7e0aa8ae2151e2cb148a5ddad6da5ea6706aaeef4
 SHA512 
a48d58c7b2681d5be6281fd6ff4e95df98d6c6f50622eaae5560a9f99c3b8ea0154cec5e6e5eaff687122a1d907657e943239869125089cab5e94e65f7c6a298

diff --git a/dev-util/patdiff/metadata.xml b/dev-util/patdiff/metadata.xml
index 4539784bd6f..0433eae11b2 100644
--- a/dev-util/patdiff/metadata.xml
+++ b/dev-util/patdiff/metadata.xml
@@ -1,7 +1,10 @@
 
 http://www.gentoo.org/dtd/metadata.dtd";>
 
-   
+   
+   m...@gentoo.org
+   ML
+   

janestreet/patdiff


diff --git a/dev-util/patdiff/patdiff-0.14.0.ebuild 
b/dev-util/patdiff/patdiff-0.14.0.ebuild
new file mode 100644
index 000..0f097116737
--- /dev/null
+++ b/dev-util/patdiff/patdiff-0.14.0.ebuild
@@ -0,0 +1,25 @@
+# Copyright 1999-2021 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=7
+
+inherit dune
+
+DESCRIPTION="Colored patience diffs with word-level refinement"
+HOMEPAGE="https://github.com/janestreet/patdiff";
+SRC_URI="https://github.com/janestreet/patdiff/archive/v${PV}.tar.gz -> 
${P}.tar.gz"
+
+LICENSE="Apache-2.0"
+SLOT="0"
+KEYWORDS="~amd64"
+IUSE="+ocamlopt"
+
+RDEPEND="
+   >=dev-lang/ocaml-4.08.0:=
+   dev-ml/core:=
+   dev-ml/core_kernel:=
+   dev-ml/patience_diff:0/$(ver_cut 1-2)
+   dev-ml/ppx_jane:=
+   dev-ml/pcre-ocaml:=
+   >=dev-ml/re-1.8.0
+"

[gentoo-commits] repo/gentoo:master commit in: dev-util/patdiff/

2017-11-26 Thread David Seifert 
commit: cdea0497a04ea5c8ffef74db9ee96c2ca7d2110a
Author: David Seifert  gentoo  org>
AuthorDate: Sat Nov 25 22:44:06 2017 +
Commit: David Seifert  gentoo  org>
CommitDate: Sun Nov 26 11:38:03 2017 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=cdea0497

dev-util/patdiff: [QA] Consistent whitespace in metadata.xml

 dev-util/patdiff/metadata.xml | 14 +++---
 1 file changed, 7 insertions(+), 7 deletions(-)

diff --git a/dev-util/patdiff/metadata.xml b/dev-util/patdiff/metadata.xml
index 80d170f9a1b..b31ec668fef 100644
--- a/dev-util/patdiff/metadata.xml
+++ b/dev-util/patdiff/metadata.xml
@@ -1,11 +1,11 @@
 
 http://www.gentoo.org/dtd/metadata.dtd";>
 
-
-   m...@gentoo.org
-   Gentoo ML Project
-
-  
- janestreet/patdiff
-  
+   
+   m...@gentoo.org
+   Gentoo ML Project
+   
+   
+   janestreet/patdiff
+

[gentoo-commits] repo/gentoo:master commit in: dev-util/patdiff/

2017-06-22 Thread Alexis Ballier 
commit: e85c0d27917d082fa8de489b5e4e3f9b5ab7d514
Author: Alexis Ballier  gentoo  org>
AuthorDate: Thu Jun 22 12:38:57 2017 +
Commit: Alexis Ballier  gentoo  org>
CommitDate: Thu Jun 22 14:24:34 2017 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=e85c0d27

dev-util/patdiff: initial import

Package-Manager: Portage-2.3.6, Repoman-2.3.2

 dev-util/patdiff/Manifest |  1 +
 dev-util/patdiff/metadata.xml | 11 +++
 dev-util/patdiff/patdiff-0.9.0.ebuild | 36 +++
 3 files changed, 48 insertions(+)

diff --git a/dev-util/patdiff/Manifest b/dev-util/patdiff/Manifest
new file mode 100644
index 000..805e070b68a
--- /dev/null
+++ b/dev-util/patdiff/Manifest
@@ -0,0 +1 @@
+DIST patdiff-0.9.0.tar.gz 40059 SHA256 
ca5cddb2aad11eb29108e14b661427fc9488fca6753578b0141b331ee39683f5 SHA512 
a48d58c7b2681d5be6281fd6ff4e95df98d6c6f50622eaae5560a9f99c3b8ea0154cec5e6e5eaff687122a1d907657e943239869125089cab5e94e65f7c6a298
 WHIRLPOOL 
3dc776b01b77b06d04b4511b06c9d892d5cc2eb93c62333707c274dc2af301bca05ed5be08b86e5c371b8efc8c98032fbff587e6d93de0acf7b8e1154b11b14e

diff --git a/dev-util/patdiff/metadata.xml b/dev-util/patdiff/metadata.xml
new file mode 100644
index 000..80d170f9a1b
--- /dev/null
+++ b/dev-util/patdiff/metadata.xml
@@ -0,0 +1,11 @@
+
+http://www.gentoo.org/dtd/metadata.dtd";>
+
+
+   m...@gentoo.org
+   Gentoo ML Project
+
+  
+ janestreet/patdiff
+  
+

diff --git a/dev-util/patdiff/patdiff-0.9.0.ebuild 
b/dev-util/patdiff/patdiff-0.9.0.ebuild
new file mode 100644
index 000..2c95dc9f454
--- /dev/null
+++ b/dev-util/patdiff/patdiff-0.9.0.ebuild
@@ -0,0 +1,36 @@
+# Copyright 1999-2017 Gentoo Foundation
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=6
+
+DESCRIPTION="Colored patience diffs with word-level refinement"
+HOMEPAGE="https://github.com/janestreet/patdiff";
+SRC_URI="https://github.com/janestreet/patdiff/archive/v${PV}.tar.gz -> 
${P}.tar.gz"
+
+LICENSE="Apache-2.0"
+SLOT="0/${PV}"
+KEYWORDS="~amd64"
+IUSE=""
+
+RDEPEND="
+   dev-lang/ocaml:=
+   dev-ml/core:=
+   dev-ml/core_extended:=
+   dev-ml/patience_diff:=
+   dev-ml/ppx_driver:=
+   dev-ml/ppx_jane:=
+   dev-ml/re2:=
+   dev-ml/sexplib:=
+   dev-ml/ocaml-migrate-parsetree:=
+   dev-ml/pcre-ocaml:=
+"
+DEPEND="${RDEPEND} dev-ml/opam dev-ml/jbuilder"
+
+src_install() {
+   opam-installer -i \
+   --prefix="${ED}/usr" \
+   --libdir="${D}/$(ocamlc -where)" \
+   --docdir="${ED}/usr/share/doc/${PF}" \
+   --mandir="${ED}/usr/share/man" \
+   ${PN}.install || die
+}