[gentoo-commits] repo/gentoo:master commit in: dev-ml/patience_diff/
commit: 3e2f13c02fc1c14f7185b1a280f67164644f3b5d Author: Alfredo Tupone gentoo org> AuthorDate: Mon Mar 1 20:37:33 2021 + Commit: Alfredo Tupone gentoo org> CommitDate: Mon Mar 1 20:37:33 2021 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=3e2f13c0 dev-ml/patience_diff: version bump to 0.14.0 Package-Manager: Portage-3.0.13, Repoman-3.0.2 Signed-off-by: Alfredo Tupone gentoo.org> dev-ml/patience_diff/Manifest| 1 + dev-ml/patience_diff/patience_diff-0.14.0.ebuild | 21 + 2 files changed, 22 insertions(+) diff --git a/dev-ml/patience_diff/Manifest b/dev-ml/patience_diff/Manifest index 002d157a514..efc52327c97 100644 --- a/dev-ml/patience_diff/Manifest +++ b/dev-ml/patience_diff/Manifest @@ -1 +1,2 @@ +DIST patience_diff-0.14.0.tar.gz 20060 BLAKE2B d47d9a93ef0a7eeada7f050aec0427f8352343609da1332de59d6b3ced41e9942556e1d61e12ab2075bc15cf29afc60191f48da43c1a4358d414352eb6efd044 SHA512 d253488402e515d56ed9d83ef45edfce378d6ad5148d80f8d81341cff28d19115350d72cc057ecd6c14b907888eca8e6bce1b8e71c7a978149979a16a5512fd2 DIST patience_diff-0.9.0.tar.gz 16520 BLAKE2B af7f93906c1f4ab70649bc41726aff21f9f099fe49b0d3a3e8bea01d85e9f01cac4bd103179e9877d79dbc997d37318382321dacd67be57a9e031fd95e0263e5 SHA512 62cc0950edd8d46d5a11cd612dbdb8dc531a9a2c71403f30e6022e20d9ee21cb2e7a531362fa8b350075003eec929f1f70481b8e160b253831966d80a8becd83 diff --git a/dev-ml/patience_diff/patience_diff-0.14.0.ebuild b/dev-ml/patience_diff/patience_diff-0.14.0.ebuild new file mode 100644 index 000..67d3bdbbc95 --- /dev/null +++ b/dev-ml/patience_diff/patience_diff-0.14.0.ebuild @@ -0,0 +1,21 @@ +# Copyright 1999-2021 Gentoo Authors +# Distributed under the terms of the GNU General Public License v2 + +EAPI=7 + +inherit dune + +DESCRIPTION="Tool and library implementing patience diff" +HOMEPAGE="https://github.com/janestreet/patience_diff"; +SRC_URI="https://github.com/janestreet/${PN}/archive/v${PV}.tar.gz -> ${P}.tar.gz" + +LICENSE="Apache-2.0" +SLOT="0/$(ver_cut 1-2)" +KEYWORDS="~amd64" +IUSE="+ocamlopt" + +RDEPEND=" + dev-ml/base:= + dev-ml/core_kernel:= + dev-ml/ppx_jane:= +"
[gentoo-commits] repo/gentoo:master commit in: dev-ml/patience_diff/
commit: 819981a9e592c4ead78b2af0329e6a1cde9045a9 Author: Alfredo Tupone gentoo org> AuthorDate: Sun Mar 7 14:25:55 2021 + Commit: Alfredo Tupone gentoo org> CommitDate: Sun Mar 7 14:37:34 2021 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=819981a9 dev-ml/patience_diff: rem old version Package-Manager: Portage-3.0.13, Repoman-3.0.2 Signed-off-by: Alfredo Tupone gentoo.org> dev-ml/patience_diff/Manifest | 1 - dev-ml/patience_diff/patience_diff-0.9.0.ebuild | 23 --- 2 files changed, 24 deletions(-) diff --git a/dev-ml/patience_diff/Manifest b/dev-ml/patience_diff/Manifest index efc52327c97..5648b021c4a 100644 --- a/dev-ml/patience_diff/Manifest +++ b/dev-ml/patience_diff/Manifest @@ -1,2 +1 @@ DIST patience_diff-0.14.0.tar.gz 20060 BLAKE2B d47d9a93ef0a7eeada7f050aec0427f8352343609da1332de59d6b3ced41e9942556e1d61e12ab2075bc15cf29afc60191f48da43c1a4358d414352eb6efd044 SHA512 d253488402e515d56ed9d83ef45edfce378d6ad5148d80f8d81341cff28d19115350d72cc057ecd6c14b907888eca8e6bce1b8e71c7a978149979a16a5512fd2 -DIST patience_diff-0.9.0.tar.gz 16520 BLAKE2B af7f93906c1f4ab70649bc41726aff21f9f099fe49b0d3a3e8bea01d85e9f01cac4bd103179e9877d79dbc997d37318382321dacd67be57a9e031fd95e0263e5 SHA512 62cc0950edd8d46d5a11cd612dbdb8dc531a9a2c71403f30e6022e20d9ee21cb2e7a531362fa8b350075003eec929f1f70481b8e160b253831966d80a8becd83 diff --git a/dev-ml/patience_diff/patience_diff-0.9.0.ebuild b/dev-ml/patience_diff/patience_diff-0.9.0.ebuild deleted file mode 100644 index 75cd3ec4d12..000 --- a/dev-ml/patience_diff/patience_diff-0.9.0.ebuild +++ /dev/null @@ -1,23 +0,0 @@ -# Copyright 1999-2020 Gentoo Authors -# Distributed under the terms of the GNU General Public License v2 - -EAPI=6 - -inherit opam - -DESCRIPTION="Tool and library implementing patience diff" -HOMEPAGE="https://github.com/janestreet/patience_diff"; -SRC_URI="https://github.com/janestreet/${PN}/archive/v${PV}.tar.gz -> ${P}.tar.gz" - -LICENSE="Apache-2.0" -SLOT="0/${PV}" -KEYWORDS="~amd64" -IUSE="" - -RDEPEND=" - dev-ml/core_kernel:= - dev-ml/ppx_driver:= - dev-ml/ppx_jane:= - dev-ml/ocaml-migrate-parsetree:= -" -DEPEND="${RDEPEND} dev-ml/jbuilder"
[gentoo-commits] repo/gentoo:master commit in: dev-ml/patience_diff/
commit: 346abd6e30bfe536efcdab2f52a37c54580ffb88 Author: Alfredo Tupone gentoo org> AuthorDate: Fri Oct 1 17:19:20 2021 + Commit: Alfredo Tupone gentoo org> CommitDate: Fri Oct 1 17:19:20 2021 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=346abd6e dev-ml/patience_diff: build with ocaml-4.12 Package-Manager: Portage-3.0.20, Repoman-3.0.3 Signed-off-by: Alfredo Tupone gentoo.org> dev-ml/patience_diff/metadata.xml| 5 - dev-ml/patience_diff/patience_diff-0.14.0.ebuild | 4 2 files changed, 8 insertions(+), 1 deletion(-) diff --git a/dev-ml/patience_diff/metadata.xml b/dev-ml/patience_diff/metadata.xml index 65186ef690b..c87f5360ebd 100644 --- a/dev-ml/patience_diff/metadata.xml +++ b/dev-ml/patience_diff/metadata.xml @@ -1,7 +1,10 @@ https://www.gentoo.org/dtd/metadata.dtd";> - + + m...@gentoo.org + ML + janestreet/patience_diff diff --git a/dev-ml/patience_diff/patience_diff-0.14.0.ebuild b/dev-ml/patience_diff/patience_diff-0.14.0.ebuild index 67d3bdbbc95..cd95ca35acf 100644 --- a/dev-ml/patience_diff/patience_diff-0.14.0.ebuild +++ b/dev-ml/patience_diff/patience_diff-0.14.0.ebuild @@ -19,3 +19,7 @@ RDEPEND=" dev-ml/core_kernel:= dev-ml/ppx_jane:= " + +src_compile() { + dune build @install --profile release || die +}
[gentoo-commits] repo/gentoo:master commit in: dev-ml/patience_diff/
commit: ab0250411fd4eb994bcdc4812c0b5594e4b72076 Author: Alfredo Tupone gentoo org> AuthorDate: Sun Oct 3 09:55:32 2021 + Commit: Alfredo Tupone gentoo org> CommitDate: Sun Oct 3 09:57:43 2021 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=ab025041 dev-ml/patience_diff: src_compile is in dune.eclass Package-Manager: Portage-3.0.20, Repoman-3.0.3 Signed-off-by: Alfredo Tupone gentoo.org> dev-ml/patience_diff/patience_diff-0.14.0.ebuild | 4 1 file changed, 4 deletions(-) diff --git a/dev-ml/patience_diff/patience_diff-0.14.0.ebuild b/dev-ml/patience_diff/patience_diff-0.14.0.ebuild index cd95ca35acf..67d3bdbbc95 100644 --- a/dev-ml/patience_diff/patience_diff-0.14.0.ebuild +++ b/dev-ml/patience_diff/patience_diff-0.14.0.ebuild @@ -19,7 +19,3 @@ RDEPEND=" dev-ml/core_kernel:= dev-ml/ppx_jane:= " - -src_compile() { - dune build @install --profile release || die -}
[gentoo-commits] repo/gentoo:master commit in: dev-ml/patience_diff/
commit: 2bf2ed0a3e1a7e33b954f54f63a98b2303b3c120 Author: Alfredo Tupone gentoo org> AuthorDate: Wed Apr 27 20:09:08 2022 + Commit: Alfredo Tupone gentoo org> CommitDate: Wed Apr 27 20:09:31 2022 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=2bf2ed0a dev-ml/patience_diff: 0.15.0 bump Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Alfredo Tupone gentoo.org> dev-ml/patience_diff/Manifest| 1 + dev-ml/patience_diff/patience_diff-0.15.0.ebuild | 17 + 2 files changed, 18 insertions(+) diff --git a/dev-ml/patience_diff/Manifest b/dev-ml/patience_diff/Manifest index 5648b021c4a7..746fe5ac6ac4 100644 --- a/dev-ml/patience_diff/Manifest +++ b/dev-ml/patience_diff/Manifest @@ -1 +1,2 @@ DIST patience_diff-0.14.0.tar.gz 20060 BLAKE2B d47d9a93ef0a7eeada7f050aec0427f8352343609da1332de59d6b3ced41e9942556e1d61e12ab2075bc15cf29afc60191f48da43c1a4358d414352eb6efd044 SHA512 d253488402e515d56ed9d83ef45edfce378d6ad5148d80f8d81341cff28d19115350d72cc057ecd6c14b907888eca8e6bce1b8e71c7a978149979a16a5512fd2 +DIST patience_diff-0.15.0.tar.gz 20434 BLAKE2B 52e0f1d3437f97d384224cd06035802376fe2af97c085e183f99934f6f8238270723505cda7c617b7847fa4d5f51abbfaa58cd25aac5f0eeb56b42559e91421a SHA512 d3cbf2b2fb8618cd3342abcb7beea110a93b0e8f6984f3becdf9066c717f6f7832f86a8fb72ac56c587cbd6e5abecf07c0b98d9ec1cb7a40bfb9d4a5b1de12ba diff --git a/dev-ml/patience_diff/patience_diff-0.15.0.ebuild b/dev-ml/patience_diff/patience_diff-0.15.0.ebuild new file mode 100644 index ..00760fb0e14f --- /dev/null +++ b/dev-ml/patience_diff/patience_diff-0.15.0.ebuild @@ -0,0 +1,17 @@ +# Copyright 1999-2022 Gentoo Authors +# Distributed under the terms of the GNU General Public License v2 + +EAPI=7 + +inherit dune + +DESCRIPTION="Tool and library implementing patience diff" +HOMEPAGE="https://github.com/janestreet/patience_diff"; +SRC_URI="https://github.com/janestreet/${PN}/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:${SLOT}"
[gentoo-commits] repo/gentoo:master commit in: dev-ml/patience_diff/
commit: 3ec548286a50200454f1daacc757569237250958 Author: Yongxiang Liang gmail com> AuthorDate: Sun Apr 17 15:41:21 2022 + Commit: Jakov Smolić gentoo org> CommitDate: Mon Apr 18 21:06:47 2022 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=3ec54828 dev-ml/patience_diff: Keyword 0.14.0 riscv, #838100 Signed-off-by: Yongxiang Liang gmail.com> Signed-off-by: Jakov Smolić gentoo.org> dev-ml/patience_diff/patience_diff-0.14.0.ebuild | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/dev-ml/patience_diff/patience_diff-0.14.0.ebuild b/dev-ml/patience_diff/patience_diff-0.14.0.ebuild index 67d3bdbbc951..e73d50987f38 100644 --- a/dev-ml/patience_diff/patience_diff-0.14.0.ebuild +++ b/dev-ml/patience_diff/patience_diff-0.14.0.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/${PN}/archive/v${PV}.tar.gz -> ${P}.tar.g LICENSE="Apache-2.0" SLOT="0/$(ver_cut 1-2)" -KEYWORDS="~amd64" +KEYWORDS="~amd64 ~riscv" IUSE="+ocamlopt" RDEPEND="
[gentoo-commits] repo/gentoo:master commit in: dev-ml/patience_diff/
commit: 2bbea554372d23a4db567b771b668981b3bbd596 Author: Alexis Ballier gentoo org> AuthorDate: Thu Jun 22 12:36:47 2017 + Commit: Alexis Ballier gentoo org> CommitDate: Thu Jun 22 14:24:34 2017 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=2bbea554 dev-ml/patience_diff: initial import Package-Manager: Portage-2.3.6, Repoman-2.3.2 dev-ml/patience_diff/Manifest | 1 + dev-ml/patience_diff/metadata.xml | 11 + dev-ml/patience_diff/patience_diff-0.9.0.ebuild | 30 + 3 files changed, 42 insertions(+) diff --git a/dev-ml/patience_diff/Manifest b/dev-ml/patience_diff/Manifest new file mode 100644 index 000..fc684136055 --- /dev/null +++ b/dev-ml/patience_diff/Manifest @@ -0,0 +1 @@ +DIST patience_diff-0.9.0.tar.gz 16520 SHA256 d47943ca89602e4c4b030f8dec7fa60b5011592a7005fa79cf746b79308d66f8 SHA512 62cc0950edd8d46d5a11cd612dbdb8dc531a9a2c71403f30e6022e20d9ee21cb2e7a531362fa8b350075003eec929f1f70481b8e160b253831966d80a8becd83 WHIRLPOOL f1bb11f6862c9612f48cb861b74028c7c4c720738f44ac75b42d47f527781f6d054d690ac3a36318a6ea3d754544f4e0b9e83627a781989f9c46f5fc4b524f01 diff --git a/dev-ml/patience_diff/metadata.xml b/dev-ml/patience_diff/metadata.xml new file mode 100644 index 000..949b707595e --- /dev/null +++ b/dev-ml/patience_diff/metadata.xml @@ -0,0 +1,11 @@ + +http://www.gentoo.org/dtd/metadata.dtd";> + + + m...@gentoo.org + Gentoo ML Project + + + janestreet/patience_diff + + diff --git a/dev-ml/patience_diff/patience_diff-0.9.0.ebuild b/dev-ml/patience_diff/patience_diff-0.9.0.ebuild new file mode 100644 index 000..727b5d56ef3 --- /dev/null +++ b/dev-ml/patience_diff/patience_diff-0.9.0.ebuild @@ -0,0 +1,30 @@ +# Copyright 1999-2017 Gentoo Foundation +# Distributed under the terms of the GNU General Public License v2 + +EAPI=6 + +DESCRIPTION="Tool and library implementing patience diff" +HOMEPAGE="https://github.com/janestreet/${PN}"; +SRC_URI="https://github.com/janestreet/${PN}/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_kernel:= + dev-ml/ppx_driver:= + dev-ml/ppx_jane:= + dev-ml/ocaml-migrate-parsetree:= +" +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}" \ + ${PN}.install || die +}
[gentoo-commits] repo/gentoo:master commit in: dev-ml/patience_diff/
commit: 4d138138f716438f6a9d2b5261302f06ed7cd2a5 Author: Alexis Ballier gentoo org> AuthorDate: Fri Sep 22 08:22:07 2017 + Commit: Alexis Ballier gentoo org> CommitDate: Fri Sep 22 08:31:44 2017 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=4d138138 dev-ml/patience_diff: update to opam.eclass Package-Manager: Portage-2.3.10, Repoman-2.3.3 dev-ml/patience_diff/patience_diff-0.9.0.ebuild | 13 +++-- 1 file changed, 3 insertions(+), 10 deletions(-) diff --git a/dev-ml/patience_diff/patience_diff-0.9.0.ebuild b/dev-ml/patience_diff/patience_diff-0.9.0.ebuild index 727b5d56ef3..cba06ddf9e1 100644 --- a/dev-ml/patience_diff/patience_diff-0.9.0.ebuild +++ b/dev-ml/patience_diff/patience_diff-0.9.0.ebuild @@ -3,6 +3,8 @@ EAPI=6 +inherit opam + DESCRIPTION="Tool and library implementing patience diff" HOMEPAGE="https://github.com/janestreet/${PN}"; SRC_URI="https://github.com/janestreet/${PN}/archive/v${PV}.tar.gz -> ${P}.tar.gz" @@ -13,18 +15,9 @@ KEYWORDS="~amd64" IUSE="" RDEPEND=" - dev-lang/ocaml:= dev-ml/core_kernel:= dev-ml/ppx_driver:= dev-ml/ppx_jane:= dev-ml/ocaml-migrate-parsetree:= " -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}" \ - ${PN}.install || die -} +DEPEND="${RDEPEND} dev-ml/jbuilder"
[gentoo-commits] repo/gentoo:master commit in: dev-ml/patience_diff/
commit: 4d138138f716438f6a9d2b5261302f06ed7cd2a5 Author: Alexis Ballier gentoo org> AuthorDate: Fri Sep 22 08:22:07 2017 + Commit: Alexis Ballier gentoo org> CommitDate: Fri Sep 22 08:31:44 2017 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=4d138138 dev-ml/patience_diff: update to opam.eclass Package-Manager: Portage-2.3.10, Repoman-2.3.3 dev-ml/patience_diff/patience_diff-0.9.0.ebuild | 13 +++-- 1 file changed, 3 insertions(+), 10 deletions(-) diff --git a/dev-ml/patience_diff/patience_diff-0.9.0.ebuild b/dev-ml/patience_diff/patience_diff-0.9.0.ebuild index 727b5d56ef3..cba06ddf9e1 100644 --- a/dev-ml/patience_diff/patience_diff-0.9.0.ebuild +++ b/dev-ml/patience_diff/patience_diff-0.9.0.ebuild @@ -3,6 +3,8 @@ EAPI=6 +inherit opam + DESCRIPTION="Tool and library implementing patience diff" HOMEPAGE="https://github.com/janestreet/${PN}"; SRC_URI="https://github.com/janestreet/${PN}/archive/v${PV}.tar.gz -> ${P}.tar.gz" @@ -13,18 +15,9 @@ KEYWORDS="~amd64" IUSE="" RDEPEND=" - dev-lang/ocaml:= dev-ml/core_kernel:= dev-ml/ppx_driver:= dev-ml/ppx_jane:= dev-ml/ocaml-migrate-parsetree:= " -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}" \ - ${PN}.install || die -} +DEPEND="${RDEPEND} dev-ml/jbuilder"
[gentoo-commits] repo/gentoo:master commit in: dev-ml/patience_diff/
commit: 2bbea554372d23a4db567b771b668981b3bbd596 Author: Alexis Ballier gentoo org> AuthorDate: Thu Jun 22 12:36:47 2017 + Commit: Alexis Ballier gentoo org> CommitDate: Thu Jun 22 14:24:34 2017 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=2bbea554 dev-ml/patience_diff: initial import Package-Manager: Portage-2.3.6, Repoman-2.3.2 dev-ml/patience_diff/Manifest | 1 + dev-ml/patience_diff/metadata.xml | 11 + dev-ml/patience_diff/patience_diff-0.9.0.ebuild | 30 + 3 files changed, 42 insertions(+) diff --git a/dev-ml/patience_diff/Manifest b/dev-ml/patience_diff/Manifest new file mode 100644 index 000..fc684136055 --- /dev/null +++ b/dev-ml/patience_diff/Manifest @@ -0,0 +1 @@ +DIST patience_diff-0.9.0.tar.gz 16520 SHA256 d47943ca89602e4c4b030f8dec7fa60b5011592a7005fa79cf746b79308d66f8 SHA512 62cc0950edd8d46d5a11cd612dbdb8dc531a9a2c71403f30e6022e20d9ee21cb2e7a531362fa8b350075003eec929f1f70481b8e160b253831966d80a8becd83 WHIRLPOOL f1bb11f6862c9612f48cb861b74028c7c4c720738f44ac75b42d47f527781f6d054d690ac3a36318a6ea3d754544f4e0b9e83627a781989f9c46f5fc4b524f01 diff --git a/dev-ml/patience_diff/metadata.xml b/dev-ml/patience_diff/metadata.xml new file mode 100644 index 000..949b707595e --- /dev/null +++ b/dev-ml/patience_diff/metadata.xml @@ -0,0 +1,11 @@ + +http://www.gentoo.org/dtd/metadata.dtd";> + + + m...@gentoo.org + Gentoo ML Project + + + janestreet/patience_diff + + diff --git a/dev-ml/patience_diff/patience_diff-0.9.0.ebuild b/dev-ml/patience_diff/patience_diff-0.9.0.ebuild new file mode 100644 index 000..727b5d56ef3 --- /dev/null +++ b/dev-ml/patience_diff/patience_diff-0.9.0.ebuild @@ -0,0 +1,30 @@ +# Copyright 1999-2017 Gentoo Foundation +# Distributed under the terms of the GNU General Public License v2 + +EAPI=6 + +DESCRIPTION="Tool and library implementing patience diff" +HOMEPAGE="https://github.com/janestreet/${PN}"; +SRC_URI="https://github.com/janestreet/${PN}/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_kernel:= + dev-ml/ppx_driver:= + dev-ml/ppx_jane:= + dev-ml/ocaml-migrate-parsetree:= +" +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}" \ + ${PN}.install || die +}
[gentoo-commits] repo/gentoo:master commit in: dev-ml/patience_diff/
commit: 2bf2ed0a3e1a7e33b954f54f63a98b2303b3c120 Author: Alfredo Tupone gentoo org> AuthorDate: Wed Apr 27 20:09:08 2022 + Commit: Alfredo Tupone gentoo org> CommitDate: Wed Apr 27 20:09:31 2022 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=2bf2ed0a dev-ml/patience_diff: 0.15.0 bump Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Alfredo Tupone gentoo.org> dev-ml/patience_diff/Manifest| 1 + dev-ml/patience_diff/patience_diff-0.15.0.ebuild | 17 + 2 files changed, 18 insertions(+) diff --git a/dev-ml/patience_diff/Manifest b/dev-ml/patience_diff/Manifest index 5648b021c4a7..746fe5ac6ac4 100644 --- a/dev-ml/patience_diff/Manifest +++ b/dev-ml/patience_diff/Manifest @@ -1 +1,2 @@ DIST patience_diff-0.14.0.tar.gz 20060 BLAKE2B d47d9a93ef0a7eeada7f050aec0427f8352343609da1332de59d6b3ced41e9942556e1d61e12ab2075bc15cf29afc60191f48da43c1a4358d414352eb6efd044 SHA512 d253488402e515d56ed9d83ef45edfce378d6ad5148d80f8d81341cff28d19115350d72cc057ecd6c14b907888eca8e6bce1b8e71c7a978149979a16a5512fd2 +DIST patience_diff-0.15.0.tar.gz 20434 BLAKE2B 52e0f1d3437f97d384224cd06035802376fe2af97c085e183f99934f6f8238270723505cda7c617b7847fa4d5f51abbfaa58cd25aac5f0eeb56b42559e91421a SHA512 d3cbf2b2fb8618cd3342abcb7beea110a93b0e8f6984f3becdf9066c717f6f7832f86a8fb72ac56c587cbd6e5abecf07c0b98d9ec1cb7a40bfb9d4a5b1de12ba diff --git a/dev-ml/patience_diff/patience_diff-0.15.0.ebuild b/dev-ml/patience_diff/patience_diff-0.15.0.ebuild new file mode 100644 index ..00760fb0e14f --- /dev/null +++ b/dev-ml/patience_diff/patience_diff-0.15.0.ebuild @@ -0,0 +1,17 @@ +# Copyright 1999-2022 Gentoo Authors +# Distributed under the terms of the GNU General Public License v2 + +EAPI=7 + +inherit dune + +DESCRIPTION="Tool and library implementing patience diff" +HOMEPAGE="https://github.com/janestreet/patience_diff"; +SRC_URI="https://github.com/janestreet/${PN}/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:${SLOT}"
[gentoo-commits] repo/gentoo:master commit in: dev-ml/patience_diff/
commit: 3e2f13c02fc1c14f7185b1a280f67164644f3b5d Author: Alfredo Tupone gentoo org> AuthorDate: Mon Mar 1 20:37:33 2021 + Commit: Alfredo Tupone gentoo org> CommitDate: Mon Mar 1 20:37:33 2021 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=3e2f13c0 dev-ml/patience_diff: version bump to 0.14.0 Package-Manager: Portage-3.0.13, Repoman-3.0.2 Signed-off-by: Alfredo Tupone gentoo.org> dev-ml/patience_diff/Manifest| 1 + dev-ml/patience_diff/patience_diff-0.14.0.ebuild | 21 + 2 files changed, 22 insertions(+) diff --git a/dev-ml/patience_diff/Manifest b/dev-ml/patience_diff/Manifest index 002d157a514..efc52327c97 100644 --- a/dev-ml/patience_diff/Manifest +++ b/dev-ml/patience_diff/Manifest @@ -1 +1,2 @@ +DIST patience_diff-0.14.0.tar.gz 20060 BLAKE2B d47d9a93ef0a7eeada7f050aec0427f8352343609da1332de59d6b3ced41e9942556e1d61e12ab2075bc15cf29afc60191f48da43c1a4358d414352eb6efd044 SHA512 d253488402e515d56ed9d83ef45edfce378d6ad5148d80f8d81341cff28d19115350d72cc057ecd6c14b907888eca8e6bce1b8e71c7a978149979a16a5512fd2 DIST patience_diff-0.9.0.tar.gz 16520 BLAKE2B af7f93906c1f4ab70649bc41726aff21f9f099fe49b0d3a3e8bea01d85e9f01cac4bd103179e9877d79dbc997d37318382321dacd67be57a9e031fd95e0263e5 SHA512 62cc0950edd8d46d5a11cd612dbdb8dc531a9a2c71403f30e6022e20d9ee21cb2e7a531362fa8b350075003eec929f1f70481b8e160b253831966d80a8becd83 diff --git a/dev-ml/patience_diff/patience_diff-0.14.0.ebuild b/dev-ml/patience_diff/patience_diff-0.14.0.ebuild new file mode 100644 index 000..67d3bdbbc95 --- /dev/null +++ b/dev-ml/patience_diff/patience_diff-0.14.0.ebuild @@ -0,0 +1,21 @@ +# Copyright 1999-2021 Gentoo Authors +# Distributed under the terms of the GNU General Public License v2 + +EAPI=7 + +inherit dune + +DESCRIPTION="Tool and library implementing patience diff" +HOMEPAGE="https://github.com/janestreet/patience_diff"; +SRC_URI="https://github.com/janestreet/${PN}/archive/v${PV}.tar.gz -> ${P}.tar.gz" + +LICENSE="Apache-2.0" +SLOT="0/$(ver_cut 1-2)" +KEYWORDS="~amd64" +IUSE="+ocamlopt" + +RDEPEND=" + dev-ml/base:= + dev-ml/core_kernel:= + dev-ml/ppx_jane:= +"
[gentoo-commits] repo/gentoo:master commit in: dev-ml/patience_diff/
commit: 2bf2ed0a3e1a7e33b954f54f63a98b2303b3c120 Author: Alfredo Tupone gentoo org> AuthorDate: Wed Apr 27 20:09:08 2022 + Commit: Alfredo Tupone gentoo org> CommitDate: Wed Apr 27 20:09:31 2022 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=2bf2ed0a dev-ml/patience_diff: 0.15.0 bump Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Alfredo Tupone gentoo.org> dev-ml/patience_diff/Manifest| 1 + dev-ml/patience_diff/patience_diff-0.15.0.ebuild | 17 + 2 files changed, 18 insertions(+) diff --git a/dev-ml/patience_diff/Manifest b/dev-ml/patience_diff/Manifest index 5648b021c4a7..746fe5ac6ac4 100644 --- a/dev-ml/patience_diff/Manifest +++ b/dev-ml/patience_diff/Manifest @@ -1 +1,2 @@ DIST patience_diff-0.14.0.tar.gz 20060 BLAKE2B d47d9a93ef0a7eeada7f050aec0427f8352343609da1332de59d6b3ced41e9942556e1d61e12ab2075bc15cf29afc60191f48da43c1a4358d414352eb6efd044 SHA512 d253488402e515d56ed9d83ef45edfce378d6ad5148d80f8d81341cff28d19115350d72cc057ecd6c14b907888eca8e6bce1b8e71c7a978149979a16a5512fd2 +DIST patience_diff-0.15.0.tar.gz 20434 BLAKE2B 52e0f1d3437f97d384224cd06035802376fe2af97c085e183f99934f6f8238270723505cda7c617b7847fa4d5f51abbfaa58cd25aac5f0eeb56b42559e91421a SHA512 d3cbf2b2fb8618cd3342abcb7beea110a93b0e8f6984f3becdf9066c717f6f7832f86a8fb72ac56c587cbd6e5abecf07c0b98d9ec1cb7a40bfb9d4a5b1de12ba diff --git a/dev-ml/patience_diff/patience_diff-0.15.0.ebuild b/dev-ml/patience_diff/patience_diff-0.15.0.ebuild new file mode 100644 index ..00760fb0e14f --- /dev/null +++ b/dev-ml/patience_diff/patience_diff-0.15.0.ebuild @@ -0,0 +1,17 @@ +# Copyright 1999-2022 Gentoo Authors +# Distributed under the terms of the GNU General Public License v2 + +EAPI=7 + +inherit dune + +DESCRIPTION="Tool and library implementing patience diff" +HOMEPAGE="https://github.com/janestreet/patience_diff"; +SRC_URI="https://github.com/janestreet/${PN}/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:${SLOT}"
[gentoo-commits] repo/gentoo:master commit in: dev-ml/patience_diff/
commit: 3ec548286a50200454f1daacc757569237250958 Author: Yongxiang Liang gmail com> AuthorDate: Sun Apr 17 15:41:21 2022 + Commit: Jakov Smolić gentoo org> CommitDate: Mon Apr 18 21:06:47 2022 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=3ec54828 dev-ml/patience_diff: Keyword 0.14.0 riscv, #838100 Signed-off-by: Yongxiang Liang gmail.com> Signed-off-by: Jakov Smolić gentoo.org> dev-ml/patience_diff/patience_diff-0.14.0.ebuild | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/dev-ml/patience_diff/patience_diff-0.14.0.ebuild b/dev-ml/patience_diff/patience_diff-0.14.0.ebuild index 67d3bdbbc951..e73d50987f38 100644 --- a/dev-ml/patience_diff/patience_diff-0.14.0.ebuild +++ b/dev-ml/patience_diff/patience_diff-0.14.0.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/${PN}/archive/v${PV}.tar.gz -> ${P}.tar.g LICENSE="Apache-2.0" SLOT="0/$(ver_cut 1-2)" -KEYWORDS="~amd64" +KEYWORDS="~amd64 ~riscv" IUSE="+ocamlopt" RDEPEND="
[gentoo-commits] repo/gentoo:master commit in: dev-ml/patience_diff/
commit: 346abd6e30bfe536efcdab2f52a37c54580ffb88 Author: Alfredo Tupone gentoo org> AuthorDate: Fri Oct 1 17:19:20 2021 + Commit: Alfredo Tupone gentoo org> CommitDate: Fri Oct 1 17:19:20 2021 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=346abd6e dev-ml/patience_diff: build with ocaml-4.12 Package-Manager: Portage-3.0.20, Repoman-3.0.3 Signed-off-by: Alfredo Tupone gentoo.org> dev-ml/patience_diff/metadata.xml| 5 - dev-ml/patience_diff/patience_diff-0.14.0.ebuild | 4 2 files changed, 8 insertions(+), 1 deletion(-) diff --git a/dev-ml/patience_diff/metadata.xml b/dev-ml/patience_diff/metadata.xml index 65186ef690b..c87f5360ebd 100644 --- a/dev-ml/patience_diff/metadata.xml +++ b/dev-ml/patience_diff/metadata.xml @@ -1,7 +1,10 @@ https://www.gentoo.org/dtd/metadata.dtd";> - + + m...@gentoo.org + ML + janestreet/patience_diff diff --git a/dev-ml/patience_diff/patience_diff-0.14.0.ebuild b/dev-ml/patience_diff/patience_diff-0.14.0.ebuild index 67d3bdbbc95..cd95ca35acf 100644 --- a/dev-ml/patience_diff/patience_diff-0.14.0.ebuild +++ b/dev-ml/patience_diff/patience_diff-0.14.0.ebuild @@ -19,3 +19,7 @@ RDEPEND=" dev-ml/core_kernel:= dev-ml/ppx_jane:= " + +src_compile() { + dune build @install --profile release || die +}
[gentoo-commits] repo/gentoo:master commit in: dev-ml/patience_diff/
commit: ab0250411fd4eb994bcdc4812c0b5594e4b72076 Author: Alfredo Tupone gentoo org> AuthorDate: Sun Oct 3 09:55:32 2021 + Commit: Alfredo Tupone gentoo org> CommitDate: Sun Oct 3 09:57:43 2021 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=ab025041 dev-ml/patience_diff: src_compile is in dune.eclass Package-Manager: Portage-3.0.20, Repoman-3.0.3 Signed-off-by: Alfredo Tupone gentoo.org> dev-ml/patience_diff/patience_diff-0.14.0.ebuild | 4 1 file changed, 4 deletions(-) diff --git a/dev-ml/patience_diff/patience_diff-0.14.0.ebuild b/dev-ml/patience_diff/patience_diff-0.14.0.ebuild index cd95ca35acf..67d3bdbbc95 100644 --- a/dev-ml/patience_diff/patience_diff-0.14.0.ebuild +++ b/dev-ml/patience_diff/patience_diff-0.14.0.ebuild @@ -19,7 +19,3 @@ RDEPEND=" dev-ml/core_kernel:= dev-ml/ppx_jane:= " - -src_compile() { - dune build @install --profile release || die -}
[gentoo-commits] repo/gentoo:master commit in: dev-ml/patience_diff/
commit: 819981a9e592c4ead78b2af0329e6a1cde9045a9 Author: Alfredo Tupone gentoo org> AuthorDate: Sun Mar 7 14:25:55 2021 + Commit: Alfredo Tupone gentoo org> CommitDate: Sun Mar 7 14:37:34 2021 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=819981a9 dev-ml/patience_diff: rem old version Package-Manager: Portage-3.0.13, Repoman-3.0.2 Signed-off-by: Alfredo Tupone gentoo.org> dev-ml/patience_diff/Manifest | 1 - dev-ml/patience_diff/patience_diff-0.9.0.ebuild | 23 --- 2 files changed, 24 deletions(-) diff --git a/dev-ml/patience_diff/Manifest b/dev-ml/patience_diff/Manifest index efc52327c97..5648b021c4a 100644 --- a/dev-ml/patience_diff/Manifest +++ b/dev-ml/patience_diff/Manifest @@ -1,2 +1 @@ DIST patience_diff-0.14.0.tar.gz 20060 BLAKE2B d47d9a93ef0a7eeada7f050aec0427f8352343609da1332de59d6b3ced41e9942556e1d61e12ab2075bc15cf29afc60191f48da43c1a4358d414352eb6efd044 SHA512 d253488402e515d56ed9d83ef45edfce378d6ad5148d80f8d81341cff28d19115350d72cc057ecd6c14b907888eca8e6bce1b8e71c7a978149979a16a5512fd2 -DIST patience_diff-0.9.0.tar.gz 16520 BLAKE2B af7f93906c1f4ab70649bc41726aff21f9f099fe49b0d3a3e8bea01d85e9f01cac4bd103179e9877d79dbc997d37318382321dacd67be57a9e031fd95e0263e5 SHA512 62cc0950edd8d46d5a11cd612dbdb8dc531a9a2c71403f30e6022e20d9ee21cb2e7a531362fa8b350075003eec929f1f70481b8e160b253831966d80a8becd83 diff --git a/dev-ml/patience_diff/patience_diff-0.9.0.ebuild b/dev-ml/patience_diff/patience_diff-0.9.0.ebuild deleted file mode 100644 index 75cd3ec4d12..000 --- a/dev-ml/patience_diff/patience_diff-0.9.0.ebuild +++ /dev/null @@ -1,23 +0,0 @@ -# Copyright 1999-2020 Gentoo Authors -# Distributed under the terms of the GNU General Public License v2 - -EAPI=6 - -inherit opam - -DESCRIPTION="Tool and library implementing patience diff" -HOMEPAGE="https://github.com/janestreet/patience_diff"; -SRC_URI="https://github.com/janestreet/${PN}/archive/v${PV}.tar.gz -> ${P}.tar.gz" - -LICENSE="Apache-2.0" -SLOT="0/${PV}" -KEYWORDS="~amd64" -IUSE="" - -RDEPEND=" - dev-ml/core_kernel:= - dev-ml/ppx_driver:= - dev-ml/ppx_jane:= - dev-ml/ocaml-migrate-parsetree:= -" -DEPEND="${RDEPEND} dev-ml/jbuilder"
[gentoo-commits] repo/gentoo:master commit in: dev-ml/patience_diff/
commit: 346abd6e30bfe536efcdab2f52a37c54580ffb88 Author: Alfredo Tupone gentoo org> AuthorDate: Fri Oct 1 17:19:20 2021 + Commit: Alfredo Tupone gentoo org> CommitDate: Fri Oct 1 17:19:20 2021 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=346abd6e dev-ml/patience_diff: build with ocaml-4.12 Package-Manager: Portage-3.0.20, Repoman-3.0.3 Signed-off-by: Alfredo Tupone gentoo.org> dev-ml/patience_diff/metadata.xml| 5 - dev-ml/patience_diff/patience_diff-0.14.0.ebuild | 4 2 files changed, 8 insertions(+), 1 deletion(-) diff --git a/dev-ml/patience_diff/metadata.xml b/dev-ml/patience_diff/metadata.xml index 65186ef690b..c87f5360ebd 100644 --- a/dev-ml/patience_diff/metadata.xml +++ b/dev-ml/patience_diff/metadata.xml @@ -1,7 +1,10 @@ https://www.gentoo.org/dtd/metadata.dtd";> - + + m...@gentoo.org + ML + janestreet/patience_diff diff --git a/dev-ml/patience_diff/patience_diff-0.14.0.ebuild b/dev-ml/patience_diff/patience_diff-0.14.0.ebuild index 67d3bdbbc95..cd95ca35acf 100644 --- a/dev-ml/patience_diff/patience_diff-0.14.0.ebuild +++ b/dev-ml/patience_diff/patience_diff-0.14.0.ebuild @@ -19,3 +19,7 @@ RDEPEND=" dev-ml/core_kernel:= dev-ml/ppx_jane:= " + +src_compile() { + dune build @install --profile release || die +}
[gentoo-commits] repo/gentoo:master commit in: dev-ml/patience_diff/
commit: ab0250411fd4eb994bcdc4812c0b5594e4b72076 Author: Alfredo Tupone gentoo org> AuthorDate: Sun Oct 3 09:55:32 2021 + Commit: Alfredo Tupone gentoo org> CommitDate: Sun Oct 3 09:57:43 2021 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=ab025041 dev-ml/patience_diff: src_compile is in dune.eclass Package-Manager: Portage-3.0.20, Repoman-3.0.3 Signed-off-by: Alfredo Tupone gentoo.org> dev-ml/patience_diff/patience_diff-0.14.0.ebuild | 4 1 file changed, 4 deletions(-) diff --git a/dev-ml/patience_diff/patience_diff-0.14.0.ebuild b/dev-ml/patience_diff/patience_diff-0.14.0.ebuild index cd95ca35acf..67d3bdbbc95 100644 --- a/dev-ml/patience_diff/patience_diff-0.14.0.ebuild +++ b/dev-ml/patience_diff/patience_diff-0.14.0.ebuild @@ -19,7 +19,3 @@ RDEPEND=" dev-ml/core_kernel:= dev-ml/ppx_jane:= " - -src_compile() { - dune build @install --profile release || die -}
[gentoo-commits] repo/gentoo:master commit in: dev-ml/patience_diff/
commit: 3ec548286a50200454f1daacc757569237250958 Author: Yongxiang Liang gmail com> AuthorDate: Sun Apr 17 15:41:21 2022 + Commit: Jakov Smolić gentoo org> CommitDate: Mon Apr 18 21:06:47 2022 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=3ec54828 dev-ml/patience_diff: Keyword 0.14.0 riscv, #838100 Signed-off-by: Yongxiang Liang gmail.com> Signed-off-by: Jakov Smolić gentoo.org> dev-ml/patience_diff/patience_diff-0.14.0.ebuild | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/dev-ml/patience_diff/patience_diff-0.14.0.ebuild b/dev-ml/patience_diff/patience_diff-0.14.0.ebuild index 67d3bdbbc951..e73d50987f38 100644 --- a/dev-ml/patience_diff/patience_diff-0.14.0.ebuild +++ b/dev-ml/patience_diff/patience_diff-0.14.0.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/${PN}/archive/v${PV}.tar.gz -> ${P}.tar.g LICENSE="Apache-2.0" SLOT="0/$(ver_cut 1-2)" -KEYWORDS="~amd64" +KEYWORDS="~amd64 ~riscv" IUSE="+ocamlopt" RDEPEND="
[gentoo-commits] repo/gentoo:master commit in: dev-ml/patience_diff/
commit: 4d138138f716438f6a9d2b5261302f06ed7cd2a5 Author: Alexis Ballier gentoo org> AuthorDate: Fri Sep 22 08:22:07 2017 + Commit: Alexis Ballier gentoo org> CommitDate: Fri Sep 22 08:31:44 2017 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=4d138138 dev-ml/patience_diff: update to opam.eclass Package-Manager: Portage-2.3.10, Repoman-2.3.3 dev-ml/patience_diff/patience_diff-0.9.0.ebuild | 13 +++-- 1 file changed, 3 insertions(+), 10 deletions(-) diff --git a/dev-ml/patience_diff/patience_diff-0.9.0.ebuild b/dev-ml/patience_diff/patience_diff-0.9.0.ebuild index 727b5d56ef3..cba06ddf9e1 100644 --- a/dev-ml/patience_diff/patience_diff-0.9.0.ebuild +++ b/dev-ml/patience_diff/patience_diff-0.9.0.ebuild @@ -3,6 +3,8 @@ EAPI=6 +inherit opam + DESCRIPTION="Tool and library implementing patience diff" HOMEPAGE="https://github.com/janestreet/${PN}"; SRC_URI="https://github.com/janestreet/${PN}/archive/v${PV}.tar.gz -> ${P}.tar.gz" @@ -13,18 +15,9 @@ KEYWORDS="~amd64" IUSE="" RDEPEND=" - dev-lang/ocaml:= dev-ml/core_kernel:= dev-ml/ppx_driver:= dev-ml/ppx_jane:= dev-ml/ocaml-migrate-parsetree:= " -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}" \ - ${PN}.install || die -} +DEPEND="${RDEPEND} dev-ml/jbuilder"
[gentoo-commits] repo/gentoo:master commit in: dev-ml/patience_diff/
commit: 2bbea554372d23a4db567b771b668981b3bbd596 Author: Alexis Ballier gentoo org> AuthorDate: Thu Jun 22 12:36:47 2017 + Commit: Alexis Ballier gentoo org> CommitDate: Thu Jun 22 14:24:34 2017 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=2bbea554 dev-ml/patience_diff: initial import Package-Manager: Portage-2.3.6, Repoman-2.3.2 dev-ml/patience_diff/Manifest | 1 + dev-ml/patience_diff/metadata.xml | 11 + dev-ml/patience_diff/patience_diff-0.9.0.ebuild | 30 + 3 files changed, 42 insertions(+) diff --git a/dev-ml/patience_diff/Manifest b/dev-ml/patience_diff/Manifest new file mode 100644 index 000..fc684136055 --- /dev/null +++ b/dev-ml/patience_diff/Manifest @@ -0,0 +1 @@ +DIST patience_diff-0.9.0.tar.gz 16520 SHA256 d47943ca89602e4c4b030f8dec7fa60b5011592a7005fa79cf746b79308d66f8 SHA512 62cc0950edd8d46d5a11cd612dbdb8dc531a9a2c71403f30e6022e20d9ee21cb2e7a531362fa8b350075003eec929f1f70481b8e160b253831966d80a8becd83 WHIRLPOOL f1bb11f6862c9612f48cb861b74028c7c4c720738f44ac75b42d47f527781f6d054d690ac3a36318a6ea3d754544f4e0b9e83627a781989f9c46f5fc4b524f01 diff --git a/dev-ml/patience_diff/metadata.xml b/dev-ml/patience_diff/metadata.xml new file mode 100644 index 000..949b707595e --- /dev/null +++ b/dev-ml/patience_diff/metadata.xml @@ -0,0 +1,11 @@ + +http://www.gentoo.org/dtd/metadata.dtd";> + + + m...@gentoo.org + Gentoo ML Project + + + janestreet/patience_diff + + diff --git a/dev-ml/patience_diff/patience_diff-0.9.0.ebuild b/dev-ml/patience_diff/patience_diff-0.9.0.ebuild new file mode 100644 index 000..727b5d56ef3 --- /dev/null +++ b/dev-ml/patience_diff/patience_diff-0.9.0.ebuild @@ -0,0 +1,30 @@ +# Copyright 1999-2017 Gentoo Foundation +# Distributed under the terms of the GNU General Public License v2 + +EAPI=6 + +DESCRIPTION="Tool and library implementing patience diff" +HOMEPAGE="https://github.com/janestreet/${PN}"; +SRC_URI="https://github.com/janestreet/${PN}/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_kernel:= + dev-ml/ppx_driver:= + dev-ml/ppx_jane:= + dev-ml/ocaml-migrate-parsetree:= +" +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}" \ + ${PN}.install || die +}
[gentoo-commits] repo/gentoo:master commit in: dev-ml/patience_diff/
commit: 3e2f13c02fc1c14f7185b1a280f67164644f3b5d Author: Alfredo Tupone gentoo org> AuthorDate: Mon Mar 1 20:37:33 2021 + Commit: Alfredo Tupone gentoo org> CommitDate: Mon Mar 1 20:37:33 2021 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=3e2f13c0 dev-ml/patience_diff: version bump to 0.14.0 Package-Manager: Portage-3.0.13, Repoman-3.0.2 Signed-off-by: Alfredo Tupone gentoo.org> dev-ml/patience_diff/Manifest| 1 + dev-ml/patience_diff/patience_diff-0.14.0.ebuild | 21 + 2 files changed, 22 insertions(+) diff --git a/dev-ml/patience_diff/Manifest b/dev-ml/patience_diff/Manifest index 002d157a514..efc52327c97 100644 --- a/dev-ml/patience_diff/Manifest +++ b/dev-ml/patience_diff/Manifest @@ -1 +1,2 @@ +DIST patience_diff-0.14.0.tar.gz 20060 BLAKE2B d47d9a93ef0a7eeada7f050aec0427f8352343609da1332de59d6b3ced41e9942556e1d61e12ab2075bc15cf29afc60191f48da43c1a4358d414352eb6efd044 SHA512 d253488402e515d56ed9d83ef45edfce378d6ad5148d80f8d81341cff28d19115350d72cc057ecd6c14b907888eca8e6bce1b8e71c7a978149979a16a5512fd2 DIST patience_diff-0.9.0.tar.gz 16520 BLAKE2B af7f93906c1f4ab70649bc41726aff21f9f099fe49b0d3a3e8bea01d85e9f01cac4bd103179e9877d79dbc997d37318382321dacd67be57a9e031fd95e0263e5 SHA512 62cc0950edd8d46d5a11cd612dbdb8dc531a9a2c71403f30e6022e20d9ee21cb2e7a531362fa8b350075003eec929f1f70481b8e160b253831966d80a8becd83 diff --git a/dev-ml/patience_diff/patience_diff-0.14.0.ebuild b/dev-ml/patience_diff/patience_diff-0.14.0.ebuild new file mode 100644 index 000..67d3bdbbc95 --- /dev/null +++ b/dev-ml/patience_diff/patience_diff-0.14.0.ebuild @@ -0,0 +1,21 @@ +# Copyright 1999-2021 Gentoo Authors +# Distributed under the terms of the GNU General Public License v2 + +EAPI=7 + +inherit dune + +DESCRIPTION="Tool and library implementing patience diff" +HOMEPAGE="https://github.com/janestreet/patience_diff"; +SRC_URI="https://github.com/janestreet/${PN}/archive/v${PV}.tar.gz -> ${P}.tar.gz" + +LICENSE="Apache-2.0" +SLOT="0/$(ver_cut 1-2)" +KEYWORDS="~amd64" +IUSE="+ocamlopt" + +RDEPEND=" + dev-ml/base:= + dev-ml/core_kernel:= + dev-ml/ppx_jane:= +"
[gentoo-commits] repo/gentoo:master commit in: dev-ml/patience_diff/
commit: 346abd6e30bfe536efcdab2f52a37c54580ffb88 Author: Alfredo Tupone gentoo org> AuthorDate: Fri Oct 1 17:19:20 2021 + Commit: Alfredo Tupone gentoo org> CommitDate: Fri Oct 1 17:19:20 2021 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=346abd6e dev-ml/patience_diff: build with ocaml-4.12 Package-Manager: Portage-3.0.20, Repoman-3.0.3 Signed-off-by: Alfredo Tupone gentoo.org> dev-ml/patience_diff/metadata.xml| 5 - dev-ml/patience_diff/patience_diff-0.14.0.ebuild | 4 2 files changed, 8 insertions(+), 1 deletion(-) diff --git a/dev-ml/patience_diff/metadata.xml b/dev-ml/patience_diff/metadata.xml index 65186ef690b..c87f5360ebd 100644 --- a/dev-ml/patience_diff/metadata.xml +++ b/dev-ml/patience_diff/metadata.xml @@ -1,7 +1,10 @@ https://www.gentoo.org/dtd/metadata.dtd";> - + + m...@gentoo.org + ML + janestreet/patience_diff diff --git a/dev-ml/patience_diff/patience_diff-0.14.0.ebuild b/dev-ml/patience_diff/patience_diff-0.14.0.ebuild index 67d3bdbbc95..cd95ca35acf 100644 --- a/dev-ml/patience_diff/patience_diff-0.14.0.ebuild +++ b/dev-ml/patience_diff/patience_diff-0.14.0.ebuild @@ -19,3 +19,7 @@ RDEPEND=" dev-ml/core_kernel:= dev-ml/ppx_jane:= " + +src_compile() { + dune build @install --profile release || die +}
[gentoo-commits] repo/gentoo:master commit in: dev-ml/patience_diff/
commit: ab0250411fd4eb994bcdc4812c0b5594e4b72076 Author: Alfredo Tupone gentoo org> AuthorDate: Sun Oct 3 09:55:32 2021 + Commit: Alfredo Tupone gentoo org> CommitDate: Sun Oct 3 09:57:43 2021 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=ab025041 dev-ml/patience_diff: src_compile is in dune.eclass Package-Manager: Portage-3.0.20, Repoman-3.0.3 Signed-off-by: Alfredo Tupone gentoo.org> dev-ml/patience_diff/patience_diff-0.14.0.ebuild | 4 1 file changed, 4 deletions(-) diff --git a/dev-ml/patience_diff/patience_diff-0.14.0.ebuild b/dev-ml/patience_diff/patience_diff-0.14.0.ebuild index cd95ca35acf..67d3bdbbc95 100644 --- a/dev-ml/patience_diff/patience_diff-0.14.0.ebuild +++ b/dev-ml/patience_diff/patience_diff-0.14.0.ebuild @@ -19,7 +19,3 @@ RDEPEND=" dev-ml/core_kernel:= dev-ml/ppx_jane:= " - -src_compile() { - dune build @install --profile release || die -}
[gentoo-commits] repo/gentoo:master commit in: dev-ml/patience_diff/
commit: 819981a9e592c4ead78b2af0329e6a1cde9045a9 Author: Alfredo Tupone gentoo org> AuthorDate: Sun Mar 7 14:25:55 2021 + Commit: Alfredo Tupone gentoo org> CommitDate: Sun Mar 7 14:37:34 2021 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=819981a9 dev-ml/patience_diff: rem old version Package-Manager: Portage-3.0.13, Repoman-3.0.2 Signed-off-by: Alfredo Tupone gentoo.org> dev-ml/patience_diff/Manifest | 1 - dev-ml/patience_diff/patience_diff-0.9.0.ebuild | 23 --- 2 files changed, 24 deletions(-) diff --git a/dev-ml/patience_diff/Manifest b/dev-ml/patience_diff/Manifest index efc52327c97..5648b021c4a 100644 --- a/dev-ml/patience_diff/Manifest +++ b/dev-ml/patience_diff/Manifest @@ -1,2 +1 @@ DIST patience_diff-0.14.0.tar.gz 20060 BLAKE2B d47d9a93ef0a7eeada7f050aec0427f8352343609da1332de59d6b3ced41e9942556e1d61e12ab2075bc15cf29afc60191f48da43c1a4358d414352eb6efd044 SHA512 d253488402e515d56ed9d83ef45edfce378d6ad5148d80f8d81341cff28d19115350d72cc057ecd6c14b907888eca8e6bce1b8e71c7a978149979a16a5512fd2 -DIST patience_diff-0.9.0.tar.gz 16520 BLAKE2B af7f93906c1f4ab70649bc41726aff21f9f099fe49b0d3a3e8bea01d85e9f01cac4bd103179e9877d79dbc997d37318382321dacd67be57a9e031fd95e0263e5 SHA512 62cc0950edd8d46d5a11cd612dbdb8dc531a9a2c71403f30e6022e20d9ee21cb2e7a531362fa8b350075003eec929f1f70481b8e160b253831966d80a8becd83 diff --git a/dev-ml/patience_diff/patience_diff-0.9.0.ebuild b/dev-ml/patience_diff/patience_diff-0.9.0.ebuild deleted file mode 100644 index 75cd3ec4d12..000 --- a/dev-ml/patience_diff/patience_diff-0.9.0.ebuild +++ /dev/null @@ -1,23 +0,0 @@ -# Copyright 1999-2020 Gentoo Authors -# Distributed under the terms of the GNU General Public License v2 - -EAPI=6 - -inherit opam - -DESCRIPTION="Tool and library implementing patience diff" -HOMEPAGE="https://github.com/janestreet/patience_diff"; -SRC_URI="https://github.com/janestreet/${PN}/archive/v${PV}.tar.gz -> ${P}.tar.gz" - -LICENSE="Apache-2.0" -SLOT="0/${PV}" -KEYWORDS="~amd64" -IUSE="" - -RDEPEND=" - dev-ml/core_kernel:= - dev-ml/ppx_driver:= - dev-ml/ppx_jane:= - dev-ml/ocaml-migrate-parsetree:= -" -DEPEND="${RDEPEND} dev-ml/jbuilder"
[gentoo-commits] repo/gentoo:master commit in: dev-ml/patience_diff/
commit: 4d138138f716438f6a9d2b5261302f06ed7cd2a5 Author: Alexis Ballier gentoo org> AuthorDate: Fri Sep 22 08:22:07 2017 + Commit: Alexis Ballier gentoo org> CommitDate: Fri Sep 22 08:31:44 2017 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=4d138138 dev-ml/patience_diff: update to opam.eclass Package-Manager: Portage-2.3.10, Repoman-2.3.3 dev-ml/patience_diff/patience_diff-0.9.0.ebuild | 13 +++-- 1 file changed, 3 insertions(+), 10 deletions(-) diff --git a/dev-ml/patience_diff/patience_diff-0.9.0.ebuild b/dev-ml/patience_diff/patience_diff-0.9.0.ebuild index 727b5d56ef3..cba06ddf9e1 100644 --- a/dev-ml/patience_diff/patience_diff-0.9.0.ebuild +++ b/dev-ml/patience_diff/patience_diff-0.9.0.ebuild @@ -3,6 +3,8 @@ EAPI=6 +inherit opam + DESCRIPTION="Tool and library implementing patience diff" HOMEPAGE="https://github.com/janestreet/${PN}"; SRC_URI="https://github.com/janestreet/${PN}/archive/v${PV}.tar.gz -> ${P}.tar.gz" @@ -13,18 +15,9 @@ KEYWORDS="~amd64" IUSE="" RDEPEND=" - dev-lang/ocaml:= dev-ml/core_kernel:= dev-ml/ppx_driver:= dev-ml/ppx_jane:= dev-ml/ocaml-migrate-parsetree:= " -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}" \ - ${PN}.install || die -} +DEPEND="${RDEPEND} dev-ml/jbuilder"
[gentoo-commits] repo/gentoo:master commit in: dev-ml/patience_diff/
commit: 2bbea554372d23a4db567b771b668981b3bbd596 Author: Alexis Ballier gentoo org> AuthorDate: Thu Jun 22 12:36:47 2017 + Commit: Alexis Ballier gentoo org> CommitDate: Thu Jun 22 14:24:34 2017 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=2bbea554 dev-ml/patience_diff: initial import Package-Manager: Portage-2.3.6, Repoman-2.3.2 dev-ml/patience_diff/Manifest | 1 + dev-ml/patience_diff/metadata.xml | 11 + dev-ml/patience_diff/patience_diff-0.9.0.ebuild | 30 + 3 files changed, 42 insertions(+) diff --git a/dev-ml/patience_diff/Manifest b/dev-ml/patience_diff/Manifest new file mode 100644 index 000..fc684136055 --- /dev/null +++ b/dev-ml/patience_diff/Manifest @@ -0,0 +1 @@ +DIST patience_diff-0.9.0.tar.gz 16520 SHA256 d47943ca89602e4c4b030f8dec7fa60b5011592a7005fa79cf746b79308d66f8 SHA512 62cc0950edd8d46d5a11cd612dbdb8dc531a9a2c71403f30e6022e20d9ee21cb2e7a531362fa8b350075003eec929f1f70481b8e160b253831966d80a8becd83 WHIRLPOOL f1bb11f6862c9612f48cb861b74028c7c4c720738f44ac75b42d47f527781f6d054d690ac3a36318a6ea3d754544f4e0b9e83627a781989f9c46f5fc4b524f01 diff --git a/dev-ml/patience_diff/metadata.xml b/dev-ml/patience_diff/metadata.xml new file mode 100644 index 000..949b707595e --- /dev/null +++ b/dev-ml/patience_diff/metadata.xml @@ -0,0 +1,11 @@ + +http://www.gentoo.org/dtd/metadata.dtd";> + + + m...@gentoo.org + Gentoo ML Project + + + janestreet/patience_diff + + diff --git a/dev-ml/patience_diff/patience_diff-0.9.0.ebuild b/dev-ml/patience_diff/patience_diff-0.9.0.ebuild new file mode 100644 index 000..727b5d56ef3 --- /dev/null +++ b/dev-ml/patience_diff/patience_diff-0.9.0.ebuild @@ -0,0 +1,30 @@ +# Copyright 1999-2017 Gentoo Foundation +# Distributed under the terms of the GNU General Public License v2 + +EAPI=6 + +DESCRIPTION="Tool and library implementing patience diff" +HOMEPAGE="https://github.com/janestreet/${PN}"; +SRC_URI="https://github.com/janestreet/${PN}/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_kernel:= + dev-ml/ppx_driver:= + dev-ml/ppx_jane:= + dev-ml/ocaml-migrate-parsetree:= +" +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}" \ + ${PN}.install || die +}
[gentoo-commits] repo/gentoo:master commit in: dev-ml/patience_diff/
commit: 3e2f13c02fc1c14f7185b1a280f67164644f3b5d Author: Alfredo Tupone gentoo org> AuthorDate: Mon Mar 1 20:37:33 2021 + Commit: Alfredo Tupone gentoo org> CommitDate: Mon Mar 1 20:37:33 2021 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=3e2f13c0 dev-ml/patience_diff: version bump to 0.14.0 Package-Manager: Portage-3.0.13, Repoman-3.0.2 Signed-off-by: Alfredo Tupone gentoo.org> dev-ml/patience_diff/Manifest| 1 + dev-ml/patience_diff/patience_diff-0.14.0.ebuild | 21 + 2 files changed, 22 insertions(+) diff --git a/dev-ml/patience_diff/Manifest b/dev-ml/patience_diff/Manifest index 002d157a514..efc52327c97 100644 --- a/dev-ml/patience_diff/Manifest +++ b/dev-ml/patience_diff/Manifest @@ -1 +1,2 @@ +DIST patience_diff-0.14.0.tar.gz 20060 BLAKE2B d47d9a93ef0a7eeada7f050aec0427f8352343609da1332de59d6b3ced41e9942556e1d61e12ab2075bc15cf29afc60191f48da43c1a4358d414352eb6efd044 SHA512 d253488402e515d56ed9d83ef45edfce378d6ad5148d80f8d81341cff28d19115350d72cc057ecd6c14b907888eca8e6bce1b8e71c7a978149979a16a5512fd2 DIST patience_diff-0.9.0.tar.gz 16520 BLAKE2B af7f93906c1f4ab70649bc41726aff21f9f099fe49b0d3a3e8bea01d85e9f01cac4bd103179e9877d79dbc997d37318382321dacd67be57a9e031fd95e0263e5 SHA512 62cc0950edd8d46d5a11cd612dbdb8dc531a9a2c71403f30e6022e20d9ee21cb2e7a531362fa8b350075003eec929f1f70481b8e160b253831966d80a8becd83 diff --git a/dev-ml/patience_diff/patience_diff-0.14.0.ebuild b/dev-ml/patience_diff/patience_diff-0.14.0.ebuild new file mode 100644 index 000..67d3bdbbc95 --- /dev/null +++ b/dev-ml/patience_diff/patience_diff-0.14.0.ebuild @@ -0,0 +1,21 @@ +# Copyright 1999-2021 Gentoo Authors +# Distributed under the terms of the GNU General Public License v2 + +EAPI=7 + +inherit dune + +DESCRIPTION="Tool and library implementing patience diff" +HOMEPAGE="https://github.com/janestreet/patience_diff"; +SRC_URI="https://github.com/janestreet/${PN}/archive/v${PV}.tar.gz -> ${P}.tar.gz" + +LICENSE="Apache-2.0" +SLOT="0/$(ver_cut 1-2)" +KEYWORDS="~amd64" +IUSE="+ocamlopt" + +RDEPEND=" + dev-ml/base:= + dev-ml/core_kernel:= + dev-ml/ppx_jane:= +"
[gentoo-commits] repo/gentoo:master commit in: dev-ml/patience_diff/
commit: 819981a9e592c4ead78b2af0329e6a1cde9045a9 Author: Alfredo Tupone gentoo org> AuthorDate: Sun Mar 7 14:25:55 2021 + Commit: Alfredo Tupone gentoo org> CommitDate: Sun Mar 7 14:37:34 2021 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=819981a9 dev-ml/patience_diff: rem old version Package-Manager: Portage-3.0.13, Repoman-3.0.2 Signed-off-by: Alfredo Tupone gentoo.org> dev-ml/patience_diff/Manifest | 1 - dev-ml/patience_diff/patience_diff-0.9.0.ebuild | 23 --- 2 files changed, 24 deletions(-) diff --git a/dev-ml/patience_diff/Manifest b/dev-ml/patience_diff/Manifest index efc52327c97..5648b021c4a 100644 --- a/dev-ml/patience_diff/Manifest +++ b/dev-ml/patience_diff/Manifest @@ -1,2 +1 @@ DIST patience_diff-0.14.0.tar.gz 20060 BLAKE2B d47d9a93ef0a7eeada7f050aec0427f8352343609da1332de59d6b3ced41e9942556e1d61e12ab2075bc15cf29afc60191f48da43c1a4358d414352eb6efd044 SHA512 d253488402e515d56ed9d83ef45edfce378d6ad5148d80f8d81341cff28d19115350d72cc057ecd6c14b907888eca8e6bce1b8e71c7a978149979a16a5512fd2 -DIST patience_diff-0.9.0.tar.gz 16520 BLAKE2B af7f93906c1f4ab70649bc41726aff21f9f099fe49b0d3a3e8bea01d85e9f01cac4bd103179e9877d79dbc997d37318382321dacd67be57a9e031fd95e0263e5 SHA512 62cc0950edd8d46d5a11cd612dbdb8dc531a9a2c71403f30e6022e20d9ee21cb2e7a531362fa8b350075003eec929f1f70481b8e160b253831966d80a8becd83 diff --git a/dev-ml/patience_diff/patience_diff-0.9.0.ebuild b/dev-ml/patience_diff/patience_diff-0.9.0.ebuild deleted file mode 100644 index 75cd3ec4d12..000 --- a/dev-ml/patience_diff/patience_diff-0.9.0.ebuild +++ /dev/null @@ -1,23 +0,0 @@ -# Copyright 1999-2020 Gentoo Authors -# Distributed under the terms of the GNU General Public License v2 - -EAPI=6 - -inherit opam - -DESCRIPTION="Tool and library implementing patience diff" -HOMEPAGE="https://github.com/janestreet/patience_diff"; -SRC_URI="https://github.com/janestreet/${PN}/archive/v${PV}.tar.gz -> ${P}.tar.gz" - -LICENSE="Apache-2.0" -SLOT="0/${PV}" -KEYWORDS="~amd64" -IUSE="" - -RDEPEND=" - dev-ml/core_kernel:= - dev-ml/ppx_driver:= - dev-ml/ppx_jane:= - dev-ml/ocaml-migrate-parsetree:= -" -DEPEND="${RDEPEND} dev-ml/jbuilder"
[gentoo-commits] repo/gentoo:master commit in: dev-ml/patience_diff/
commit: 4d138138f716438f6a9d2b5261302f06ed7cd2a5 Author: Alexis Ballier gentoo org> AuthorDate: Fri Sep 22 08:22:07 2017 + Commit: Alexis Ballier gentoo org> CommitDate: Fri Sep 22 08:31:44 2017 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=4d138138 dev-ml/patience_diff: update to opam.eclass Package-Manager: Portage-2.3.10, Repoman-2.3.3 dev-ml/patience_diff/patience_diff-0.9.0.ebuild | 13 +++-- 1 file changed, 3 insertions(+), 10 deletions(-) diff --git a/dev-ml/patience_diff/patience_diff-0.9.0.ebuild b/dev-ml/patience_diff/patience_diff-0.9.0.ebuild index 727b5d56ef3..cba06ddf9e1 100644 --- a/dev-ml/patience_diff/patience_diff-0.9.0.ebuild +++ b/dev-ml/patience_diff/patience_diff-0.9.0.ebuild @@ -3,6 +3,8 @@ EAPI=6 +inherit opam + DESCRIPTION="Tool and library implementing patience diff" HOMEPAGE="https://github.com/janestreet/${PN}"; SRC_URI="https://github.com/janestreet/${PN}/archive/v${PV}.tar.gz -> ${P}.tar.gz" @@ -13,18 +15,9 @@ KEYWORDS="~amd64" IUSE="" RDEPEND=" - dev-lang/ocaml:= dev-ml/core_kernel:= dev-ml/ppx_driver:= dev-ml/ppx_jane:= dev-ml/ocaml-migrate-parsetree:= " -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}" \ - ${PN}.install || die -} +DEPEND="${RDEPEND} dev-ml/jbuilder"
[gentoo-commits] repo/gentoo:master commit in: dev-ml/patience_diff/
commit: 2bbea554372d23a4db567b771b668981b3bbd596 Author: Alexis Ballier gentoo org> AuthorDate: Thu Jun 22 12:36:47 2017 + Commit: Alexis Ballier gentoo org> CommitDate: Thu Jun 22 14:24:34 2017 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=2bbea554 dev-ml/patience_diff: initial import Package-Manager: Portage-2.3.6, Repoman-2.3.2 dev-ml/patience_diff/Manifest | 1 + dev-ml/patience_diff/metadata.xml | 11 + dev-ml/patience_diff/patience_diff-0.9.0.ebuild | 30 + 3 files changed, 42 insertions(+) diff --git a/dev-ml/patience_diff/Manifest b/dev-ml/patience_diff/Manifest new file mode 100644 index 000..fc684136055 --- /dev/null +++ b/dev-ml/patience_diff/Manifest @@ -0,0 +1 @@ +DIST patience_diff-0.9.0.tar.gz 16520 SHA256 d47943ca89602e4c4b030f8dec7fa60b5011592a7005fa79cf746b79308d66f8 SHA512 62cc0950edd8d46d5a11cd612dbdb8dc531a9a2c71403f30e6022e20d9ee21cb2e7a531362fa8b350075003eec929f1f70481b8e160b253831966d80a8becd83 WHIRLPOOL f1bb11f6862c9612f48cb861b74028c7c4c720738f44ac75b42d47f527781f6d054d690ac3a36318a6ea3d754544f4e0b9e83627a781989f9c46f5fc4b524f01 diff --git a/dev-ml/patience_diff/metadata.xml b/dev-ml/patience_diff/metadata.xml new file mode 100644 index 000..949b707595e --- /dev/null +++ b/dev-ml/patience_diff/metadata.xml @@ -0,0 +1,11 @@ + +http://www.gentoo.org/dtd/metadata.dtd";> + + + m...@gentoo.org + Gentoo ML Project + + + janestreet/patience_diff + + diff --git a/dev-ml/patience_diff/patience_diff-0.9.0.ebuild b/dev-ml/patience_diff/patience_diff-0.9.0.ebuild new file mode 100644 index 000..727b5d56ef3 --- /dev/null +++ b/dev-ml/patience_diff/patience_diff-0.9.0.ebuild @@ -0,0 +1,30 @@ +# Copyright 1999-2017 Gentoo Foundation +# Distributed under the terms of the GNU General Public License v2 + +EAPI=6 + +DESCRIPTION="Tool and library implementing patience diff" +HOMEPAGE="https://github.com/janestreet/${PN}"; +SRC_URI="https://github.com/janestreet/${PN}/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_kernel:= + dev-ml/ppx_driver:= + dev-ml/ppx_jane:= + dev-ml/ocaml-migrate-parsetree:= +" +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}" \ + ${PN}.install || die +}
[gentoo-commits] repo/gentoo:master commit in: dev-ml/patience_diff/
commit: 2bf2ed0a3e1a7e33b954f54f63a98b2303b3c120 Author: Alfredo Tupone gentoo org> AuthorDate: Wed Apr 27 20:09:08 2022 + Commit: Alfredo Tupone gentoo org> CommitDate: Wed Apr 27 20:09:31 2022 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=2bf2ed0a dev-ml/patience_diff: 0.15.0 bump Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Alfredo Tupone gentoo.org> dev-ml/patience_diff/Manifest| 1 + dev-ml/patience_diff/patience_diff-0.15.0.ebuild | 17 + 2 files changed, 18 insertions(+) diff --git a/dev-ml/patience_diff/Manifest b/dev-ml/patience_diff/Manifest index 5648b021c4a7..746fe5ac6ac4 100644 --- a/dev-ml/patience_diff/Manifest +++ b/dev-ml/patience_diff/Manifest @@ -1 +1,2 @@ DIST patience_diff-0.14.0.tar.gz 20060 BLAKE2B d47d9a93ef0a7eeada7f050aec0427f8352343609da1332de59d6b3ced41e9942556e1d61e12ab2075bc15cf29afc60191f48da43c1a4358d414352eb6efd044 SHA512 d253488402e515d56ed9d83ef45edfce378d6ad5148d80f8d81341cff28d19115350d72cc057ecd6c14b907888eca8e6bce1b8e71c7a978149979a16a5512fd2 +DIST patience_diff-0.15.0.tar.gz 20434 BLAKE2B 52e0f1d3437f97d384224cd06035802376fe2af97c085e183f99934f6f8238270723505cda7c617b7847fa4d5f51abbfaa58cd25aac5f0eeb56b42559e91421a SHA512 d3cbf2b2fb8618cd3342abcb7beea110a93b0e8f6984f3becdf9066c717f6f7832f86a8fb72ac56c587cbd6e5abecf07c0b98d9ec1cb7a40bfb9d4a5b1de12ba diff --git a/dev-ml/patience_diff/patience_diff-0.15.0.ebuild b/dev-ml/patience_diff/patience_diff-0.15.0.ebuild new file mode 100644 index ..00760fb0e14f --- /dev/null +++ b/dev-ml/patience_diff/patience_diff-0.15.0.ebuild @@ -0,0 +1,17 @@ +# Copyright 1999-2022 Gentoo Authors +# Distributed under the terms of the GNU General Public License v2 + +EAPI=7 + +inherit dune + +DESCRIPTION="Tool and library implementing patience diff" +HOMEPAGE="https://github.com/janestreet/patience_diff"; +SRC_URI="https://github.com/janestreet/${PN}/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:${SLOT}"
[gentoo-commits] repo/gentoo:master commit in: dev-ml/patience_diff/
commit: 3ec548286a50200454f1daacc757569237250958 Author: Yongxiang Liang gmail com> AuthorDate: Sun Apr 17 15:41:21 2022 + Commit: Jakov Smolić gentoo org> CommitDate: Mon Apr 18 21:06:47 2022 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=3ec54828 dev-ml/patience_diff: Keyword 0.14.0 riscv, #838100 Signed-off-by: Yongxiang Liang gmail.com> Signed-off-by: Jakov Smolić gentoo.org> dev-ml/patience_diff/patience_diff-0.14.0.ebuild | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/dev-ml/patience_diff/patience_diff-0.14.0.ebuild b/dev-ml/patience_diff/patience_diff-0.14.0.ebuild index 67d3bdbbc951..e73d50987f38 100644 --- a/dev-ml/patience_diff/patience_diff-0.14.0.ebuild +++ b/dev-ml/patience_diff/patience_diff-0.14.0.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/${PN}/archive/v${PV}.tar.gz -> ${P}.tar.g LICENSE="Apache-2.0" SLOT="0/$(ver_cut 1-2)" -KEYWORDS="~amd64" +KEYWORDS="~amd64 ~riscv" IUSE="+ocamlopt" RDEPEND="
[gentoo-commits] repo/gentoo:master commit in: dev-ml/patience_diff/
commit: 3e2f13c02fc1c14f7185b1a280f67164644f3b5d Author: Alfredo Tupone gentoo org> AuthorDate: Mon Mar 1 20:37:33 2021 + Commit: Alfredo Tupone gentoo org> CommitDate: Mon Mar 1 20:37:33 2021 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=3e2f13c0 dev-ml/patience_diff: version bump to 0.14.0 Package-Manager: Portage-3.0.13, Repoman-3.0.2 Signed-off-by: Alfredo Tupone gentoo.org> dev-ml/patience_diff/Manifest| 1 + dev-ml/patience_diff/patience_diff-0.14.0.ebuild | 21 + 2 files changed, 22 insertions(+) diff --git a/dev-ml/patience_diff/Manifest b/dev-ml/patience_diff/Manifest index 002d157a514..efc52327c97 100644 --- a/dev-ml/patience_diff/Manifest +++ b/dev-ml/patience_diff/Manifest @@ -1 +1,2 @@ +DIST patience_diff-0.14.0.tar.gz 20060 BLAKE2B d47d9a93ef0a7eeada7f050aec0427f8352343609da1332de59d6b3ced41e9942556e1d61e12ab2075bc15cf29afc60191f48da43c1a4358d414352eb6efd044 SHA512 d253488402e515d56ed9d83ef45edfce378d6ad5148d80f8d81341cff28d19115350d72cc057ecd6c14b907888eca8e6bce1b8e71c7a978149979a16a5512fd2 DIST patience_diff-0.9.0.tar.gz 16520 BLAKE2B af7f93906c1f4ab70649bc41726aff21f9f099fe49b0d3a3e8bea01d85e9f01cac4bd103179e9877d79dbc997d37318382321dacd67be57a9e031fd95e0263e5 SHA512 62cc0950edd8d46d5a11cd612dbdb8dc531a9a2c71403f30e6022e20d9ee21cb2e7a531362fa8b350075003eec929f1f70481b8e160b253831966d80a8becd83 diff --git a/dev-ml/patience_diff/patience_diff-0.14.0.ebuild b/dev-ml/patience_diff/patience_diff-0.14.0.ebuild new file mode 100644 index 000..67d3bdbbc95 --- /dev/null +++ b/dev-ml/patience_diff/patience_diff-0.14.0.ebuild @@ -0,0 +1,21 @@ +# Copyright 1999-2021 Gentoo Authors +# Distributed under the terms of the GNU General Public License v2 + +EAPI=7 + +inherit dune + +DESCRIPTION="Tool and library implementing patience diff" +HOMEPAGE="https://github.com/janestreet/patience_diff"; +SRC_URI="https://github.com/janestreet/${PN}/archive/v${PV}.tar.gz -> ${P}.tar.gz" + +LICENSE="Apache-2.0" +SLOT="0/$(ver_cut 1-2)" +KEYWORDS="~amd64" +IUSE="+ocamlopt" + +RDEPEND=" + dev-ml/base:= + dev-ml/core_kernel:= + dev-ml/ppx_jane:= +"
[gentoo-commits] repo/gentoo:master commit in: dev-ml/patience_diff/
commit: 346abd6e30bfe536efcdab2f52a37c54580ffb88 Author: Alfredo Tupone gentoo org> AuthorDate: Fri Oct 1 17:19:20 2021 + Commit: Alfredo Tupone gentoo org> CommitDate: Fri Oct 1 17:19:20 2021 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=346abd6e dev-ml/patience_diff: build with ocaml-4.12 Package-Manager: Portage-3.0.20, Repoman-3.0.3 Signed-off-by: Alfredo Tupone gentoo.org> dev-ml/patience_diff/metadata.xml| 5 - dev-ml/patience_diff/patience_diff-0.14.0.ebuild | 4 2 files changed, 8 insertions(+), 1 deletion(-) diff --git a/dev-ml/patience_diff/metadata.xml b/dev-ml/patience_diff/metadata.xml index 65186ef690b..c87f5360ebd 100644 --- a/dev-ml/patience_diff/metadata.xml +++ b/dev-ml/patience_diff/metadata.xml @@ -1,7 +1,10 @@ https://www.gentoo.org/dtd/metadata.dtd";> - + + m...@gentoo.org + ML + janestreet/patience_diff diff --git a/dev-ml/patience_diff/patience_diff-0.14.0.ebuild b/dev-ml/patience_diff/patience_diff-0.14.0.ebuild index 67d3bdbbc95..cd95ca35acf 100644 --- a/dev-ml/patience_diff/patience_diff-0.14.0.ebuild +++ b/dev-ml/patience_diff/patience_diff-0.14.0.ebuild @@ -19,3 +19,7 @@ RDEPEND=" dev-ml/core_kernel:= dev-ml/ppx_jane:= " + +src_compile() { + dune build @install --profile release || die +}
[gentoo-commits] repo/gentoo:master commit in: dev-ml/patience_diff/
commit: ab0250411fd4eb994bcdc4812c0b5594e4b72076 Author: Alfredo Tupone gentoo org> AuthorDate: Sun Oct 3 09:55:32 2021 + Commit: Alfredo Tupone gentoo org> CommitDate: Sun Oct 3 09:57:43 2021 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=ab025041 dev-ml/patience_diff: src_compile is in dune.eclass Package-Manager: Portage-3.0.20, Repoman-3.0.3 Signed-off-by: Alfredo Tupone gentoo.org> dev-ml/patience_diff/patience_diff-0.14.0.ebuild | 4 1 file changed, 4 deletions(-) diff --git a/dev-ml/patience_diff/patience_diff-0.14.0.ebuild b/dev-ml/patience_diff/patience_diff-0.14.0.ebuild index cd95ca35acf..67d3bdbbc95 100644 --- a/dev-ml/patience_diff/patience_diff-0.14.0.ebuild +++ b/dev-ml/patience_diff/patience_diff-0.14.0.ebuild @@ -19,7 +19,3 @@ RDEPEND=" dev-ml/core_kernel:= dev-ml/ppx_jane:= " - -src_compile() { - dune build @install --profile release || die -}
[gentoo-commits] repo/gentoo:master commit in: dev-ml/patience_diff/
commit: 2bf2ed0a3e1a7e33b954f54f63a98b2303b3c120 Author: Alfredo Tupone gentoo org> AuthorDate: Wed Apr 27 20:09:08 2022 + Commit: Alfredo Tupone gentoo org> CommitDate: Wed Apr 27 20:09:31 2022 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=2bf2ed0a dev-ml/patience_diff: 0.15.0 bump Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Alfredo Tupone gentoo.org> dev-ml/patience_diff/Manifest| 1 + dev-ml/patience_diff/patience_diff-0.15.0.ebuild | 17 + 2 files changed, 18 insertions(+) diff --git a/dev-ml/patience_diff/Manifest b/dev-ml/patience_diff/Manifest index 5648b021c4a7..746fe5ac6ac4 100644 --- a/dev-ml/patience_diff/Manifest +++ b/dev-ml/patience_diff/Manifest @@ -1 +1,2 @@ DIST patience_diff-0.14.0.tar.gz 20060 BLAKE2B d47d9a93ef0a7eeada7f050aec0427f8352343609da1332de59d6b3ced41e9942556e1d61e12ab2075bc15cf29afc60191f48da43c1a4358d414352eb6efd044 SHA512 d253488402e515d56ed9d83ef45edfce378d6ad5148d80f8d81341cff28d19115350d72cc057ecd6c14b907888eca8e6bce1b8e71c7a978149979a16a5512fd2 +DIST patience_diff-0.15.0.tar.gz 20434 BLAKE2B 52e0f1d3437f97d384224cd06035802376fe2af97c085e183f99934f6f8238270723505cda7c617b7847fa4d5f51abbfaa58cd25aac5f0eeb56b42559e91421a SHA512 d3cbf2b2fb8618cd3342abcb7beea110a93b0e8f6984f3becdf9066c717f6f7832f86a8fb72ac56c587cbd6e5abecf07c0b98d9ec1cb7a40bfb9d4a5b1de12ba diff --git a/dev-ml/patience_diff/patience_diff-0.15.0.ebuild b/dev-ml/patience_diff/patience_diff-0.15.0.ebuild new file mode 100644 index ..00760fb0e14f --- /dev/null +++ b/dev-ml/patience_diff/patience_diff-0.15.0.ebuild @@ -0,0 +1,17 @@ +# Copyright 1999-2022 Gentoo Authors +# Distributed under the terms of the GNU General Public License v2 + +EAPI=7 + +inherit dune + +DESCRIPTION="Tool and library implementing patience diff" +HOMEPAGE="https://github.com/janestreet/patience_diff"; +SRC_URI="https://github.com/janestreet/${PN}/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:${SLOT}"
[gentoo-commits] repo/gentoo:master commit in: dev-ml/patience_diff/
commit: 3ec548286a50200454f1daacc757569237250958 Author: Yongxiang Liang gmail com> AuthorDate: Sun Apr 17 15:41:21 2022 + Commit: Jakov Smolić gentoo org> CommitDate: Mon Apr 18 21:06:47 2022 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=3ec54828 dev-ml/patience_diff: Keyword 0.14.0 riscv, #838100 Signed-off-by: Yongxiang Liang gmail.com> Signed-off-by: Jakov Smolić gentoo.org> dev-ml/patience_diff/patience_diff-0.14.0.ebuild | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/dev-ml/patience_diff/patience_diff-0.14.0.ebuild b/dev-ml/patience_diff/patience_diff-0.14.0.ebuild index 67d3bdbbc951..e73d50987f38 100644 --- a/dev-ml/patience_diff/patience_diff-0.14.0.ebuild +++ b/dev-ml/patience_diff/patience_diff-0.14.0.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/${PN}/archive/v${PV}.tar.gz -> ${P}.tar.g LICENSE="Apache-2.0" SLOT="0/$(ver_cut 1-2)" -KEYWORDS="~amd64" +KEYWORDS="~amd64 ~riscv" IUSE="+ocamlopt" RDEPEND="
[gentoo-commits] repo/gentoo:master commit in: dev-ml/patience_diff/
commit: 819981a9e592c4ead78b2af0329e6a1cde9045a9 Author: Alfredo Tupone gentoo org> AuthorDate: Sun Mar 7 14:25:55 2021 + Commit: Alfredo Tupone gentoo org> CommitDate: Sun Mar 7 14:37:34 2021 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=819981a9 dev-ml/patience_diff: rem old version Package-Manager: Portage-3.0.13, Repoman-3.0.2 Signed-off-by: Alfredo Tupone gentoo.org> dev-ml/patience_diff/Manifest | 1 - dev-ml/patience_diff/patience_diff-0.9.0.ebuild | 23 --- 2 files changed, 24 deletions(-) diff --git a/dev-ml/patience_diff/Manifest b/dev-ml/patience_diff/Manifest index efc52327c97..5648b021c4a 100644 --- a/dev-ml/patience_diff/Manifest +++ b/dev-ml/patience_diff/Manifest @@ -1,2 +1 @@ DIST patience_diff-0.14.0.tar.gz 20060 BLAKE2B d47d9a93ef0a7eeada7f050aec0427f8352343609da1332de59d6b3ced41e9942556e1d61e12ab2075bc15cf29afc60191f48da43c1a4358d414352eb6efd044 SHA512 d253488402e515d56ed9d83ef45edfce378d6ad5148d80f8d81341cff28d19115350d72cc057ecd6c14b907888eca8e6bce1b8e71c7a978149979a16a5512fd2 -DIST patience_diff-0.9.0.tar.gz 16520 BLAKE2B af7f93906c1f4ab70649bc41726aff21f9f099fe49b0d3a3e8bea01d85e9f01cac4bd103179e9877d79dbc997d37318382321dacd67be57a9e031fd95e0263e5 SHA512 62cc0950edd8d46d5a11cd612dbdb8dc531a9a2c71403f30e6022e20d9ee21cb2e7a531362fa8b350075003eec929f1f70481b8e160b253831966d80a8becd83 diff --git a/dev-ml/patience_diff/patience_diff-0.9.0.ebuild b/dev-ml/patience_diff/patience_diff-0.9.0.ebuild deleted file mode 100644 index 75cd3ec4d12..000 --- a/dev-ml/patience_diff/patience_diff-0.9.0.ebuild +++ /dev/null @@ -1,23 +0,0 @@ -# Copyright 1999-2020 Gentoo Authors -# Distributed under the terms of the GNU General Public License v2 - -EAPI=6 - -inherit opam - -DESCRIPTION="Tool and library implementing patience diff" -HOMEPAGE="https://github.com/janestreet/patience_diff"; -SRC_URI="https://github.com/janestreet/${PN}/archive/v${PV}.tar.gz -> ${P}.tar.gz" - -LICENSE="Apache-2.0" -SLOT="0/${PV}" -KEYWORDS="~amd64" -IUSE="" - -RDEPEND=" - dev-ml/core_kernel:= - dev-ml/ppx_driver:= - dev-ml/ppx_jane:= - dev-ml/ocaml-migrate-parsetree:= -" -DEPEND="${RDEPEND} dev-ml/jbuilder"
[gentoo-commits] repo/gentoo:master commit in: dev-ml/patience_diff/
commit: 2bf2ed0a3e1a7e33b954f54f63a98b2303b3c120 Author: Alfredo Tupone gentoo org> AuthorDate: Wed Apr 27 20:09:08 2022 + Commit: Alfredo Tupone gentoo org> CommitDate: Wed Apr 27 20:09:31 2022 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=2bf2ed0a dev-ml/patience_diff: 0.15.0 bump Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Alfredo Tupone gentoo.org> dev-ml/patience_diff/Manifest| 1 + dev-ml/patience_diff/patience_diff-0.15.0.ebuild | 17 + 2 files changed, 18 insertions(+) diff --git a/dev-ml/patience_diff/Manifest b/dev-ml/patience_diff/Manifest index 5648b021c4a7..746fe5ac6ac4 100644 --- a/dev-ml/patience_diff/Manifest +++ b/dev-ml/patience_diff/Manifest @@ -1 +1,2 @@ DIST patience_diff-0.14.0.tar.gz 20060 BLAKE2B d47d9a93ef0a7eeada7f050aec0427f8352343609da1332de59d6b3ced41e9942556e1d61e12ab2075bc15cf29afc60191f48da43c1a4358d414352eb6efd044 SHA512 d253488402e515d56ed9d83ef45edfce378d6ad5148d80f8d81341cff28d19115350d72cc057ecd6c14b907888eca8e6bce1b8e71c7a978149979a16a5512fd2 +DIST patience_diff-0.15.0.tar.gz 20434 BLAKE2B 52e0f1d3437f97d384224cd06035802376fe2af97c085e183f99934f6f8238270723505cda7c617b7847fa4d5f51abbfaa58cd25aac5f0eeb56b42559e91421a SHA512 d3cbf2b2fb8618cd3342abcb7beea110a93b0e8f6984f3becdf9066c717f6f7832f86a8fb72ac56c587cbd6e5abecf07c0b98d9ec1cb7a40bfb9d4a5b1de12ba diff --git a/dev-ml/patience_diff/patience_diff-0.15.0.ebuild b/dev-ml/patience_diff/patience_diff-0.15.0.ebuild new file mode 100644 index ..00760fb0e14f --- /dev/null +++ b/dev-ml/patience_diff/patience_diff-0.15.0.ebuild @@ -0,0 +1,17 @@ +# Copyright 1999-2022 Gentoo Authors +# Distributed under the terms of the GNU General Public License v2 + +EAPI=7 + +inherit dune + +DESCRIPTION="Tool and library implementing patience diff" +HOMEPAGE="https://github.com/janestreet/patience_diff"; +SRC_URI="https://github.com/janestreet/${PN}/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:${SLOT}"
[gentoo-commits] repo/gentoo:master commit in: dev-ml/patience_diff/
commit: 3ec548286a50200454f1daacc757569237250958 Author: Yongxiang Liang gmail com> AuthorDate: Sun Apr 17 15:41:21 2022 + Commit: Jakov Smolić gentoo org> CommitDate: Mon Apr 18 21:06:47 2022 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=3ec54828 dev-ml/patience_diff: Keyword 0.14.0 riscv, #838100 Signed-off-by: Yongxiang Liang gmail.com> Signed-off-by: Jakov Smolić gentoo.org> dev-ml/patience_diff/patience_diff-0.14.0.ebuild | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/dev-ml/patience_diff/patience_diff-0.14.0.ebuild b/dev-ml/patience_diff/patience_diff-0.14.0.ebuild index 67d3bdbbc951..e73d50987f38 100644 --- a/dev-ml/patience_diff/patience_diff-0.14.0.ebuild +++ b/dev-ml/patience_diff/patience_diff-0.14.0.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/${PN}/archive/v${PV}.tar.gz -> ${P}.tar.g LICENSE="Apache-2.0" SLOT="0/$(ver_cut 1-2)" -KEYWORDS="~amd64" +KEYWORDS="~amd64 ~riscv" IUSE="+ocamlopt" RDEPEND="
[gentoo-commits] repo/gentoo:master commit in: dev-ml/patience_diff/
commit: 3e2f13c02fc1c14f7185b1a280f67164644f3b5d Author: Alfredo Tupone gentoo org> AuthorDate: Mon Mar 1 20:37:33 2021 + Commit: Alfredo Tupone gentoo org> CommitDate: Mon Mar 1 20:37:33 2021 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=3e2f13c0 dev-ml/patience_diff: version bump to 0.14.0 Package-Manager: Portage-3.0.13, Repoman-3.0.2 Signed-off-by: Alfredo Tupone gentoo.org> dev-ml/patience_diff/Manifest| 1 + dev-ml/patience_diff/patience_diff-0.14.0.ebuild | 21 + 2 files changed, 22 insertions(+) diff --git a/dev-ml/patience_diff/Manifest b/dev-ml/patience_diff/Manifest index 002d157a514..efc52327c97 100644 --- a/dev-ml/patience_diff/Manifest +++ b/dev-ml/patience_diff/Manifest @@ -1 +1,2 @@ +DIST patience_diff-0.14.0.tar.gz 20060 BLAKE2B d47d9a93ef0a7eeada7f050aec0427f8352343609da1332de59d6b3ced41e9942556e1d61e12ab2075bc15cf29afc60191f48da43c1a4358d414352eb6efd044 SHA512 d253488402e515d56ed9d83ef45edfce378d6ad5148d80f8d81341cff28d19115350d72cc057ecd6c14b907888eca8e6bce1b8e71c7a978149979a16a5512fd2 DIST patience_diff-0.9.0.tar.gz 16520 BLAKE2B af7f93906c1f4ab70649bc41726aff21f9f099fe49b0d3a3e8bea01d85e9f01cac4bd103179e9877d79dbc997d37318382321dacd67be57a9e031fd95e0263e5 SHA512 62cc0950edd8d46d5a11cd612dbdb8dc531a9a2c71403f30e6022e20d9ee21cb2e7a531362fa8b350075003eec929f1f70481b8e160b253831966d80a8becd83 diff --git a/dev-ml/patience_diff/patience_diff-0.14.0.ebuild b/dev-ml/patience_diff/patience_diff-0.14.0.ebuild new file mode 100644 index 000..67d3bdbbc95 --- /dev/null +++ b/dev-ml/patience_diff/patience_diff-0.14.0.ebuild @@ -0,0 +1,21 @@ +# Copyright 1999-2021 Gentoo Authors +# Distributed under the terms of the GNU General Public License v2 + +EAPI=7 + +inherit dune + +DESCRIPTION="Tool and library implementing patience diff" +HOMEPAGE="https://github.com/janestreet/patience_diff"; +SRC_URI="https://github.com/janestreet/${PN}/archive/v${PV}.tar.gz -> ${P}.tar.gz" + +LICENSE="Apache-2.0" +SLOT="0/$(ver_cut 1-2)" +KEYWORDS="~amd64" +IUSE="+ocamlopt" + +RDEPEND=" + dev-ml/base:= + dev-ml/core_kernel:= + dev-ml/ppx_jane:= +"
[gentoo-commits] repo/gentoo:master commit in: dev-ml/patience_diff/
commit: 346abd6e30bfe536efcdab2f52a37c54580ffb88 Author: Alfredo Tupone gentoo org> AuthorDate: Fri Oct 1 17:19:20 2021 + Commit: Alfredo Tupone gentoo org> CommitDate: Fri Oct 1 17:19:20 2021 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=346abd6e dev-ml/patience_diff: build with ocaml-4.12 Package-Manager: Portage-3.0.20, Repoman-3.0.3 Signed-off-by: Alfredo Tupone gentoo.org> dev-ml/patience_diff/metadata.xml| 5 - dev-ml/patience_diff/patience_diff-0.14.0.ebuild | 4 2 files changed, 8 insertions(+), 1 deletion(-) diff --git a/dev-ml/patience_diff/metadata.xml b/dev-ml/patience_diff/metadata.xml index 65186ef690b..c87f5360ebd 100644 --- a/dev-ml/patience_diff/metadata.xml +++ b/dev-ml/patience_diff/metadata.xml @@ -1,7 +1,10 @@ https://www.gentoo.org/dtd/metadata.dtd";> - + + m...@gentoo.org + ML + janestreet/patience_diff diff --git a/dev-ml/patience_diff/patience_diff-0.14.0.ebuild b/dev-ml/patience_diff/patience_diff-0.14.0.ebuild index 67d3bdbbc95..cd95ca35acf 100644 --- a/dev-ml/patience_diff/patience_diff-0.14.0.ebuild +++ b/dev-ml/patience_diff/patience_diff-0.14.0.ebuild @@ -19,3 +19,7 @@ RDEPEND=" dev-ml/core_kernel:= dev-ml/ppx_jane:= " + +src_compile() { + dune build @install --profile release || die +}
[gentoo-commits] repo/gentoo:master commit in: dev-ml/patience_diff/
commit: ab0250411fd4eb994bcdc4812c0b5594e4b72076 Author: Alfredo Tupone gentoo org> AuthorDate: Sun Oct 3 09:55:32 2021 + Commit: Alfredo Tupone gentoo org> CommitDate: Sun Oct 3 09:57:43 2021 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=ab025041 dev-ml/patience_diff: src_compile is in dune.eclass Package-Manager: Portage-3.0.20, Repoman-3.0.3 Signed-off-by: Alfredo Tupone gentoo.org> dev-ml/patience_diff/patience_diff-0.14.0.ebuild | 4 1 file changed, 4 deletions(-) diff --git a/dev-ml/patience_diff/patience_diff-0.14.0.ebuild b/dev-ml/patience_diff/patience_diff-0.14.0.ebuild index cd95ca35acf..67d3bdbbc95 100644 --- a/dev-ml/patience_diff/patience_diff-0.14.0.ebuild +++ b/dev-ml/patience_diff/patience_diff-0.14.0.ebuild @@ -19,7 +19,3 @@ RDEPEND=" dev-ml/core_kernel:= dev-ml/ppx_jane:= " - -src_compile() { - dune build @install --profile release || die -}
[gentoo-commits] repo/gentoo:master commit in: dev-ml/patience_diff/
commit: 819981a9e592c4ead78b2af0329e6a1cde9045a9 Author: Alfredo Tupone gentoo org> AuthorDate: Sun Mar 7 14:25:55 2021 + Commit: Alfredo Tupone gentoo org> CommitDate: Sun Mar 7 14:37:34 2021 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=819981a9 dev-ml/patience_diff: rem old version Package-Manager: Portage-3.0.13, Repoman-3.0.2 Signed-off-by: Alfredo Tupone gentoo.org> dev-ml/patience_diff/Manifest | 1 - dev-ml/patience_diff/patience_diff-0.9.0.ebuild | 23 --- 2 files changed, 24 deletions(-) diff --git a/dev-ml/patience_diff/Manifest b/dev-ml/patience_diff/Manifest index efc52327c97..5648b021c4a 100644 --- a/dev-ml/patience_diff/Manifest +++ b/dev-ml/patience_diff/Manifest @@ -1,2 +1 @@ DIST patience_diff-0.14.0.tar.gz 20060 BLAKE2B d47d9a93ef0a7eeada7f050aec0427f8352343609da1332de59d6b3ced41e9942556e1d61e12ab2075bc15cf29afc60191f48da43c1a4358d414352eb6efd044 SHA512 d253488402e515d56ed9d83ef45edfce378d6ad5148d80f8d81341cff28d19115350d72cc057ecd6c14b907888eca8e6bce1b8e71c7a978149979a16a5512fd2 -DIST patience_diff-0.9.0.tar.gz 16520 BLAKE2B af7f93906c1f4ab70649bc41726aff21f9f099fe49b0d3a3e8bea01d85e9f01cac4bd103179e9877d79dbc997d37318382321dacd67be57a9e031fd95e0263e5 SHA512 62cc0950edd8d46d5a11cd612dbdb8dc531a9a2c71403f30e6022e20d9ee21cb2e7a531362fa8b350075003eec929f1f70481b8e160b253831966d80a8becd83 diff --git a/dev-ml/patience_diff/patience_diff-0.9.0.ebuild b/dev-ml/patience_diff/patience_diff-0.9.0.ebuild deleted file mode 100644 index 75cd3ec4d12..000 --- a/dev-ml/patience_diff/patience_diff-0.9.0.ebuild +++ /dev/null @@ -1,23 +0,0 @@ -# Copyright 1999-2020 Gentoo Authors -# Distributed under the terms of the GNU General Public License v2 - -EAPI=6 - -inherit opam - -DESCRIPTION="Tool and library implementing patience diff" -HOMEPAGE="https://github.com/janestreet/patience_diff"; -SRC_URI="https://github.com/janestreet/${PN}/archive/v${PV}.tar.gz -> ${P}.tar.gz" - -LICENSE="Apache-2.0" -SLOT="0/${PV}" -KEYWORDS="~amd64" -IUSE="" - -RDEPEND=" - dev-ml/core_kernel:= - dev-ml/ppx_driver:= - dev-ml/ppx_jane:= - dev-ml/ocaml-migrate-parsetree:= -" -DEPEND="${RDEPEND} dev-ml/jbuilder"
[gentoo-commits] repo/gentoo:master commit in: dev-ml/patience_diff/
commit: 4d138138f716438f6a9d2b5261302f06ed7cd2a5 Author: Alexis Ballier gentoo org> AuthorDate: Fri Sep 22 08:22:07 2017 + Commit: Alexis Ballier gentoo org> CommitDate: Fri Sep 22 08:31:44 2017 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=4d138138 dev-ml/patience_diff: update to opam.eclass Package-Manager: Portage-2.3.10, Repoman-2.3.3 dev-ml/patience_diff/patience_diff-0.9.0.ebuild | 13 +++-- 1 file changed, 3 insertions(+), 10 deletions(-) diff --git a/dev-ml/patience_diff/patience_diff-0.9.0.ebuild b/dev-ml/patience_diff/patience_diff-0.9.0.ebuild index 727b5d56ef3..cba06ddf9e1 100644 --- a/dev-ml/patience_diff/patience_diff-0.9.0.ebuild +++ b/dev-ml/patience_diff/patience_diff-0.9.0.ebuild @@ -3,6 +3,8 @@ EAPI=6 +inherit opam + DESCRIPTION="Tool and library implementing patience diff" HOMEPAGE="https://github.com/janestreet/${PN}"; SRC_URI="https://github.com/janestreet/${PN}/archive/v${PV}.tar.gz -> ${P}.tar.gz" @@ -13,18 +15,9 @@ KEYWORDS="~amd64" IUSE="" RDEPEND=" - dev-lang/ocaml:= dev-ml/core_kernel:= dev-ml/ppx_driver:= dev-ml/ppx_jane:= dev-ml/ocaml-migrate-parsetree:= " -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}" \ - ${PN}.install || die -} +DEPEND="${RDEPEND} dev-ml/jbuilder"
[gentoo-commits] repo/gentoo:master commit in: dev-ml/patience_diff/
commit: 2bbea554372d23a4db567b771b668981b3bbd596 Author: Alexis Ballier gentoo org> AuthorDate: Thu Jun 22 12:36:47 2017 + Commit: Alexis Ballier gentoo org> CommitDate: Thu Jun 22 14:24:34 2017 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=2bbea554 dev-ml/patience_diff: initial import Package-Manager: Portage-2.3.6, Repoman-2.3.2 dev-ml/patience_diff/Manifest | 1 + dev-ml/patience_diff/metadata.xml | 11 + dev-ml/patience_diff/patience_diff-0.9.0.ebuild | 30 + 3 files changed, 42 insertions(+) diff --git a/dev-ml/patience_diff/Manifest b/dev-ml/patience_diff/Manifest new file mode 100644 index 000..fc684136055 --- /dev/null +++ b/dev-ml/patience_diff/Manifest @@ -0,0 +1 @@ +DIST patience_diff-0.9.0.tar.gz 16520 SHA256 d47943ca89602e4c4b030f8dec7fa60b5011592a7005fa79cf746b79308d66f8 SHA512 62cc0950edd8d46d5a11cd612dbdb8dc531a9a2c71403f30e6022e20d9ee21cb2e7a531362fa8b350075003eec929f1f70481b8e160b253831966d80a8becd83 WHIRLPOOL f1bb11f6862c9612f48cb861b74028c7c4c720738f44ac75b42d47f527781f6d054d690ac3a36318a6ea3d754544f4e0b9e83627a781989f9c46f5fc4b524f01 diff --git a/dev-ml/patience_diff/metadata.xml b/dev-ml/patience_diff/metadata.xml new file mode 100644 index 000..949b707595e --- /dev/null +++ b/dev-ml/patience_diff/metadata.xml @@ -0,0 +1,11 @@ + +http://www.gentoo.org/dtd/metadata.dtd";> + + + m...@gentoo.org + Gentoo ML Project + + + janestreet/patience_diff + + diff --git a/dev-ml/patience_diff/patience_diff-0.9.0.ebuild b/dev-ml/patience_diff/patience_diff-0.9.0.ebuild new file mode 100644 index 000..727b5d56ef3 --- /dev/null +++ b/dev-ml/patience_diff/patience_diff-0.9.0.ebuild @@ -0,0 +1,30 @@ +# Copyright 1999-2017 Gentoo Foundation +# Distributed under the terms of the GNU General Public License v2 + +EAPI=6 + +DESCRIPTION="Tool and library implementing patience diff" +HOMEPAGE="https://github.com/janestreet/${PN}"; +SRC_URI="https://github.com/janestreet/${PN}/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_kernel:= + dev-ml/ppx_driver:= + dev-ml/ppx_jane:= + dev-ml/ocaml-migrate-parsetree:= +" +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}" \ + ${PN}.install || die +}
[gentoo-commits] repo/gentoo:master commit in: dev-ml/patience_diff/
commit: 3ec548286a50200454f1daacc757569237250958 Author: Yongxiang Liang gmail com> AuthorDate: Sun Apr 17 15:41:21 2022 + Commit: Jakov Smolić gentoo org> CommitDate: Mon Apr 18 21:06:47 2022 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=3ec54828 dev-ml/patience_diff: Keyword 0.14.0 riscv, #838100 Signed-off-by: Yongxiang Liang gmail.com> Signed-off-by: Jakov Smolić gentoo.org> dev-ml/patience_diff/patience_diff-0.14.0.ebuild | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/dev-ml/patience_diff/patience_diff-0.14.0.ebuild b/dev-ml/patience_diff/patience_diff-0.14.0.ebuild index 67d3bdbbc951..e73d50987f38 100644 --- a/dev-ml/patience_diff/patience_diff-0.14.0.ebuild +++ b/dev-ml/patience_diff/patience_diff-0.14.0.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/${PN}/archive/v${PV}.tar.gz -> ${P}.tar.g LICENSE="Apache-2.0" SLOT="0/$(ver_cut 1-2)" -KEYWORDS="~amd64" +KEYWORDS="~amd64 ~riscv" IUSE="+ocamlopt" RDEPEND="
[gentoo-commits] repo/gentoo:master commit in: dev-ml/patience_diff/
commit: 2bf2ed0a3e1a7e33b954f54f63a98b2303b3c120 Author: Alfredo Tupone gentoo org> AuthorDate: Wed Apr 27 20:09:08 2022 + Commit: Alfredo Tupone gentoo org> CommitDate: Wed Apr 27 20:09:31 2022 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=2bf2ed0a dev-ml/patience_diff: 0.15.0 bump Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Alfredo Tupone gentoo.org> dev-ml/patience_diff/Manifest| 1 + dev-ml/patience_diff/patience_diff-0.15.0.ebuild | 17 + 2 files changed, 18 insertions(+) diff --git a/dev-ml/patience_diff/Manifest b/dev-ml/patience_diff/Manifest index 5648b021c4a7..746fe5ac6ac4 100644 --- a/dev-ml/patience_diff/Manifest +++ b/dev-ml/patience_diff/Manifest @@ -1 +1,2 @@ DIST patience_diff-0.14.0.tar.gz 20060 BLAKE2B d47d9a93ef0a7eeada7f050aec0427f8352343609da1332de59d6b3ced41e9942556e1d61e12ab2075bc15cf29afc60191f48da43c1a4358d414352eb6efd044 SHA512 d253488402e515d56ed9d83ef45edfce378d6ad5148d80f8d81341cff28d19115350d72cc057ecd6c14b907888eca8e6bce1b8e71c7a978149979a16a5512fd2 +DIST patience_diff-0.15.0.tar.gz 20434 BLAKE2B 52e0f1d3437f97d384224cd06035802376fe2af97c085e183f99934f6f8238270723505cda7c617b7847fa4d5f51abbfaa58cd25aac5f0eeb56b42559e91421a SHA512 d3cbf2b2fb8618cd3342abcb7beea110a93b0e8f6984f3becdf9066c717f6f7832f86a8fb72ac56c587cbd6e5abecf07c0b98d9ec1cb7a40bfb9d4a5b1de12ba diff --git a/dev-ml/patience_diff/patience_diff-0.15.0.ebuild b/dev-ml/patience_diff/patience_diff-0.15.0.ebuild new file mode 100644 index ..00760fb0e14f --- /dev/null +++ b/dev-ml/patience_diff/patience_diff-0.15.0.ebuild @@ -0,0 +1,17 @@ +# Copyright 1999-2022 Gentoo Authors +# Distributed under the terms of the GNU General Public License v2 + +EAPI=7 + +inherit dune + +DESCRIPTION="Tool and library implementing patience diff" +HOMEPAGE="https://github.com/janestreet/patience_diff"; +SRC_URI="https://github.com/janestreet/${PN}/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:${SLOT}"
[gentoo-commits] repo/gentoo:master commit in: dev-ml/patience_diff/
commit: 346abd6e30bfe536efcdab2f52a37c54580ffb88 Author: Alfredo Tupone gentoo org> AuthorDate: Fri Oct 1 17:19:20 2021 + Commit: Alfredo Tupone gentoo org> CommitDate: Fri Oct 1 17:19:20 2021 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=346abd6e dev-ml/patience_diff: build with ocaml-4.12 Package-Manager: Portage-3.0.20, Repoman-3.0.3 Signed-off-by: Alfredo Tupone gentoo.org> dev-ml/patience_diff/metadata.xml| 5 - dev-ml/patience_diff/patience_diff-0.14.0.ebuild | 4 2 files changed, 8 insertions(+), 1 deletion(-) diff --git a/dev-ml/patience_diff/metadata.xml b/dev-ml/patience_diff/metadata.xml index 65186ef690b..c87f5360ebd 100644 --- a/dev-ml/patience_diff/metadata.xml +++ b/dev-ml/patience_diff/metadata.xml @@ -1,7 +1,10 @@ https://www.gentoo.org/dtd/metadata.dtd";> - + + m...@gentoo.org + ML + janestreet/patience_diff diff --git a/dev-ml/patience_diff/patience_diff-0.14.0.ebuild b/dev-ml/patience_diff/patience_diff-0.14.0.ebuild index 67d3bdbbc95..cd95ca35acf 100644 --- a/dev-ml/patience_diff/patience_diff-0.14.0.ebuild +++ b/dev-ml/patience_diff/patience_diff-0.14.0.ebuild @@ -19,3 +19,7 @@ RDEPEND=" dev-ml/core_kernel:= dev-ml/ppx_jane:= " + +src_compile() { + dune build @install --profile release || die +}
[gentoo-commits] repo/gentoo:master commit in: dev-ml/patience_diff/
commit: ab0250411fd4eb994bcdc4812c0b5594e4b72076 Author: Alfredo Tupone gentoo org> AuthorDate: Sun Oct 3 09:55:32 2021 + Commit: Alfredo Tupone gentoo org> CommitDate: Sun Oct 3 09:57:43 2021 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=ab025041 dev-ml/patience_diff: src_compile is in dune.eclass Package-Manager: Portage-3.0.20, Repoman-3.0.3 Signed-off-by: Alfredo Tupone gentoo.org> dev-ml/patience_diff/patience_diff-0.14.0.ebuild | 4 1 file changed, 4 deletions(-) diff --git a/dev-ml/patience_diff/patience_diff-0.14.0.ebuild b/dev-ml/patience_diff/patience_diff-0.14.0.ebuild index cd95ca35acf..67d3bdbbc95 100644 --- a/dev-ml/patience_diff/patience_diff-0.14.0.ebuild +++ b/dev-ml/patience_diff/patience_diff-0.14.0.ebuild @@ -19,7 +19,3 @@ RDEPEND=" dev-ml/core_kernel:= dev-ml/ppx_jane:= " - -src_compile() { - dune build @install --profile release || die -}
[gentoo-commits] repo/gentoo:master commit in: dev-ml/patience_diff/
commit: 3ec548286a50200454f1daacc757569237250958 Author: Yongxiang Liang gmail com> AuthorDate: Sun Apr 17 15:41:21 2022 + Commit: Jakov Smolić gentoo org> CommitDate: Mon Apr 18 21:06:47 2022 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=3ec54828 dev-ml/patience_diff: Keyword 0.14.0 riscv, #838100 Signed-off-by: Yongxiang Liang gmail.com> Signed-off-by: Jakov Smolić gentoo.org> dev-ml/patience_diff/patience_diff-0.14.0.ebuild | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/dev-ml/patience_diff/patience_diff-0.14.0.ebuild b/dev-ml/patience_diff/patience_diff-0.14.0.ebuild index 67d3bdbbc951..e73d50987f38 100644 --- a/dev-ml/patience_diff/patience_diff-0.14.0.ebuild +++ b/dev-ml/patience_diff/patience_diff-0.14.0.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/${PN}/archive/v${PV}.tar.gz -> ${P}.tar.g LICENSE="Apache-2.0" SLOT="0/$(ver_cut 1-2)" -KEYWORDS="~amd64" +KEYWORDS="~amd64 ~riscv" IUSE="+ocamlopt" RDEPEND="
[gentoo-commits] repo/gentoo:master commit in: dev-ml/patience_diff/
commit: 346abd6e30bfe536efcdab2f52a37c54580ffb88 Author: Alfredo Tupone gentoo org> AuthorDate: Fri Oct 1 17:19:20 2021 + Commit: Alfredo Tupone gentoo org> CommitDate: Fri Oct 1 17:19:20 2021 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=346abd6e dev-ml/patience_diff: build with ocaml-4.12 Package-Manager: Portage-3.0.20, Repoman-3.0.3 Signed-off-by: Alfredo Tupone gentoo.org> dev-ml/patience_diff/metadata.xml| 5 - dev-ml/patience_diff/patience_diff-0.14.0.ebuild | 4 2 files changed, 8 insertions(+), 1 deletion(-) diff --git a/dev-ml/patience_diff/metadata.xml b/dev-ml/patience_diff/metadata.xml index 65186ef690b..c87f5360ebd 100644 --- a/dev-ml/patience_diff/metadata.xml +++ b/dev-ml/patience_diff/metadata.xml @@ -1,7 +1,10 @@ https://www.gentoo.org/dtd/metadata.dtd";> - + + m...@gentoo.org + ML + janestreet/patience_diff diff --git a/dev-ml/patience_diff/patience_diff-0.14.0.ebuild b/dev-ml/patience_diff/patience_diff-0.14.0.ebuild index 67d3bdbbc95..cd95ca35acf 100644 --- a/dev-ml/patience_diff/patience_diff-0.14.0.ebuild +++ b/dev-ml/patience_diff/patience_diff-0.14.0.ebuild @@ -19,3 +19,7 @@ RDEPEND=" dev-ml/core_kernel:= dev-ml/ppx_jane:= " + +src_compile() { + dune build @install --profile release || die +}
[gentoo-commits] repo/gentoo:master commit in: dev-ml/patience_diff/
commit: ab0250411fd4eb994bcdc4812c0b5594e4b72076 Author: Alfredo Tupone gentoo org> AuthorDate: Sun Oct 3 09:55:32 2021 + Commit: Alfredo Tupone gentoo org> CommitDate: Sun Oct 3 09:57:43 2021 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=ab025041 dev-ml/patience_diff: src_compile is in dune.eclass Package-Manager: Portage-3.0.20, Repoman-3.0.3 Signed-off-by: Alfredo Tupone gentoo.org> dev-ml/patience_diff/patience_diff-0.14.0.ebuild | 4 1 file changed, 4 deletions(-) diff --git a/dev-ml/patience_diff/patience_diff-0.14.0.ebuild b/dev-ml/patience_diff/patience_diff-0.14.0.ebuild index cd95ca35acf..67d3bdbbc95 100644 --- a/dev-ml/patience_diff/patience_diff-0.14.0.ebuild +++ b/dev-ml/patience_diff/patience_diff-0.14.0.ebuild @@ -19,7 +19,3 @@ RDEPEND=" dev-ml/core_kernel:= dev-ml/ppx_jane:= " - -src_compile() { - dune build @install --profile release || die -}
[gentoo-commits] repo/gentoo:master commit in: dev-ml/patience_diff/
commit: 3e2f13c02fc1c14f7185b1a280f67164644f3b5d Author: Alfredo Tupone gentoo org> AuthorDate: Mon Mar 1 20:37:33 2021 + Commit: Alfredo Tupone gentoo org> CommitDate: Mon Mar 1 20:37:33 2021 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=3e2f13c0 dev-ml/patience_diff: version bump to 0.14.0 Package-Manager: Portage-3.0.13, Repoman-3.0.2 Signed-off-by: Alfredo Tupone gentoo.org> dev-ml/patience_diff/Manifest| 1 + dev-ml/patience_diff/patience_diff-0.14.0.ebuild | 21 + 2 files changed, 22 insertions(+) diff --git a/dev-ml/patience_diff/Manifest b/dev-ml/patience_diff/Manifest index 002d157a514..efc52327c97 100644 --- a/dev-ml/patience_diff/Manifest +++ b/dev-ml/patience_diff/Manifest @@ -1 +1,2 @@ +DIST patience_diff-0.14.0.tar.gz 20060 BLAKE2B d47d9a93ef0a7eeada7f050aec0427f8352343609da1332de59d6b3ced41e9942556e1d61e12ab2075bc15cf29afc60191f48da43c1a4358d414352eb6efd044 SHA512 d253488402e515d56ed9d83ef45edfce378d6ad5148d80f8d81341cff28d19115350d72cc057ecd6c14b907888eca8e6bce1b8e71c7a978149979a16a5512fd2 DIST patience_diff-0.9.0.tar.gz 16520 BLAKE2B af7f93906c1f4ab70649bc41726aff21f9f099fe49b0d3a3e8bea01d85e9f01cac4bd103179e9877d79dbc997d37318382321dacd67be57a9e031fd95e0263e5 SHA512 62cc0950edd8d46d5a11cd612dbdb8dc531a9a2c71403f30e6022e20d9ee21cb2e7a531362fa8b350075003eec929f1f70481b8e160b253831966d80a8becd83 diff --git a/dev-ml/patience_diff/patience_diff-0.14.0.ebuild b/dev-ml/patience_diff/patience_diff-0.14.0.ebuild new file mode 100644 index 000..67d3bdbbc95 --- /dev/null +++ b/dev-ml/patience_diff/patience_diff-0.14.0.ebuild @@ -0,0 +1,21 @@ +# Copyright 1999-2021 Gentoo Authors +# Distributed under the terms of the GNU General Public License v2 + +EAPI=7 + +inherit dune + +DESCRIPTION="Tool and library implementing patience diff" +HOMEPAGE="https://github.com/janestreet/patience_diff"; +SRC_URI="https://github.com/janestreet/${PN}/archive/v${PV}.tar.gz -> ${P}.tar.gz" + +LICENSE="Apache-2.0" +SLOT="0/$(ver_cut 1-2)" +KEYWORDS="~amd64" +IUSE="+ocamlopt" + +RDEPEND=" + dev-ml/base:= + dev-ml/core_kernel:= + dev-ml/ppx_jane:= +"
[gentoo-commits] repo/gentoo:master commit in: dev-ml/patience_diff/
commit: 819981a9e592c4ead78b2af0329e6a1cde9045a9 Author: Alfredo Tupone gentoo org> AuthorDate: Sun Mar 7 14:25:55 2021 + Commit: Alfredo Tupone gentoo org> CommitDate: Sun Mar 7 14:37:34 2021 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=819981a9 dev-ml/patience_diff: rem old version Package-Manager: Portage-3.0.13, Repoman-3.0.2 Signed-off-by: Alfredo Tupone gentoo.org> dev-ml/patience_diff/Manifest | 1 - dev-ml/patience_diff/patience_diff-0.9.0.ebuild | 23 --- 2 files changed, 24 deletions(-) diff --git a/dev-ml/patience_diff/Manifest b/dev-ml/patience_diff/Manifest index efc52327c97..5648b021c4a 100644 --- a/dev-ml/patience_diff/Manifest +++ b/dev-ml/patience_diff/Manifest @@ -1,2 +1 @@ DIST patience_diff-0.14.0.tar.gz 20060 BLAKE2B d47d9a93ef0a7eeada7f050aec0427f8352343609da1332de59d6b3ced41e9942556e1d61e12ab2075bc15cf29afc60191f48da43c1a4358d414352eb6efd044 SHA512 d253488402e515d56ed9d83ef45edfce378d6ad5148d80f8d81341cff28d19115350d72cc057ecd6c14b907888eca8e6bce1b8e71c7a978149979a16a5512fd2 -DIST patience_diff-0.9.0.tar.gz 16520 BLAKE2B af7f93906c1f4ab70649bc41726aff21f9f099fe49b0d3a3e8bea01d85e9f01cac4bd103179e9877d79dbc997d37318382321dacd67be57a9e031fd95e0263e5 SHA512 62cc0950edd8d46d5a11cd612dbdb8dc531a9a2c71403f30e6022e20d9ee21cb2e7a531362fa8b350075003eec929f1f70481b8e160b253831966d80a8becd83 diff --git a/dev-ml/patience_diff/patience_diff-0.9.0.ebuild b/dev-ml/patience_diff/patience_diff-0.9.0.ebuild deleted file mode 100644 index 75cd3ec4d12..000 --- a/dev-ml/patience_diff/patience_diff-0.9.0.ebuild +++ /dev/null @@ -1,23 +0,0 @@ -# Copyright 1999-2020 Gentoo Authors -# Distributed under the terms of the GNU General Public License v2 - -EAPI=6 - -inherit opam - -DESCRIPTION="Tool and library implementing patience diff" -HOMEPAGE="https://github.com/janestreet/patience_diff"; -SRC_URI="https://github.com/janestreet/${PN}/archive/v${PV}.tar.gz -> ${P}.tar.gz" - -LICENSE="Apache-2.0" -SLOT="0/${PV}" -KEYWORDS="~amd64" -IUSE="" - -RDEPEND=" - dev-ml/core_kernel:= - dev-ml/ppx_driver:= - dev-ml/ppx_jane:= - dev-ml/ocaml-migrate-parsetree:= -" -DEPEND="${RDEPEND} dev-ml/jbuilder"
[gentoo-commits] repo/gentoo:master commit in: dev-ml/patience_diff/
commit: 3e2f13c02fc1c14f7185b1a280f67164644f3b5d Author: Alfredo Tupone gentoo org> AuthorDate: Mon Mar 1 20:37:33 2021 + Commit: Alfredo Tupone gentoo org> CommitDate: Mon Mar 1 20:37:33 2021 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=3e2f13c0 dev-ml/patience_diff: version bump to 0.14.0 Package-Manager: Portage-3.0.13, Repoman-3.0.2 Signed-off-by: Alfredo Tupone gentoo.org> dev-ml/patience_diff/Manifest| 1 + dev-ml/patience_diff/patience_diff-0.14.0.ebuild | 21 + 2 files changed, 22 insertions(+) diff --git a/dev-ml/patience_diff/Manifest b/dev-ml/patience_diff/Manifest index 002d157a514..efc52327c97 100644 --- a/dev-ml/patience_diff/Manifest +++ b/dev-ml/patience_diff/Manifest @@ -1 +1,2 @@ +DIST patience_diff-0.14.0.tar.gz 20060 BLAKE2B d47d9a93ef0a7eeada7f050aec0427f8352343609da1332de59d6b3ced41e9942556e1d61e12ab2075bc15cf29afc60191f48da43c1a4358d414352eb6efd044 SHA512 d253488402e515d56ed9d83ef45edfce378d6ad5148d80f8d81341cff28d19115350d72cc057ecd6c14b907888eca8e6bce1b8e71c7a978149979a16a5512fd2 DIST patience_diff-0.9.0.tar.gz 16520 BLAKE2B af7f93906c1f4ab70649bc41726aff21f9f099fe49b0d3a3e8bea01d85e9f01cac4bd103179e9877d79dbc997d37318382321dacd67be57a9e031fd95e0263e5 SHA512 62cc0950edd8d46d5a11cd612dbdb8dc531a9a2c71403f30e6022e20d9ee21cb2e7a531362fa8b350075003eec929f1f70481b8e160b253831966d80a8becd83 diff --git a/dev-ml/patience_diff/patience_diff-0.14.0.ebuild b/dev-ml/patience_diff/patience_diff-0.14.0.ebuild new file mode 100644 index 000..67d3bdbbc95 --- /dev/null +++ b/dev-ml/patience_diff/patience_diff-0.14.0.ebuild @@ -0,0 +1,21 @@ +# Copyright 1999-2021 Gentoo Authors +# Distributed under the terms of the GNU General Public License v2 + +EAPI=7 + +inherit dune + +DESCRIPTION="Tool and library implementing patience diff" +HOMEPAGE="https://github.com/janestreet/patience_diff"; +SRC_URI="https://github.com/janestreet/${PN}/archive/v${PV}.tar.gz -> ${P}.tar.gz" + +LICENSE="Apache-2.0" +SLOT="0/$(ver_cut 1-2)" +KEYWORDS="~amd64" +IUSE="+ocamlopt" + +RDEPEND=" + dev-ml/base:= + dev-ml/core_kernel:= + dev-ml/ppx_jane:= +"
[gentoo-commits] repo/gentoo:master commit in: dev-ml/patience_diff/
commit: 819981a9e592c4ead78b2af0329e6a1cde9045a9 Author: Alfredo Tupone gentoo org> AuthorDate: Sun Mar 7 14:25:55 2021 + Commit: Alfredo Tupone gentoo org> CommitDate: Sun Mar 7 14:37:34 2021 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=819981a9 dev-ml/patience_diff: rem old version Package-Manager: Portage-3.0.13, Repoman-3.0.2 Signed-off-by: Alfredo Tupone gentoo.org> dev-ml/patience_diff/Manifest | 1 - dev-ml/patience_diff/patience_diff-0.9.0.ebuild | 23 --- 2 files changed, 24 deletions(-) diff --git a/dev-ml/patience_diff/Manifest b/dev-ml/patience_diff/Manifest index efc52327c97..5648b021c4a 100644 --- a/dev-ml/patience_diff/Manifest +++ b/dev-ml/patience_diff/Manifest @@ -1,2 +1 @@ DIST patience_diff-0.14.0.tar.gz 20060 BLAKE2B d47d9a93ef0a7eeada7f050aec0427f8352343609da1332de59d6b3ced41e9942556e1d61e12ab2075bc15cf29afc60191f48da43c1a4358d414352eb6efd044 SHA512 d253488402e515d56ed9d83ef45edfce378d6ad5148d80f8d81341cff28d19115350d72cc057ecd6c14b907888eca8e6bce1b8e71c7a978149979a16a5512fd2 -DIST patience_diff-0.9.0.tar.gz 16520 BLAKE2B af7f93906c1f4ab70649bc41726aff21f9f099fe49b0d3a3e8bea01d85e9f01cac4bd103179e9877d79dbc997d37318382321dacd67be57a9e031fd95e0263e5 SHA512 62cc0950edd8d46d5a11cd612dbdb8dc531a9a2c71403f30e6022e20d9ee21cb2e7a531362fa8b350075003eec929f1f70481b8e160b253831966d80a8becd83 diff --git a/dev-ml/patience_diff/patience_diff-0.9.0.ebuild b/dev-ml/patience_diff/patience_diff-0.9.0.ebuild deleted file mode 100644 index 75cd3ec4d12..000 --- a/dev-ml/patience_diff/patience_diff-0.9.0.ebuild +++ /dev/null @@ -1,23 +0,0 @@ -# Copyright 1999-2020 Gentoo Authors -# Distributed under the terms of the GNU General Public License v2 - -EAPI=6 - -inherit opam - -DESCRIPTION="Tool and library implementing patience diff" -HOMEPAGE="https://github.com/janestreet/patience_diff"; -SRC_URI="https://github.com/janestreet/${PN}/archive/v${PV}.tar.gz -> ${P}.tar.gz" - -LICENSE="Apache-2.0" -SLOT="0/${PV}" -KEYWORDS="~amd64" -IUSE="" - -RDEPEND=" - dev-ml/core_kernel:= - dev-ml/ppx_driver:= - dev-ml/ppx_jane:= - dev-ml/ocaml-migrate-parsetree:= -" -DEPEND="${RDEPEND} dev-ml/jbuilder"
[gentoo-commits] repo/gentoo:master commit in: dev-ml/patience_diff/
commit: 2bbea554372d23a4db567b771b668981b3bbd596 Author: Alexis Ballier gentoo org> AuthorDate: Thu Jun 22 12:36:47 2017 + Commit: Alexis Ballier gentoo org> CommitDate: Thu Jun 22 14:24:34 2017 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=2bbea554 dev-ml/patience_diff: initial import Package-Manager: Portage-2.3.6, Repoman-2.3.2 dev-ml/patience_diff/Manifest | 1 + dev-ml/patience_diff/metadata.xml | 11 + dev-ml/patience_diff/patience_diff-0.9.0.ebuild | 30 + 3 files changed, 42 insertions(+) diff --git a/dev-ml/patience_diff/Manifest b/dev-ml/patience_diff/Manifest new file mode 100644 index 000..fc684136055 --- /dev/null +++ b/dev-ml/patience_diff/Manifest @@ -0,0 +1 @@ +DIST patience_diff-0.9.0.tar.gz 16520 SHA256 d47943ca89602e4c4b030f8dec7fa60b5011592a7005fa79cf746b79308d66f8 SHA512 62cc0950edd8d46d5a11cd612dbdb8dc531a9a2c71403f30e6022e20d9ee21cb2e7a531362fa8b350075003eec929f1f70481b8e160b253831966d80a8becd83 WHIRLPOOL f1bb11f6862c9612f48cb861b74028c7c4c720738f44ac75b42d47f527781f6d054d690ac3a36318a6ea3d754544f4e0b9e83627a781989f9c46f5fc4b524f01 diff --git a/dev-ml/patience_diff/metadata.xml b/dev-ml/patience_diff/metadata.xml new file mode 100644 index 000..949b707595e --- /dev/null +++ b/dev-ml/patience_diff/metadata.xml @@ -0,0 +1,11 @@ + +http://www.gentoo.org/dtd/metadata.dtd";> + + + m...@gentoo.org + Gentoo ML Project + + + janestreet/patience_diff + + diff --git a/dev-ml/patience_diff/patience_diff-0.9.0.ebuild b/dev-ml/patience_diff/patience_diff-0.9.0.ebuild new file mode 100644 index 000..727b5d56ef3 --- /dev/null +++ b/dev-ml/patience_diff/patience_diff-0.9.0.ebuild @@ -0,0 +1,30 @@ +# Copyright 1999-2017 Gentoo Foundation +# Distributed under the terms of the GNU General Public License v2 + +EAPI=6 + +DESCRIPTION="Tool and library implementing patience diff" +HOMEPAGE="https://github.com/janestreet/${PN}"; +SRC_URI="https://github.com/janestreet/${PN}/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_kernel:= + dev-ml/ppx_driver:= + dev-ml/ppx_jane:= + dev-ml/ocaml-migrate-parsetree:= +" +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}" \ + ${PN}.install || die +}
[gentoo-commits] repo/gentoo:master commit in: dev-ml/patience_diff/
commit: 4d138138f716438f6a9d2b5261302f06ed7cd2a5 Author: Alexis Ballier gentoo org> AuthorDate: Fri Sep 22 08:22:07 2017 + Commit: Alexis Ballier gentoo org> CommitDate: Fri Sep 22 08:31:44 2017 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=4d138138 dev-ml/patience_diff: update to opam.eclass Package-Manager: Portage-2.3.10, Repoman-2.3.3 dev-ml/patience_diff/patience_diff-0.9.0.ebuild | 13 +++-- 1 file changed, 3 insertions(+), 10 deletions(-) diff --git a/dev-ml/patience_diff/patience_diff-0.9.0.ebuild b/dev-ml/patience_diff/patience_diff-0.9.0.ebuild index 727b5d56ef3..cba06ddf9e1 100644 --- a/dev-ml/patience_diff/patience_diff-0.9.0.ebuild +++ b/dev-ml/patience_diff/patience_diff-0.9.0.ebuild @@ -3,6 +3,8 @@ EAPI=6 +inherit opam + DESCRIPTION="Tool and library implementing patience diff" HOMEPAGE="https://github.com/janestreet/${PN}"; SRC_URI="https://github.com/janestreet/${PN}/archive/v${PV}.tar.gz -> ${P}.tar.gz" @@ -13,18 +15,9 @@ KEYWORDS="~amd64" IUSE="" RDEPEND=" - dev-lang/ocaml:= dev-ml/core_kernel:= dev-ml/ppx_driver:= dev-ml/ppx_jane:= dev-ml/ocaml-migrate-parsetree:= " -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}" \ - ${PN}.install || die -} +DEPEND="${RDEPEND} dev-ml/jbuilder"
[gentoo-commits] repo/gentoo:master commit in: dev-ml/patience_diff/
commit: 2bbea554372d23a4db567b771b668981b3bbd596 Author: Alexis Ballier gentoo org> AuthorDate: Thu Jun 22 12:36:47 2017 + Commit: Alexis Ballier gentoo org> CommitDate: Thu Jun 22 14:24:34 2017 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=2bbea554 dev-ml/patience_diff: initial import Package-Manager: Portage-2.3.6, Repoman-2.3.2 dev-ml/patience_diff/Manifest | 1 + dev-ml/patience_diff/metadata.xml | 11 + dev-ml/patience_diff/patience_diff-0.9.0.ebuild | 30 + 3 files changed, 42 insertions(+) diff --git a/dev-ml/patience_diff/Manifest b/dev-ml/patience_diff/Manifest new file mode 100644 index 000..fc684136055 --- /dev/null +++ b/dev-ml/patience_diff/Manifest @@ -0,0 +1 @@ +DIST patience_diff-0.9.0.tar.gz 16520 SHA256 d47943ca89602e4c4b030f8dec7fa60b5011592a7005fa79cf746b79308d66f8 SHA512 62cc0950edd8d46d5a11cd612dbdb8dc531a9a2c71403f30e6022e20d9ee21cb2e7a531362fa8b350075003eec929f1f70481b8e160b253831966d80a8becd83 WHIRLPOOL f1bb11f6862c9612f48cb861b74028c7c4c720738f44ac75b42d47f527781f6d054d690ac3a36318a6ea3d754544f4e0b9e83627a781989f9c46f5fc4b524f01 diff --git a/dev-ml/patience_diff/metadata.xml b/dev-ml/patience_diff/metadata.xml new file mode 100644 index 000..949b707595e --- /dev/null +++ b/dev-ml/patience_diff/metadata.xml @@ -0,0 +1,11 @@ + +http://www.gentoo.org/dtd/metadata.dtd";> + + + m...@gentoo.org + Gentoo ML Project + + + janestreet/patience_diff + + diff --git a/dev-ml/patience_diff/patience_diff-0.9.0.ebuild b/dev-ml/patience_diff/patience_diff-0.9.0.ebuild new file mode 100644 index 000..727b5d56ef3 --- /dev/null +++ b/dev-ml/patience_diff/patience_diff-0.9.0.ebuild @@ -0,0 +1,30 @@ +# Copyright 1999-2017 Gentoo Foundation +# Distributed under the terms of the GNU General Public License v2 + +EAPI=6 + +DESCRIPTION="Tool and library implementing patience diff" +HOMEPAGE="https://github.com/janestreet/${PN}"; +SRC_URI="https://github.com/janestreet/${PN}/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_kernel:= + dev-ml/ppx_driver:= + dev-ml/ppx_jane:= + dev-ml/ocaml-migrate-parsetree:= +" +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}" \ + ${PN}.install || die +}
[gentoo-commits] repo/gentoo:master commit in: dev-ml/patience_diff/
commit: 4d138138f716438f6a9d2b5261302f06ed7cd2a5 Author: Alexis Ballier gentoo org> AuthorDate: Fri Sep 22 08:22:07 2017 + Commit: Alexis Ballier gentoo org> CommitDate: Fri Sep 22 08:31:44 2017 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=4d138138 dev-ml/patience_diff: update to opam.eclass Package-Manager: Portage-2.3.10, Repoman-2.3.3 dev-ml/patience_diff/patience_diff-0.9.0.ebuild | 13 +++-- 1 file changed, 3 insertions(+), 10 deletions(-) diff --git a/dev-ml/patience_diff/patience_diff-0.9.0.ebuild b/dev-ml/patience_diff/patience_diff-0.9.0.ebuild index 727b5d56ef3..cba06ddf9e1 100644 --- a/dev-ml/patience_diff/patience_diff-0.9.0.ebuild +++ b/dev-ml/patience_diff/patience_diff-0.9.0.ebuild @@ -3,6 +3,8 @@ EAPI=6 +inherit opam + DESCRIPTION="Tool and library implementing patience diff" HOMEPAGE="https://github.com/janestreet/${PN}"; SRC_URI="https://github.com/janestreet/${PN}/archive/v${PV}.tar.gz -> ${P}.tar.gz" @@ -13,18 +15,9 @@ KEYWORDS="~amd64" IUSE="" RDEPEND=" - dev-lang/ocaml:= dev-ml/core_kernel:= dev-ml/ppx_driver:= dev-ml/ppx_jane:= dev-ml/ocaml-migrate-parsetree:= " -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}" \ - ${PN}.install || die -} +DEPEND="${RDEPEND} dev-ml/jbuilder"
[gentoo-commits] repo/gentoo:master commit in: dev-ml/patience_diff/
commit: 2bf2ed0a3e1a7e33b954f54f63a98b2303b3c120 Author: Alfredo Tupone gentoo org> AuthorDate: Wed Apr 27 20:09:08 2022 + Commit: Alfredo Tupone gentoo org> CommitDate: Wed Apr 27 20:09:31 2022 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=2bf2ed0a dev-ml/patience_diff: 0.15.0 bump Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Alfredo Tupone gentoo.org> dev-ml/patience_diff/Manifest| 1 + dev-ml/patience_diff/patience_diff-0.15.0.ebuild | 17 + 2 files changed, 18 insertions(+) diff --git a/dev-ml/patience_diff/Manifest b/dev-ml/patience_diff/Manifest index 5648b021c4a7..746fe5ac6ac4 100644 --- a/dev-ml/patience_diff/Manifest +++ b/dev-ml/patience_diff/Manifest @@ -1 +1,2 @@ DIST patience_diff-0.14.0.tar.gz 20060 BLAKE2B d47d9a93ef0a7eeada7f050aec0427f8352343609da1332de59d6b3ced41e9942556e1d61e12ab2075bc15cf29afc60191f48da43c1a4358d414352eb6efd044 SHA512 d253488402e515d56ed9d83ef45edfce378d6ad5148d80f8d81341cff28d19115350d72cc057ecd6c14b907888eca8e6bce1b8e71c7a978149979a16a5512fd2 +DIST patience_diff-0.15.0.tar.gz 20434 BLAKE2B 52e0f1d3437f97d384224cd06035802376fe2af97c085e183f99934f6f8238270723505cda7c617b7847fa4d5f51abbfaa58cd25aac5f0eeb56b42559e91421a SHA512 d3cbf2b2fb8618cd3342abcb7beea110a93b0e8f6984f3becdf9066c717f6f7832f86a8fb72ac56c587cbd6e5abecf07c0b98d9ec1cb7a40bfb9d4a5b1de12ba diff --git a/dev-ml/patience_diff/patience_diff-0.15.0.ebuild b/dev-ml/patience_diff/patience_diff-0.15.0.ebuild new file mode 100644 index ..00760fb0e14f --- /dev/null +++ b/dev-ml/patience_diff/patience_diff-0.15.0.ebuild @@ -0,0 +1,17 @@ +# Copyright 1999-2022 Gentoo Authors +# Distributed under the terms of the GNU General Public License v2 + +EAPI=7 + +inherit dune + +DESCRIPTION="Tool and library implementing patience diff" +HOMEPAGE="https://github.com/janestreet/patience_diff"; +SRC_URI="https://github.com/janestreet/${PN}/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:${SLOT}"
[gentoo-commits] repo/gentoo:master commit in: dev-ml/patience_diff/
commit: 05a60ae675ee7f4f1652f51e39ad95561460c67f Author: Yixun Lan gentoo org> AuthorDate: Fri Feb 10 08:23:07 2023 + Commit: Yixun Lan gentoo org> CommitDate: Fri Feb 10 08:23:07 2023 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=05a60ae6 dev-ml/patience_diff: Keyword 0.15.0 riscv, #892131 Signed-off-by: Yixun Lan gentoo.org> dev-ml/patience_diff/patience_diff-0.15.0.ebuild | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/dev-ml/patience_diff/patience_diff-0.15.0.ebuild b/dev-ml/patience_diff/patience_diff-0.15.0.ebuild index 8d612eb0d5f3..2e2bd78185f5 100644 --- a/dev-ml/patience_diff/patience_diff-0.15.0.ebuild +++ b/dev-ml/patience_diff/patience_diff-0.15.0.ebuild @@ -11,7 +11,7 @@ SRC_URI="https://github.com/janestreet/${PN}/archive/v${PV}.tar.gz -> ${P}.tar.g LICENSE="Apache-2.0" SLOT="0/$(ver_cut 1-2)" -KEYWORDS="~amd64" +KEYWORDS="~amd64 ~riscv" IUSE="+ocamlopt" RDEPEND="dev-ml/core:${SLOT}"
[gentoo-commits] repo/gentoo:master commit in: dev-ml/patience_diff/
commit: 340400eca498f3c5c7aa0bd7dccde0e43037230b Author: Sam James gentoo org> AuthorDate: Fri Jan 27 00:25:44 2023 + Commit: Sam James gentoo org> CommitDate: Fri Jan 27 00:28:29 2023 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=340400ec dev-ml/patience_diff: unkeyword 0.15.0 for ~riscv Signed-off-by: Sam James gentoo.org> dev-ml/patience_diff/patience_diff-0.15.0.ebuild | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/dev-ml/patience_diff/patience_diff-0.15.0.ebuild b/dev-ml/patience_diff/patience_diff-0.15.0.ebuild index 00760fb0e14f..8d612eb0d5f3 100644 --- a/dev-ml/patience_diff/patience_diff-0.15.0.ebuild +++ b/dev-ml/patience_diff/patience_diff-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=7 @@ -11,7 +11,7 @@ SRC_URI="https://github.com/janestreet/${PN}/archive/v${PV}.tar.gz -> ${P}.tar.g LICENSE="Apache-2.0" SLOT="0/$(ver_cut 1-2)" -KEYWORDS="~amd64 ~riscv" +KEYWORDS="~amd64" IUSE="+ocamlopt" RDEPEND="dev-ml/core:${SLOT}"
[gentoo-commits] repo/gentoo:master commit in: dev-ml/patience_diff/, profiles/
commit: 2d3d1c63e0db30a4b0d110f1821f6c442bcd91cc Author: Alfredo Tupone gentoo org> AuthorDate: Sun Jun 30 11:33:01 2024 + Commit: Alfredo Tupone gentoo org> CommitDate: Sun Jun 30 11:34:16 2024 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=2d3d1c63 dev-ml/patience_diff: add 0.16.0, 0.17.0 Signed-off-by: Alfredo Tupone gentoo.org> dev-ml/patience_diff/Manifest| 2 ++ dev-ml/patience_diff/patience_diff-0.16.0.ebuild | 23 +++ dev-ml/patience_diff/patience_diff-0.17.0.ebuild | 24 profiles/package.mask| 1 + 4 files changed, 50 insertions(+) diff --git a/dev-ml/patience_diff/Manifest b/dev-ml/patience_diff/Manifest index 746fe5ac6ac4..a459eb70c98b 100644 --- a/dev-ml/patience_diff/Manifest +++ b/dev-ml/patience_diff/Manifest @@ -1,2 +1,4 @@ DIST patience_diff-0.14.0.tar.gz 20060 BLAKE2B d47d9a93ef0a7eeada7f050aec0427f8352343609da1332de59d6b3ced41e9942556e1d61e12ab2075bc15cf29afc60191f48da43c1a4358d414352eb6efd044 SHA512 d253488402e515d56ed9d83ef45edfce378d6ad5148d80f8d81341cff28d19115350d72cc057ecd6c14b907888eca8e6bce1b8e71c7a978149979a16a5512fd2 DIST patience_diff-0.15.0.tar.gz 20434 BLAKE2B 52e0f1d3437f97d384224cd06035802376fe2af97c085e183f99934f6f8238270723505cda7c617b7847fa4d5f51abbfaa58cd25aac5f0eeb56b42559e91421a SHA512 d3cbf2b2fb8618cd3342abcb7beea110a93b0e8f6984f3becdf9066c717f6f7832f86a8fb72ac56c587cbd6e5abecf07c0b98d9ec1cb7a40bfb9d4a5b1de12ba +DIST patience_diff-0.16.0.tar.gz 22756 BLAKE2B 99f6d72359138732d2c523d0a14811925293e298e9090d276ad3fceda1793fa05f27e01c7c9e0084a1ea41fdb069142a687ddd614850b56f7b8536a0dc3f0649 SHA512 de3726e3d5df3bccb168ed600d3965f69e97eadce27022438660a6ea6ee87075268cc9bf8105ab35a049600408ddc780fd362fed4bbcfa69d36512463e0c37b1 +DIST patience_diff-0.17.0.tar.gz 24963 BLAKE2B 2e8e6240d2c5f7abc45dd605bb8bc850ed5fc43dcec5794837ac1973571ab9c3a283603080afb64326a969b470eaf2d5f2fdfdee52db41fa5f1640866b6a74a9 SHA512 e448fb843eb622532de89f964823261e9f9ddb0119ad6a311ac744a21fbfff4b6bc8cc0fae051431aa3a507b39f43f45614dd8d9703e1a693de95e1909a57f13 diff --git a/dev-ml/patience_diff/patience_diff-0.16.0.ebuild b/dev-ml/patience_diff/patience_diff-0.16.0.ebuild new file mode 100644 index ..e9f71f8e2b56 --- /dev/null +++ b/dev-ml/patience_diff/patience_diff-0.16.0.ebuild @@ -0,0 +1,23 @@ +# Copyright 1999-2024 Gentoo Authors +# Distributed under the terms of the GNU General Public License v2 + +EAPI=8 + +inherit dune + +DESCRIPTION="Tool and library implementing patience diff" +HOMEPAGE="https://github.com/janestreet/patience_diff"; +SRC_URI="https://github.com/janestreet/${PN}/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-lang/ocaml-4.14 + dev-ml/base:${SLOT}[ocamlopt?] + dev-ml/core:${SLOT}[ocamlopt?] + dev-ml/ppx_jane:${SLOT}[ocamlopt?] +" +DEPEND="${RDEPEND}" diff --git a/dev-ml/patience_diff/patience_diff-0.17.0.ebuild b/dev-ml/patience_diff/patience_diff-0.17.0.ebuild new file mode 100644 index ..2ff2a93f9dcf --- /dev/null +++ b/dev-ml/patience_diff/patience_diff-0.17.0.ebuild @@ -0,0 +1,24 @@ +# Copyright 1999-2024 Gentoo Authors +# Distributed under the terms of the GNU General Public License v2 + +EAPI=8 + +inherit dune + +DESCRIPTION="Tool and library implementing patience diff" +HOMEPAGE="https://github.com/janestreet/patience_diff"; +SRC_URI="https://github.com/janestreet/${PN}/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-lang/ocaml-5 + dev-ml/base:${SLOT}[ocamlopt?] + dev-ml/core:${SLOT}[ocamlopt?] + dev-ml/ppx_jane:${SLOT}[ocamlopt?] +" +DEPEND="${RDEPEND} + >=dev-ml/dune-3.11" diff --git a/profiles/package.mask b/profiles/package.mask index f112167fa5b0..0559fc89461f 100644 --- a/profiles/package.mask +++ b/profiles/package.mask @@ -427,6 +427,7 @@ dev-ml/async_log:0/0.17 dev-ml/textutils:0/0.17 dev-ml/async:0/0.17 >=dev-ml/labltk-8.06.14 +dev-ml/patience_diff:0/0.17 # Arthur Zamarin (2024-06-08) # EAPI=6, waiting for a version bump, not maintained for many years.