* [gentoo-commits] repo/gentoo:master commit in: dev-ml/ppx_tools/
@ 2021-10-15 3:43 Sam James
0 siblings, 0 replies; 27+ messages in thread
From: Sam James @ 2021-10-15 3:43 UTC (permalink / raw
To: gentoo-commits
commit: 0dcdb91ee5ac34e297918488f4e3c6a6cc4223e7
Author: Sam James <sam <AT> gentoo <DOT> org>
AuthorDate: Fri Oct 15 03:36:30 2021 +0000
Commit: Sam James <sam <AT> gentoo <DOT> org>
CommitDate: Fri Oct 15 03:36:30 2021 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=0dcdb91e
dev-ml/ppx_tools: depend on cppo
Closes: https://bugs.gentoo.org/795243
Signed-off-by: Sam James <sam <AT> gentoo.org>
dev-ml/ppx_tools/ppx_tools-6.3.ebuild | 2 ++
dev-ml/ppx_tools/ppx_tools-6.4.ebuild | 2 ++
2 files changed, 4 insertions(+)
diff --git a/dev-ml/ppx_tools/ppx_tools-6.3.ebuild b/dev-ml/ppx_tools/ppx_tools-6.3.ebuild
index b8a168bdfde..fa8079b62de 100644
--- a/dev-ml/ppx_tools/ppx_tools-6.3.ebuild
+++ b/dev-ml/ppx_tools/ppx_tools-6.3.ebuild
@@ -15,3 +15,5 @@ LICENSE="MIT"
SLOT="0/${PV}"
KEYWORDS="amd64 ~arm ~arm64 ~ppc ~ppc64 x86"
IUSE="+ocamlopt"
+
+BDEPEND="dev-ml/cppo"
diff --git a/dev-ml/ppx_tools/ppx_tools-6.4.ebuild b/dev-ml/ppx_tools/ppx_tools-6.4.ebuild
index 1d025b5dacd..b8c31373448 100644
--- a/dev-ml/ppx_tools/ppx_tools-6.4.ebuild
+++ b/dev-ml/ppx_tools/ppx_tools-6.4.ebuild
@@ -15,3 +15,5 @@ LICENSE="MIT"
SLOT="0/${PV}"
KEYWORDS="~amd64 ~arm ~arm64 ~ppc ~ppc64 ~x86"
IUSE="+ocamlopt"
+
+BDEPEND="dev-ml/cppo"
^ permalink raw reply related [flat|nested] 27+ messages in thread* [gentoo-commits] repo/gentoo:master commit in: dev-ml/ppx_tools/
@ 2023-01-28 13:26 Alfredo Tupone
0 siblings, 0 replies; 27+ messages in thread
From: Alfredo Tupone @ 2023-01-28 13:26 UTC (permalink / raw
To: gentoo-commits
commit: 7797d35c20f66ecfe4cb3c68dc9f1d528ed41e04
Author: Alfredo Tupone <tupone <AT> gentoo <DOT> org>
AuthorDate: Sat Jan 28 13:04:57 2023 +0000
Commit: Alfredo Tupone <tupone <AT> gentoo <DOT> org>
CommitDate: Sat Jan 28 13:25:09 2023 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=7797d35c
dev-ml/ppx_tools: add 6.6
Signed-off-by: Alfredo Tupone <tupone <AT> gentoo.org>
dev-ml/ppx_tools/Manifest | 1 +
dev-ml/ppx_tools/ppx_tools-6.6.ebuild | 21 +++++++++++++++++++++
2 files changed, 22 insertions(+)
diff --git a/dev-ml/ppx_tools/Manifest b/dev-ml/ppx_tools/Manifest
index f2ed5e6ef0a7..6c483ebb381e 100644
--- a/dev-ml/ppx_tools/Manifest
+++ b/dev-ml/ppx_tools/Manifest
@@ -2,3 +2,4 @@ DIST ppx_tools-6.2.tar.gz 46150 BLAKE2B f8af2a1eee81d5a1e73ac606ab79d285c8c22653
DIST ppx_tools-6.3.tar.gz 18811 BLAKE2B b1389dbe0c6fd855cafc8d64a9db550866317172909c2731f01acd412c6f8147f07e19a82d527187d0b211fca9eb2f2ad63bb53e8f375b0b8107c4e723710000 SHA512 6a88f6f877f49ea8736aeca60673a19c52d5104ad9e2a3e56db3f71cd557d39df9c709c4e678ccf10263ff1f3e0504f4676227bd05ceba1e0294453a988a736c
DIST ppx_tools-6.4.tar.gz 19051 BLAKE2B dcb3e5a4ca5dd6243cae013739b93c6fe100ca21ad56c46e284255977f4e6d4263ef8d937ed672939e5b31bbe0904dcb1d71105f49385ad5d43404b19a9fe2c6 SHA512 514aa283f6bee11bf257abec98a751c656db63203caa4caee5ce606bcdee75891441a794b0bac22e2ff2e5d2760cd39ffaa2fce6bb118155daf05175917e6e7c
DIST ppx_tools-6.5.tar.gz 19200 BLAKE2B 5cc847fcde8610ad37dbc7884e38869123a59d81549a2ae9e4e2b2a5525cff36fe3e1a31375090dff9b5179b0e12e46d25d54f3a4cefab8cb42de08bb4347691 SHA512 1dc3f62307690161fc7d9f54715918341429bbe13dd68744e9468b41ab7c15ec95cb865135d11c3e3edc6cfb02658b0c731ce1e7756267cf71143ea8e88318fe
+DIST ppx_tools-6.6.tar.gz 19265 BLAKE2B f4f89eeb314ad76c0337ed9c782ff2bf1473172a30ced4616ee35f34f8b25dd16aa0331fab48afd891a54eaf58599ed4c6730d4dd3ea7e462d967d8279b487c8 SHA512 7bbb9a8d9aaa68c54048fde383f7ba2499ac53bbc2d7e3ba907de342ea48ffded69acc2e4ca4c38c2b2b1004b5e004230988a36ad34a4b5361c2a3ad1f858a53
diff --git a/dev-ml/ppx_tools/ppx_tools-6.6.ebuild b/dev-ml/ppx_tools/ppx_tools-6.6.ebuild
new file mode 100644
index 000000000000..0716cf4a4310
--- /dev/null
+++ b/dev-ml/ppx_tools/ppx_tools-6.6.ebuild
@@ -0,0 +1,21 @@
+# Copyright 1999-2023 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+inherit dune
+
+MY_PV=$(ver_rs 2 '+')
+DESCRIPTION="Tools for authors of ppx rewriters"
+HOMEPAGE="https://github.com/alainfrisch/ppx_tools"
+SRC_URI="https://github.com/alainfrisch/ppx_tools/archive/${MY_PV}.tar.gz -> ${P}.tar.gz"
+S="${WORKDIR}/${PN}-$(ver_rs 2 '-')"
+
+LICENSE="MIT"
+SLOT="0/${PV}"
+KEYWORDS="~amd64 ~arm ~arm64 ~ppc ~ppc64 ~x86"
+IUSE="+ocamlopt"
+
+BDEPEND="
+ dev-ml/cppo
+"
^ permalink raw reply related [flat|nested] 27+ messages in thread* [gentoo-commits] repo/gentoo:master commit in: dev-ml/ppx_tools/
@ 2022-04-03 20:56 Alfredo Tupone
0 siblings, 0 replies; 27+ messages in thread
From: Alfredo Tupone @ 2022-04-03 20:56 UTC (permalink / raw
To: gentoo-commits
commit: 96866b391464cf42acd1348e85be6209754641c2
Author: Alfredo Tupone <tupone <AT> gentoo <DOT> org>
AuthorDate: Sun Apr 3 20:55:41 2022 +0000
Commit: Alfredo Tupone <tupone <AT> gentoo <DOT> org>
CommitDate: Sun Apr 3 20:55:41 2022 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=96866b39
dev-ml/ppx_tools: 6.5 bump
Closes: https://bugs.gentoo.org/836369
Package-Manager: Portage-3.0.30, Repoman-3.0.3
Signed-off-by: Alfredo Tupone <tupone <AT> gentoo.org>
dev-ml/ppx_tools/Manifest | 1 +
dev-ml/ppx_tools/ppx_tools-6.3.ebuild | 7 +++++--
dev-ml/ppx_tools/ppx_tools-6.4.ebuild | 7 +++++--
dev-ml/ppx_tools/{ppx_tools-6.4.ebuild => ppx_tools-6.5.ebuild} | 6 ++++--
4 files changed, 15 insertions(+), 6 deletions(-)
diff --git a/dev-ml/ppx_tools/Manifest b/dev-ml/ppx_tools/Manifest
index be9333053897..f2ed5e6ef0a7 100644
--- a/dev-ml/ppx_tools/Manifest
+++ b/dev-ml/ppx_tools/Manifest
@@ -1,3 +1,4 @@
DIST ppx_tools-6.2.tar.gz 46150 BLAKE2B f8af2a1eee81d5a1e73ac606ab79d285c8c226533bcf715ed22386aecfaf51260fb9a5075d270675f1b601cb174b68d8c85556f418031a7b6bda06c4376fe443 SHA512 fc3943c69901ef46843355c3482d5a1481d05ee94fb0a344ec04101059a02cbaa76fed5742cfae82730edf378f2e140d859a5cf590653f85359255d451f07dc8
DIST ppx_tools-6.3.tar.gz 18811 BLAKE2B b1389dbe0c6fd855cafc8d64a9db550866317172909c2731f01acd412c6f8147f07e19a82d527187d0b211fca9eb2f2ad63bb53e8f375b0b8107c4e723710000 SHA512 6a88f6f877f49ea8736aeca60673a19c52d5104ad9e2a3e56db3f71cd557d39df9c709c4e678ccf10263ff1f3e0504f4676227bd05ceba1e0294453a988a736c
DIST ppx_tools-6.4.tar.gz 19051 BLAKE2B dcb3e5a4ca5dd6243cae013739b93c6fe100ca21ad56c46e284255977f4e6d4263ef8d937ed672939e5b31bbe0904dcb1d71105f49385ad5d43404b19a9fe2c6 SHA512 514aa283f6bee11bf257abec98a751c656db63203caa4caee5ce606bcdee75891441a794b0bac22e2ff2e5d2760cd39ffaa2fce6bb118155daf05175917e6e7c
+DIST ppx_tools-6.5.tar.gz 19200 BLAKE2B 5cc847fcde8610ad37dbc7884e38869123a59d81549a2ae9e4e2b2a5525cff36fe3e1a31375090dff9b5179b0e12e46d25d54f3a4cefab8cb42de08bb4347691 SHA512 1dc3f62307690161fc7d9f54715918341429bbe13dd68744e9468b41ab7c15ec95cb865135d11c3e3edc6cfb02658b0c731ce1e7756267cf71143ea8e88318fe
diff --git a/dev-ml/ppx_tools/ppx_tools-6.3.ebuild b/dev-ml/ppx_tools/ppx_tools-6.3.ebuild
index fa8079b62de1..146dc4cea675 100644
--- a/dev-ml/ppx_tools/ppx_tools-6.3.ebuild
+++ b/dev-ml/ppx_tools/ppx_tools-6.3.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
@@ -16,4 +16,7 @@ SLOT="0/${PV}"
KEYWORDS="amd64 ~arm ~arm64 ~ppc ~ppc64 x86"
IUSE="+ocamlopt"
-BDEPEND="dev-ml/cppo"
+BDEPEND="
+ dev-ml/cppo
+ <dev-lang/ocaml-4.13.0
+"
diff --git a/dev-ml/ppx_tools/ppx_tools-6.4.ebuild b/dev-ml/ppx_tools/ppx_tools-6.4.ebuild
index b8c31373448b..34cc6727c583 100644
--- a/dev-ml/ppx_tools/ppx_tools-6.4.ebuild
+++ b/dev-ml/ppx_tools/ppx_tools-6.4.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
@@ -16,4 +16,7 @@ SLOT="0/${PV}"
KEYWORDS="~amd64 ~arm ~arm64 ~ppc ~ppc64 ~x86"
IUSE="+ocamlopt"
-BDEPEND="dev-ml/cppo"
+BDEPEND="
+ dev-ml/cppo
+ <dev-lang/ocaml-4.14.0
+"
diff --git a/dev-ml/ppx_tools/ppx_tools-6.4.ebuild b/dev-ml/ppx_tools/ppx_tools-6.5.ebuild
similarity index 87%
copy from dev-ml/ppx_tools/ppx_tools-6.4.ebuild
copy to dev-ml/ppx_tools/ppx_tools-6.5.ebuild
index b8c31373448b..374fa202c924 100644
--- a/dev-ml/ppx_tools/ppx_tools-6.4.ebuild
+++ b/dev-ml/ppx_tools/ppx_tools-6.5.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
@@ -16,4 +16,6 @@ SLOT="0/${PV}"
KEYWORDS="~amd64 ~arm ~arm64 ~ppc ~ppc64 ~x86"
IUSE="+ocamlopt"
-BDEPEND="dev-ml/cppo"
+BDEPEND="
+ dev-ml/cppo
+"
^ permalink raw reply related [flat|nested] 27+ messages in thread* [gentoo-commits] repo/gentoo:master commit in: dev-ml/ppx_tools/
@ 2021-10-06 1:02 Sam James
0 siblings, 0 replies; 27+ messages in thread
From: Sam James @ 2021-10-06 1:02 UTC (permalink / raw
To: gentoo-commits
commit: b4332acd0cdc7411a3bf7b6023ba68a611e2f79c
Author: Sam James <sam <AT> gentoo <DOT> org>
AuthorDate: Wed Oct 6 00:35:22 2021 +0000
Commit: Sam James <sam <AT> gentoo <DOT> org>
CommitDate: Wed Oct 6 01:00:52 2021 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=b4332acd
dev-ml/ppx_tools: add 6.4
Signed-off-by: Sam James <sam <AT> gentoo.org>
dev-ml/ppx_tools/Manifest | 1 +
dev-ml/ppx_tools/ppx_tools-6.4.ebuild | 17 +++++++++++++++++
2 files changed, 18 insertions(+)
diff --git a/dev-ml/ppx_tools/Manifest b/dev-ml/ppx_tools/Manifest
index 5963a560f3b..be933305389 100644
--- a/dev-ml/ppx_tools/Manifest
+++ b/dev-ml/ppx_tools/Manifest
@@ -1,2 +1,3 @@
DIST ppx_tools-6.2.tar.gz 46150 BLAKE2B f8af2a1eee81d5a1e73ac606ab79d285c8c226533bcf715ed22386aecfaf51260fb9a5075d270675f1b601cb174b68d8c85556f418031a7b6bda06c4376fe443 SHA512 fc3943c69901ef46843355c3482d5a1481d05ee94fb0a344ec04101059a02cbaa76fed5742cfae82730edf378f2e140d859a5cf590653f85359255d451f07dc8
DIST ppx_tools-6.3.tar.gz 18811 BLAKE2B b1389dbe0c6fd855cafc8d64a9db550866317172909c2731f01acd412c6f8147f07e19a82d527187d0b211fca9eb2f2ad63bb53e8f375b0b8107c4e723710000 SHA512 6a88f6f877f49ea8736aeca60673a19c52d5104ad9e2a3e56db3f71cd557d39df9c709c4e678ccf10263ff1f3e0504f4676227bd05ceba1e0294453a988a736c
+DIST ppx_tools-6.4.tar.gz 19051 BLAKE2B dcb3e5a4ca5dd6243cae013739b93c6fe100ca21ad56c46e284255977f4e6d4263ef8d937ed672939e5b31bbe0904dcb1d71105f49385ad5d43404b19a9fe2c6 SHA512 514aa283f6bee11bf257abec98a751c656db63203caa4caee5ce606bcdee75891441a794b0bac22e2ff2e5d2760cd39ffaa2fce6bb118155daf05175917e6e7c
diff --git a/dev-ml/ppx_tools/ppx_tools-6.4.ebuild b/dev-ml/ppx_tools/ppx_tools-6.4.ebuild
new file mode 100644
index 00000000000..1d025b5dacd
--- /dev/null
+++ b/dev-ml/ppx_tools/ppx_tools-6.4.ebuild
@@ -0,0 +1,17 @@
+# Copyright 1999-2021 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=7
+
+inherit dune
+
+MY_PV=$(ver_rs 2 '+')
+DESCRIPTION="Tools for authors of ppx rewriters"
+HOMEPAGE="https://github.com/alainfrisch/ppx_tools"
+SRC_URI="https://github.com/alainfrisch/ppx_tools/archive/${MY_PV}.tar.gz -> ${P}.tar.gz"
+S="${WORKDIR}/${PN}-$(ver_rs 2 '-')"
+
+LICENSE="MIT"
+SLOT="0/${PV}"
+KEYWORDS="~amd64 ~arm ~arm64 ~ppc ~ppc64 ~x86"
+IUSE="+ocamlopt"
^ permalink raw reply related [flat|nested] 27+ messages in thread* [gentoo-commits] repo/gentoo:master commit in: dev-ml/ppx_tools/
@ 2021-09-18 12:30 Agostino Sarubbo
0 siblings, 0 replies; 27+ messages in thread
From: Agostino Sarubbo @ 2021-09-18 12:30 UTC (permalink / raw
To: gentoo-commits
commit: 13debe7a0b27d9e7784633aad1f85153f7ebb4b9
Author: Agostino Sarubbo <ago <AT> gentoo <DOT> org>
AuthorDate: Sat Sep 18 12:30:25 2021 +0000
Commit: Agostino Sarubbo <ago <AT> gentoo <DOT> org>
CommitDate: Sat Sep 18 12:30:44 2021 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=13debe7a
dev-ml/ppx_tools: x86 stable wrt bug #813153
Package-Manager: Portage-3.0.20, Repoman-3.0.3
RepoMan-Options: --include-arches="x86"
Signed-off-by: Agostino Sarubbo <ago <AT> gentoo.org>
dev-ml/ppx_tools/ppx_tools-6.3.ebuild | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/dev-ml/ppx_tools/ppx_tools-6.3.ebuild b/dev-ml/ppx_tools/ppx_tools-6.3.ebuild
index 265be707bf1..b8a168bdfde 100644
--- a/dev-ml/ppx_tools/ppx_tools-6.3.ebuild
+++ b/dev-ml/ppx_tools/ppx_tools-6.3.ebuild
@@ -13,5 +13,5 @@ S="${WORKDIR}/${PN}-$(ver_rs 2 '-')"
LICENSE="MIT"
SLOT="0/${PV}"
-KEYWORDS="amd64 ~arm ~arm64 ~ppc ~ppc64 ~x86"
+KEYWORDS="amd64 ~arm ~arm64 ~ppc ~ppc64 x86"
IUSE="+ocamlopt"
^ permalink raw reply related [flat|nested] 27+ messages in thread* [gentoo-commits] repo/gentoo:master commit in: dev-ml/ppx_tools/
@ 2021-09-17 14:14 Agostino Sarubbo
0 siblings, 0 replies; 27+ messages in thread
From: Agostino Sarubbo @ 2021-09-17 14:14 UTC (permalink / raw
To: gentoo-commits
commit: b3e775d533fa422b41e9d0ccd1b3ccd684a545ef
Author: Agostino Sarubbo <ago <AT> gentoo <DOT> org>
AuthorDate: Fri Sep 17 14:14:24 2021 +0000
Commit: Agostino Sarubbo <ago <AT> gentoo <DOT> org>
CommitDate: Fri Sep 17 14:14:24 2021 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=b3e775d5
dev-ml/ppx_tools: amd64 stable wrt bug #813153
Package-Manager: Portage-3.0.20, Repoman-3.0.3
RepoMan-Options: --include-arches="amd64"
Signed-off-by: Agostino Sarubbo <ago <AT> gentoo.org>
dev-ml/ppx_tools/ppx_tools-6.3.ebuild | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/dev-ml/ppx_tools/ppx_tools-6.3.ebuild b/dev-ml/ppx_tools/ppx_tools-6.3.ebuild
index 1d025b5dacd..265be707bf1 100644
--- a/dev-ml/ppx_tools/ppx_tools-6.3.ebuild
+++ b/dev-ml/ppx_tools/ppx_tools-6.3.ebuild
@@ -13,5 +13,5 @@ S="${WORKDIR}/${PN}-$(ver_rs 2 '-')"
LICENSE="MIT"
SLOT="0/${PV}"
-KEYWORDS="~amd64 ~arm ~arm64 ~ppc ~ppc64 ~x86"
+KEYWORDS="amd64 ~arm ~arm64 ~ppc ~ppc64 ~x86"
IUSE="+ocamlopt"
^ permalink raw reply related [flat|nested] 27+ messages in thread* [gentoo-commits] repo/gentoo:master commit in: dev-ml/ppx_tools/
@ 2021-09-14 20:23 Alfredo Tupone
0 siblings, 0 replies; 27+ messages in thread
From: Alfredo Tupone @ 2021-09-14 20:23 UTC (permalink / raw
To: gentoo-commits
commit: d8c45e407a60b1f978ca162c1eb0b002eb2f9616
Author: Alfredo Tupone <tupone <AT> gentoo <DOT> org>
AuthorDate: Tue Sep 14 20:23:32 2021 +0000
Commit: Alfredo Tupone <tupone <AT> gentoo <DOT> org>
CommitDate: Tue Sep 14 20:23:32 2021 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=d8c45e40
dev-ml/ppx_tools: ml maintains it
Package-Manager: Portage-3.0.20, Repoman-3.0.3
Signed-off-by: Alfredo Tupone <tupone <AT> gentoo.org>
dev-ml/ppx_tools/metadata.xml | 4 ++++
1 file changed, 4 insertions(+)
diff --git a/dev-ml/ppx_tools/metadata.xml b/dev-ml/ppx_tools/metadata.xml
index 7548995f8c2..3bce000f5f8 100644
--- a/dev-ml/ppx_tools/metadata.xml
+++ b/dev-ml/ppx_tools/metadata.xml
@@ -1,6 +1,10 @@
<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd">
<pkgmetadata>
+ <maintainer type="project">
+ <email>ml@gentoo.org</email>
+ <name>ML</name>
+ </maintainer>
<maintainer type="person">
<email>gienah@gentoo.org</email>
<name>Mark Wright</name>
^ permalink raw reply related [flat|nested] 27+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: dev-ml/ppx_tools/
@ 2021-06-09 21:48 Sam James
0 siblings, 0 replies; 27+ messages in thread
From: Sam James @ 2021-06-09 21:48 UTC (permalink / raw
To: gentoo-commits
commit: ab70179e6daf7d1b62ac54cfd268abba5a016da5
Author: Sam James <sam <AT> gentoo <DOT> org>
AuthorDate: Wed Jun 9 21:47:47 2021 +0000
Commit: Sam James <sam <AT> gentoo <DOT> org>
CommitDate: Wed Jun 9 21:47:47 2021 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=ab70179e
dev-ml/ppx_tools: add 6.3
Closes: https://bugs.gentoo.org/795039
Signed-off-by: Sam James <sam <AT> gentoo.org>
dev-ml/ppx_tools/Manifest | 1 +
dev-ml/ppx_tools/ppx_tools-6.3.ebuild | 17 +++++++++++++++++
2 files changed, 18 insertions(+)
diff --git a/dev-ml/ppx_tools/Manifest b/dev-ml/ppx_tools/Manifest
index 53e54129a94..5963a560f3b 100644
--- a/dev-ml/ppx_tools/Manifest
+++ b/dev-ml/ppx_tools/Manifest
@@ -1 +1,2 @@
DIST ppx_tools-6.2.tar.gz 46150 BLAKE2B f8af2a1eee81d5a1e73ac606ab79d285c8c226533bcf715ed22386aecfaf51260fb9a5075d270675f1b601cb174b68d8c85556f418031a7b6bda06c4376fe443 SHA512 fc3943c69901ef46843355c3482d5a1481d05ee94fb0a344ec04101059a02cbaa76fed5742cfae82730edf378f2e140d859a5cf590653f85359255d451f07dc8
+DIST ppx_tools-6.3.tar.gz 18811 BLAKE2B b1389dbe0c6fd855cafc8d64a9db550866317172909c2731f01acd412c6f8147f07e19a82d527187d0b211fca9eb2f2ad63bb53e8f375b0b8107c4e723710000 SHA512 6a88f6f877f49ea8736aeca60673a19c52d5104ad9e2a3e56db3f71cd557d39df9c709c4e678ccf10263ff1f3e0504f4676227bd05ceba1e0294453a988a736c
diff --git a/dev-ml/ppx_tools/ppx_tools-6.3.ebuild b/dev-ml/ppx_tools/ppx_tools-6.3.ebuild
new file mode 100644
index 00000000000..1d025b5dacd
--- /dev/null
+++ b/dev-ml/ppx_tools/ppx_tools-6.3.ebuild
@@ -0,0 +1,17 @@
+# Copyright 1999-2021 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=7
+
+inherit dune
+
+MY_PV=$(ver_rs 2 '+')
+DESCRIPTION="Tools for authors of ppx rewriters"
+HOMEPAGE="https://github.com/alainfrisch/ppx_tools"
+SRC_URI="https://github.com/alainfrisch/ppx_tools/archive/${MY_PV}.tar.gz -> ${P}.tar.gz"
+S="${WORKDIR}/${PN}-$(ver_rs 2 '-')"
+
+LICENSE="MIT"
+SLOT="0/${PV}"
+KEYWORDS="~amd64 ~arm ~arm64 ~ppc ~ppc64 ~x86"
+IUSE="+ocamlopt"
^ permalink raw reply related [flat|nested] 27+ messages in thread* [gentoo-commits] repo/gentoo:master commit in: dev-ml/ppx_tools/
@ 2021-06-09 21:48 Sam James
0 siblings, 0 replies; 27+ messages in thread
From: Sam James @ 2021-06-09 21:48 UTC (permalink / raw
To: gentoo-commits
commit: 431ced85b124ba5ee43b9b16cdd918d9502806ed
Author: Sam James <sam <AT> gentoo <DOT> org>
AuthorDate: Wed Jun 9 21:48:19 2021 +0000
Commit: Sam James <sam <AT> gentoo <DOT> org>
CommitDate: Wed Jun 9 21:48:19 2021 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=431ced85
dev-ml/ppx_tools: require < OCaml 4.12 for older ppx_tools
Bug: https://bugs.gentoo.org/795039
Signed-off-by: Sam James <sam <AT> gentoo.org>
dev-ml/ppx_tools/ppx_tools-6.2.ebuild | 7 +++----
1 file changed, 3 insertions(+), 4 deletions(-)
diff --git a/dev-ml/ppx_tools/ppx_tools-6.2.ebuild b/dev-ml/ppx_tools/ppx_tools-6.2.ebuild
index 9ae7a218438..79491ecf97b 100644
--- a/dev-ml/ppx_tools/ppx_tools-6.2.ebuild
+++ b/dev-ml/ppx_tools/ppx_tools-6.2.ebuild
@@ -1,4 +1,4 @@
-# Copyright 1999-2020 Gentoo Authors
+# Copyright 1999-2021 Gentoo Authors
# Distributed under the terms of the GNU General Public License v2
EAPI=7
@@ -9,12 +9,11 @@ MY_PV=$(ver_rs 2 '+')
DESCRIPTION="Tools for authors of ppx rewriters"
HOMEPAGE="https://github.com/alainfrisch/ppx_tools"
SRC_URI="https://github.com/alainfrisch/ppx_tools/archive/${MY_PV}.tar.gz -> ${P}.tar.gz"
+S="${WORKDIR}/${PN}-$(ver_rs 2 '-')"
LICENSE="MIT"
SLOT="0/${PV}"
KEYWORDS="~amd64 ~arm ~arm64 ~ppc ~ppc64 ~x86"
IUSE="+ocamlopt"
-DEPEND=""
-RDEPEND="${DEPEND}"
-S="${WORKDIR}/${PN}-$(ver_rs 2 '-')"
+BDEPEND="<dev-lang/ocaml-4.12.0"
^ permalink raw reply related [flat|nested] 27+ messages in thread* [gentoo-commits] repo/gentoo:master commit in: dev-ml/ppx_tools/
@ 2020-12-02 17:46 Aaron Bauman
0 siblings, 0 replies; 27+ messages in thread
From: Aaron Bauman @ 2020-12-02 17:46 UTC (permalink / raw
To: gentoo-commits
commit: a665381ca5fde3d2c4b22a6b9c6f5ecb31264c3b
Author: Aaron Bauman <bman <AT> gentoo <DOT> org>
AuthorDate: Wed Dec 2 17:42:27 2020 +0000
Commit: Aaron Bauman <bman <AT> gentoo <DOT> org>
CommitDate: Wed Dec 2 17:45:56 2020 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=a665381c
dev-ml/ppx_tools: drop old
Signed-off-by: Aaron Bauman <bman <AT> gentoo.org>
dev-ml/ppx_tools/Manifest | 3 ---
dev-ml/ppx_tools/ppx_tools-5.0.4.03.0.ebuild | 33 ----------------------------
dev-ml/ppx_tools/ppx_tools-5.0.4.05.0.ebuild | 29 ------------------------
dev-ml/ppx_tools/ppx_tools-5.3.4.08.0.ebuild | 29 ------------------------
4 files changed, 94 deletions(-)
diff --git a/dev-ml/ppx_tools/Manifest b/dev-ml/ppx_tools/Manifest
index 6db93e61919..53e54129a94 100644
--- a/dev-ml/ppx_tools/Manifest
+++ b/dev-ml/ppx_tools/Manifest
@@ -1,4 +1 @@
-DIST ppx_tools-5.0.4.03.0.tar.gz 17209 BLAKE2B bd51e5b2482a9eab09bf9a02ac0231fa7bbc721d54a932e6cfdc1d719c106eca0fe90563b636601110e796fab439f6c6d7fccd5d2920f5bcb3c115f622d90381 SHA512 d1867b084885704757f390b6f6ca8b5d7702f0476149d99ea227f98230ab35d57f5c4aa779881231a0a77cfd1861255118fa2551a49ab85553f63e9aab9baae4
-DIST ppx_tools-5.0.4.05.0.tar.gz 17893 BLAKE2B 0902f53ef19338396cf2a2319a4c2d4b7bbbfb66bbfd0fb2290c29ecebcda02ff90d2f0d0221b08d027c41c863c2bc0a02c50363d83474864c08e619641b7ad6 SHA512 33b4420500a2b5880e770f8fdf2b37ef08e52ff84f96f955c6321492de906568979feccb1b2b477b1117619ba28edd8d3e0f178c5684f0dc43c6ed56266c4d64
-DIST ppx_tools-5.3.4.08.0.tar.gz 18590 BLAKE2B fac872d113ab1bf9135357dea47d468924e16a1a038b64152d5ebb27daa69a8c2d906750146157954f4d95769535f4a93c1ecc9582ca0313d601a06606196c00 SHA512 817e2688d60f013fa42ffa263cfcc15cfae820240d2e54dfedf1f4a4191f9b9fc365a190cc7eeb9082ed72fbf3c94d6ba72c38c7db3e2bcac49a17ba590d71b5
DIST ppx_tools-6.2.tar.gz 46150 BLAKE2B f8af2a1eee81d5a1e73ac606ab79d285c8c226533bcf715ed22386aecfaf51260fb9a5075d270675f1b601cb174b68d8c85556f418031a7b6bda06c4376fe443 SHA512 fc3943c69901ef46843355c3482d5a1481d05ee94fb0a344ec04101059a02cbaa76fed5742cfae82730edf378f2e140d859a5cf590653f85359255d451f07dc8
diff --git a/dev-ml/ppx_tools/ppx_tools-5.0.4.03.0.ebuild b/dev-ml/ppx_tools/ppx_tools-5.0.4.03.0.ebuild
deleted file mode 100644
index d0acc2b9fac..00000000000
--- a/dev-ml/ppx_tools/ppx_tools-5.0.4.03.0.ebuild
+++ /dev/null
@@ -1,33 +0,0 @@
-# Copyright 1999-2020 Gentoo Authors
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI=5
-
-inherit findlib versionator eutils
-
-MY_PV=$(replace_version_separator 2 '+')
-DESCRIPTION="Tools for authors of ppx rewriters"
-HOMEPAGE="https://github.com/alainfrisch/ppx_tools"
-SRC_URI="https://github.com/alainfrisch/ppx_tools/archive/${MY_PV}.tar.gz -> ${P}.tar.gz"
-
-LICENSE="MIT"
-SLOT="0/${PV}"
-KEYWORDS="~amd64 ~arm ~arm64 ~ppc ~x86"
-IUSE="+ocamlopt"
-
-DEPEND="<dev-lang/ocaml-4.09:=[ocamlopt?]"
-RDEPEND="${DEPEND}"
-S="${WORKDIR}/${PN}-$(replace_version_separator 2 '-')"
-
-src_prepare() {
- has_version '>=dev-lang/ocaml-4.04_beta' && epatch "${FILESDIR}/ocaml404.patch"
-}
-
-src_compile() {
- emake -j1 $(usex ocamlopt "" "ARCH=none")
-}
-
-src_install() {
- findlib_src_install
- dodoc README.md
-}
diff --git a/dev-ml/ppx_tools/ppx_tools-5.0.4.05.0.ebuild b/dev-ml/ppx_tools/ppx_tools-5.0.4.05.0.ebuild
deleted file mode 100644
index c2a93387105..00000000000
--- a/dev-ml/ppx_tools/ppx_tools-5.0.4.05.0.ebuild
+++ /dev/null
@@ -1,29 +0,0 @@
-# Copyright 1999-2020 Gentoo Authors
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI=5
-
-inherit findlib versionator eutils
-
-MY_PV=$(replace_version_separator 2 '+')
-DESCRIPTION="Tools for authors of ppx rewriters"
-HOMEPAGE="https://github.com/alainfrisch/ppx_tools"
-SRC_URI="https://github.com/alainfrisch/ppx_tools/archive/${MY_PV}.tar.gz -> ${P}.tar.gz"
-
-LICENSE="MIT"
-SLOT="0/${PV}"
-KEYWORDS="~amd64 ~arm ~arm64 ~ppc ~x86"
-IUSE="+ocamlopt"
-
-DEPEND="=dev-lang/ocaml-4.05*:=[ocamlopt?]"
-RDEPEND="${DEPEND}"
-S="${WORKDIR}/${PN}-$(replace_version_separator 2 '-')"
-
-src_compile() {
- emake -j1 $(usex ocamlopt "" "ARCH=none")
-}
-
-src_install() {
- findlib_src_install
- dodoc README.md
-}
diff --git a/dev-ml/ppx_tools/ppx_tools-5.3.4.08.0.ebuild b/dev-ml/ppx_tools/ppx_tools-5.3.4.08.0.ebuild
deleted file mode 100644
index 7e9d0206f34..00000000000
--- a/dev-ml/ppx_tools/ppx_tools-5.3.4.08.0.ebuild
+++ /dev/null
@@ -1,29 +0,0 @@
-# Copyright 1999-2020 Gentoo Authors
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI=7
-
-inherit findlib eutils
-
-MY_PV=$(ver_rs 2 '+')
-DESCRIPTION="Tools for authors of ppx rewriters"
-HOMEPAGE="https://github.com/alainfrisch/ppx_tools"
-SRC_URI="https://github.com/alainfrisch/ppx_tools/archive/${MY_PV}.tar.gz -> ${P}.tar.gz"
-
-LICENSE="MIT"
-SLOT="0/${PV}"
-KEYWORDS="~amd64 ~arm ~arm64 ~ppc ~x86"
-IUSE="+ocamlopt"
-
-DEPEND="dev-lang/ocaml:=[ocamlopt?]"
-RDEPEND="${DEPEND}"
-S="${WORKDIR}/${PN}-$(ver_rs 2 '-')"
-
-src_compile() {
- emake -j1 $(usex ocamlopt "" "ARCH=none")
-}
-
-src_install() {
- findlib_src_install
- dodoc README.md
-}
^ permalink raw reply related [flat|nested] 27+ messages in thread* [gentoo-commits] repo/gentoo:master commit in: dev-ml/ppx_tools/
@ 2020-02-09 22:16 Miroslav Šulc
0 siblings, 0 replies; 27+ messages in thread
From: Miroslav Šulc @ 2020-02-09 22:16 UTC (permalink / raw
To: gentoo-commits
commit: b84e7cc0f017d4c72cef9ad9b5157dca7ee679da
Author: Miroslav Šulc <fordfrog <AT> gentoo <DOT> org>
AuthorDate: Sun Feb 9 22:14:52 2020 +0000
Commit: Miroslav Šulc <fordfrog <AT> gentoo <DOT> org>
CommitDate: Sun Feb 9 22:16:48 2020 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=b84e7cc0
dev-ml/ppx_tools: bumped to 5.3.4.08.0 + eapi7
Bug: https://bugs.gentoo.org/708696
Package-Manager: Portage-2.3.88, Repoman-2.3.20
Signed-off-by: Miroslav Šulc <fordfrog <AT> gentoo.org>
dev-ml/ppx_tools/Manifest | 1 +
dev-ml/ppx_tools/ppx_tools-5.3.4.08.0.ebuild | 29 ++++++++++++++++++++++++++++
2 files changed, 30 insertions(+)
diff --git a/dev-ml/ppx_tools/Manifest b/dev-ml/ppx_tools/Manifest
index 4c5a9570e8e..ee595bfd62d 100644
--- a/dev-ml/ppx_tools/Manifest
+++ b/dev-ml/ppx_tools/Manifest
@@ -1,2 +1,3 @@
DIST ppx_tools-5.0.4.03.0.tar.gz 17209 BLAKE2B bd51e5b2482a9eab09bf9a02ac0231fa7bbc721d54a932e6cfdc1d719c106eca0fe90563b636601110e796fab439f6c6d7fccd5d2920f5bcb3c115f622d90381 SHA512 d1867b084885704757f390b6f6ca8b5d7702f0476149d99ea227f98230ab35d57f5c4aa779881231a0a77cfd1861255118fa2551a49ab85553f63e9aab9baae4
DIST ppx_tools-5.0.4.05.0.tar.gz 17893 BLAKE2B 0902f53ef19338396cf2a2319a4c2d4b7bbbfb66bbfd0fb2290c29ecebcda02ff90d2f0d0221b08d027c41c863c2bc0a02c50363d83474864c08e619641b7ad6 SHA512 33b4420500a2b5880e770f8fdf2b37ef08e52ff84f96f955c6321492de906568979feccb1b2b477b1117619ba28edd8d3e0f178c5684f0dc43c6ed56266c4d64
+DIST ppx_tools-5.3.4.08.0.tar.gz 18590 BLAKE2B fac872d113ab1bf9135357dea47d468924e16a1a038b64152d5ebb27daa69a8c2d906750146157954f4d95769535f4a93c1ecc9582ca0313d601a06606196c00 SHA512 817e2688d60f013fa42ffa263cfcc15cfae820240d2e54dfedf1f4a4191f9b9fc365a190cc7eeb9082ed72fbf3c94d6ba72c38c7db3e2bcac49a17ba590d71b5
diff --git a/dev-ml/ppx_tools/ppx_tools-5.3.4.08.0.ebuild b/dev-ml/ppx_tools/ppx_tools-5.3.4.08.0.ebuild
new file mode 100644
index 00000000000..7e9d0206f34
--- /dev/null
+++ b/dev-ml/ppx_tools/ppx_tools-5.3.4.08.0.ebuild
@@ -0,0 +1,29 @@
+# Copyright 1999-2020 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=7
+
+inherit findlib eutils
+
+MY_PV=$(ver_rs 2 '+')
+DESCRIPTION="Tools for authors of ppx rewriters"
+HOMEPAGE="https://github.com/alainfrisch/ppx_tools"
+SRC_URI="https://github.com/alainfrisch/ppx_tools/archive/${MY_PV}.tar.gz -> ${P}.tar.gz"
+
+LICENSE="MIT"
+SLOT="0/${PV}"
+KEYWORDS="~amd64 ~arm ~arm64 ~ppc ~x86"
+IUSE="+ocamlopt"
+
+DEPEND="dev-lang/ocaml:=[ocamlopt?]"
+RDEPEND="${DEPEND}"
+S="${WORKDIR}/${PN}-$(ver_rs 2 '-')"
+
+src_compile() {
+ emake -j1 $(usex ocamlopt "" "ARCH=none")
+}
+
+src_install() {
+ findlib_src_install
+ dodoc README.md
+}
^ permalink raw reply related [flat|nested] 27+ messages in thread* [gentoo-commits] repo/gentoo:master commit in: dev-ml/ppx_tools/
@ 2020-02-09 21:36 Miroslav Šulc
0 siblings, 0 replies; 27+ messages in thread
From: Miroslav Šulc @ 2020-02-09 21:36 UTC (permalink / raw
To: gentoo-commits
commit: 8a06926472246a298d761679a1e200b4a0721c6d
Author: Miroslav Šulc <fordfrog <AT> gentoo <DOT> org>
AuthorDate: Sun Feb 9 21:35:53 2020 +0000
Commit: Miroslav Šulc <fordfrog <AT> gentoo <DOT> org>
CommitDate: Sun Feb 9 21:36:11 2020 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=8a069264
dev-ml/ppx_tools: doesn't compile with ocaml-4.09
Bug: https://bugs.gentoo.org/708696
Package-Manager: Portage-2.3.88, Repoman-2.3.20
Signed-off-by: Miroslav Šulc <fordfrog <AT> gentoo.org>
dev-ml/ppx_tools/ppx_tools-5.0.4.03.0.ebuild | 4 ++--
dev-ml/ppx_tools/ppx_tools-5.0.4.05.0.ebuild | 4 ++--
2 files changed, 4 insertions(+), 4 deletions(-)
diff --git a/dev-ml/ppx_tools/ppx_tools-5.0.4.03.0.ebuild b/dev-ml/ppx_tools/ppx_tools-5.0.4.03.0.ebuild
index 3b440d54aeb..d0acc2b9fac 100644
--- a/dev-ml/ppx_tools/ppx_tools-5.0.4.03.0.ebuild
+++ b/dev-ml/ppx_tools/ppx_tools-5.0.4.03.0.ebuild
@@ -1,4 +1,4 @@
-# Copyright 1999-2018 Gentoo Foundation
+# Copyright 1999-2020 Gentoo Authors
# Distributed under the terms of the GNU General Public License v2
EAPI=5
@@ -15,7 +15,7 @@ SLOT="0/${PV}"
KEYWORDS="~amd64 ~arm ~arm64 ~ppc ~x86"
IUSE="+ocamlopt"
-DEPEND=">=dev-lang/ocaml-4.03.0:=[ocamlopt?]"
+DEPEND="<dev-lang/ocaml-4.09:=[ocamlopt?]"
RDEPEND="${DEPEND}"
S="${WORKDIR}/${PN}-$(replace_version_separator 2 '-')"
diff --git a/dev-ml/ppx_tools/ppx_tools-5.0.4.05.0.ebuild b/dev-ml/ppx_tools/ppx_tools-5.0.4.05.0.ebuild
index 28e7b0d5bb5..c2a93387105 100644
--- a/dev-ml/ppx_tools/ppx_tools-5.0.4.05.0.ebuild
+++ b/dev-ml/ppx_tools/ppx_tools-5.0.4.05.0.ebuild
@@ -1,4 +1,4 @@
-# Copyright 1999-2018 Gentoo Foundation
+# Copyright 1999-2020 Gentoo Authors
# Distributed under the terms of the GNU General Public License v2
EAPI=5
@@ -15,7 +15,7 @@ SLOT="0/${PV}"
KEYWORDS="~amd64 ~arm ~arm64 ~ppc ~x86"
IUSE="+ocamlopt"
-DEPEND=">=dev-lang/ocaml-4.05_beta:=[ocamlopt?]"
+DEPEND="=dev-lang/ocaml-4.05*:=[ocamlopt?]"
RDEPEND="${DEPEND}"
S="${WORKDIR}/${PN}-$(replace_version_separator 2 '-')"
^ permalink raw reply related [flat|nested] 27+ messages in thread* [gentoo-commits] repo/gentoo:master commit in: dev-ml/ppx_tools/
@ 2018-02-11 21:56 Thomas Deutschmann
0 siblings, 0 replies; 27+ messages in thread
From: Thomas Deutschmann @ 2018-02-11 21:56 UTC (permalink / raw
To: gentoo-commits
commit: b0a9fe5c0f4500213021b7e778bbc3b7eb5c3f94
Author: Thomas Deutschmann <whissi <AT> gentoo <DOT> org>
AuthorDate: Sun Feb 11 21:45:58 2018 +0000
Commit: Thomas Deutschmann <whissi <AT> gentoo <DOT> org>
CommitDate: Sun Feb 11 21:56:02 2018 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=b0a9fe5c
dev-ml/ppx_tools: x86 keyworded (bug #611014)
Package-Manager: Portage-2.3.24, Repoman-2.3.6
dev-ml/ppx_tools/ppx_tools-5.0.4.03.0.ebuild | 4 ++--
dev-ml/ppx_tools/ppx_tools-5.0.4.05.0.ebuild | 4 ++--
2 files changed, 4 insertions(+), 4 deletions(-)
diff --git a/dev-ml/ppx_tools/ppx_tools-5.0.4.03.0.ebuild b/dev-ml/ppx_tools/ppx_tools-5.0.4.03.0.ebuild
index b77cef7d6d7..3b440d54aeb 100644
--- a/dev-ml/ppx_tools/ppx_tools-5.0.4.03.0.ebuild
+++ b/dev-ml/ppx_tools/ppx_tools-5.0.4.03.0.ebuild
@@ -1,4 +1,4 @@
-# Copyright 1999-2017 Gentoo Foundation
+# Copyright 1999-2018 Gentoo Foundation
# Distributed under the terms of the GNU General Public License v2
EAPI=5
@@ -12,7 +12,7 @@ SRC_URI="https://github.com/alainfrisch/ppx_tools/archive/${MY_PV}.tar.gz -> ${P
LICENSE="MIT"
SLOT="0/${PV}"
-KEYWORDS="~amd64 ~arm ~arm64 ~ppc"
+KEYWORDS="~amd64 ~arm ~arm64 ~ppc ~x86"
IUSE="+ocamlopt"
DEPEND=">=dev-lang/ocaml-4.03.0:=[ocamlopt?]"
diff --git a/dev-ml/ppx_tools/ppx_tools-5.0.4.05.0.ebuild b/dev-ml/ppx_tools/ppx_tools-5.0.4.05.0.ebuild
index 2ec6b114e82..28e7b0d5bb5 100644
--- a/dev-ml/ppx_tools/ppx_tools-5.0.4.05.0.ebuild
+++ b/dev-ml/ppx_tools/ppx_tools-5.0.4.05.0.ebuild
@@ -1,4 +1,4 @@
-# Copyright 1999-2017 Gentoo Foundation
+# Copyright 1999-2018 Gentoo Foundation
# Distributed under the terms of the GNU General Public License v2
EAPI=5
@@ -12,7 +12,7 @@ SRC_URI="https://github.com/alainfrisch/ppx_tools/archive/${MY_PV}.tar.gz -> ${P
LICENSE="MIT"
SLOT="0/${PV}"
-KEYWORDS="~amd64 ~arm ~arm64 ~ppc"
+KEYWORDS="~amd64 ~arm ~arm64 ~ppc ~x86"
IUSE="+ocamlopt"
DEPEND=">=dev-lang/ocaml-4.05_beta:=[ocamlopt?]"
^ permalink raw reply related [flat|nested] 27+ messages in thread* [gentoo-commits] repo/gentoo:master commit in: dev-ml/ppx_tools/
@ 2017-11-04 9:53 Alexis Ballier
0 siblings, 0 replies; 27+ messages in thread
From: Alexis Ballier @ 2017-11-04 9:53 UTC (permalink / raw
To: gentoo-commits
commit: b84bc00870122a2e700fce0e1e5a5a1e25f844c1
Author: Alexis Ballier <aballier <AT> gentoo <DOT> org>
AuthorDate: Tue Oct 31 12:59:39 2017 +0000
Commit: Alexis Ballier <aballier <AT> gentoo <DOT> org>
CommitDate: Sat Nov 4 09:37:09 2017 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=b84bc008
dev-ml/ppx_tools: bump to 5.1.4.06.0
Package-Manager: Portage-2.3.13, Repoman-2.3.4
dev-ml/ppx_tools/Manifest | 1 +
dev-ml/ppx_tools/ppx_tools-5.1.4.06.0.ebuild | 29 ++++++++++++++++++++++++++++
2 files changed, 30 insertions(+)
diff --git a/dev-ml/ppx_tools/Manifest b/dev-ml/ppx_tools/Manifest
index d36a23baee7..afa0042d749 100644
--- a/dev-ml/ppx_tools/Manifest
+++ b/dev-ml/ppx_tools/Manifest
@@ -1,2 +1,3 @@
DIST ppx_tools-5.0.4.03.0.tar.gz 17209 SHA256 2cd990ef36145c35b0fd2cfaadc379cf032dd0987c07bea094d4437277d573e5 SHA512 d1867b084885704757f390b6f6ca8b5d7702f0476149d99ea227f98230ab35d57f5c4aa779881231a0a77cfd1861255118fa2551a49ab85553f63e9aab9baae4 WHIRLPOOL a74a30397ec858d3be478c85d7e4b54f065e35d6a95b95cca0a49049eb167e23892088620d9cdb59d81b598be0ebe3a1be123928768e21186f710ad81a5b8118
DIST ppx_tools-5.0.4.05.0.tar.gz 17893 SHA256 031e05e2f98fd77a412cff00f19262e186b0c8a1804fece06d2af05e37a563b7 SHA512 33b4420500a2b5880e770f8fdf2b37ef08e52ff84f96f955c6321492de906568979feccb1b2b477b1117619ba28edd8d3e0f178c5684f0dc43c6ed56266c4d64 WHIRLPOOL a48ed77f05d7cc52fa40a4a017b689c34695bf267b74dd438a7da7d1c30a5709de6e01a1dffaa110086b5ed410689189fee45686502a6a0d70de71be9a8b1d86
+DIST ppx_tools-5.1.4.06.0.tar.gz 17943 SHA256 413e01444bdef2c4a231ddb1281b29bbc7b0c4bd780b7da47d9255b193bfcc56 SHA512 9adab758f2e68f155775559ed6568b1c3338d03291a27108b7e47a4fc5bbe65c6451c9bb90fc3270b62148213dfcc30b709b6a95e99d218884f915b48ecda9ff WHIRLPOOL 712c0a69a5759d381059bd855e311efebdbea9b20bf177d92ae11cbd5ad415ab4152f40ee424cd92bb659c934c22bc8a0bd4d6e1606d764c8f72d0d33610f0dc
diff --git a/dev-ml/ppx_tools/ppx_tools-5.1.4.06.0.ebuild b/dev-ml/ppx_tools/ppx_tools-5.1.4.06.0.ebuild
new file mode 100644
index 00000000000..1762b0c0648
--- /dev/null
+++ b/dev-ml/ppx_tools/ppx_tools-5.1.4.06.0.ebuild
@@ -0,0 +1,29 @@
+# Copyright 1999-2017 Gentoo Foundation
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=5
+
+inherit findlib versionator eutils
+
+MY_PV=$(replace_version_separator 2 '+')
+DESCRIPTION="Tools for authors of ppx rewriters"
+HOMEPAGE="https://github.com/alainfrisch/ppx_tools"
+SRC_URI="https://github.com/alainfrisch/ppx_tools/archive/${MY_PV}.tar.gz -> ${P}.tar.gz"
+
+LICENSE="MIT"
+SLOT="0/${PV}"
+KEYWORDS="~amd64 ~arm ~arm64 ~ppc"
+IUSE="+ocamlopt"
+
+DEPEND=">=dev-lang/ocaml-4.06_beta:=[ocamlopt?]"
+RDEPEND="${DEPEND}"
+S="${WORKDIR}/${PN}-$(replace_version_separator 2 '-')"
+
+src_compile() {
+ emake -j1 $(usex ocamlopt "" "ARCH=none")
+}
+
+src_install() {
+ findlib_src_install
+ dodoc README.md
+}
^ permalink raw reply related [flat|nested] 27+ messages in thread* [gentoo-commits] repo/gentoo:master commit in: dev-ml/ppx_tools/
@ 2017-07-07 20:06 Alexis Ballier
0 siblings, 0 replies; 27+ messages in thread
From: Alexis Ballier @ 2017-07-07 20:06 UTC (permalink / raw
To: gentoo-commits
commit: c8473fe746afae1916c0cb7350142bf6c3c6e0fa
Author: Alexis Ballier <aballier <AT> gentoo <DOT> org>
AuthorDate: Fri Jul 7 20:05:58 2017 +0000
Commit: Alexis Ballier <aballier <AT> gentoo <DOT> org>
CommitDate: Fri Jul 7 20:06:12 2017 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=c8473fe7
dev-ml/ppx_tools: add ocamlopt useflag, bug #624170
Package-Manager: Portage-2.3.6, Repoman-2.3.2
dev-ml/ppx_tools/ppx_tools-5.0.4.03.0.ebuild | 6 +++---
dev-ml/ppx_tools/ppx_tools-5.0.4.05.0.ebuild | 6 +++---
2 files changed, 6 insertions(+), 6 deletions(-)
diff --git a/dev-ml/ppx_tools/ppx_tools-5.0.4.03.0.ebuild b/dev-ml/ppx_tools/ppx_tools-5.0.4.03.0.ebuild
index 752f91c602a..b77cef7d6d7 100644
--- a/dev-ml/ppx_tools/ppx_tools-5.0.4.03.0.ebuild
+++ b/dev-ml/ppx_tools/ppx_tools-5.0.4.03.0.ebuild
@@ -13,9 +13,9 @@ SRC_URI="https://github.com/alainfrisch/ppx_tools/archive/${MY_PV}.tar.gz -> ${P
LICENSE="MIT"
SLOT="0/${PV}"
KEYWORDS="~amd64 ~arm ~arm64 ~ppc"
-IUSE=""
+IUSE="+ocamlopt"
-DEPEND=">=dev-lang/ocaml-4.03.0:="
+DEPEND=">=dev-lang/ocaml-4.03.0:=[ocamlopt?]"
RDEPEND="${DEPEND}"
S="${WORKDIR}/${PN}-$(replace_version_separator 2 '-')"
@@ -24,7 +24,7 @@ src_prepare() {
}
src_compile() {
- emake -j1
+ emake -j1 $(usex ocamlopt "" "ARCH=none")
}
src_install() {
diff --git a/dev-ml/ppx_tools/ppx_tools-5.0.4.05.0.ebuild b/dev-ml/ppx_tools/ppx_tools-5.0.4.05.0.ebuild
index 4a923db8275..2ec6b114e82 100644
--- a/dev-ml/ppx_tools/ppx_tools-5.0.4.05.0.ebuild
+++ b/dev-ml/ppx_tools/ppx_tools-5.0.4.05.0.ebuild
@@ -13,14 +13,14 @@ SRC_URI="https://github.com/alainfrisch/ppx_tools/archive/${MY_PV}.tar.gz -> ${P
LICENSE="MIT"
SLOT="0/${PV}"
KEYWORDS="~amd64 ~arm ~arm64 ~ppc"
-IUSE=""
+IUSE="+ocamlopt"
-DEPEND=">=dev-lang/ocaml-4.05_beta:="
+DEPEND=">=dev-lang/ocaml-4.05_beta:=[ocamlopt?]"
RDEPEND="${DEPEND}"
S="${WORKDIR}/${PN}-$(replace_version_separator 2 '-')"
src_compile() {
- emake -j1
+ emake -j1 $(usex ocamlopt "" "ARCH=none")
}
src_install() {
^ permalink raw reply related [flat|nested] 27+ messages in thread* [gentoo-commits] repo/gentoo:master commit in: dev-ml/ppx_tools/
@ 2017-06-22 11:48 Alexis Ballier
0 siblings, 0 replies; 27+ messages in thread
From: Alexis Ballier @ 2017-06-22 11:48 UTC (permalink / raw
To: gentoo-commits
commit: 0e4491cb05436a4318a1884b9b72c075c773b63d
Author: Alexis Ballier <aballier <AT> gentoo <DOT> org>
AuthorDate: Thu Jun 22 11:13:15 2017 +0000
Commit: Alexis Ballier <aballier <AT> gentoo <DOT> org>
CommitDate: Thu Jun 22 11:47:50 2017 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=0e4491cb
dev-ml/ppx_tools: keyword ~arm64
Package-Manager: Portage-2.3.6, Repoman-2.3.2
dev-ml/ppx_tools/ppx_tools-5.0.4.03.0.ebuild | 2 +-
dev-ml/ppx_tools/ppx_tools-5.0.4.05.0.ebuild | 2 +-
2 files changed, 2 insertions(+), 2 deletions(-)
diff --git a/dev-ml/ppx_tools/ppx_tools-5.0.4.03.0.ebuild b/dev-ml/ppx_tools/ppx_tools-5.0.4.03.0.ebuild
index 1ae7942e8f5..752f91c602a 100644
--- a/dev-ml/ppx_tools/ppx_tools-5.0.4.03.0.ebuild
+++ b/dev-ml/ppx_tools/ppx_tools-5.0.4.03.0.ebuild
@@ -12,7 +12,7 @@ SRC_URI="https://github.com/alainfrisch/ppx_tools/archive/${MY_PV}.tar.gz -> ${P
LICENSE="MIT"
SLOT="0/${PV}"
-KEYWORDS="~amd64 ~arm ~ppc"
+KEYWORDS="~amd64 ~arm ~arm64 ~ppc"
IUSE=""
DEPEND=">=dev-lang/ocaml-4.03.0:="
diff --git a/dev-ml/ppx_tools/ppx_tools-5.0.4.05.0.ebuild b/dev-ml/ppx_tools/ppx_tools-5.0.4.05.0.ebuild
index a3f70ed5d8b..1c4a1aa44e2 100644
--- a/dev-ml/ppx_tools/ppx_tools-5.0.4.05.0.ebuild
+++ b/dev-ml/ppx_tools/ppx_tools-5.0.4.05.0.ebuild
@@ -12,7 +12,7 @@ SRC_URI="https://github.com/alainfrisch/ppx_tools/archive/${MY_PV}.tar.gz -> ${P
LICENSE="MIT"
SLOT="0/${PV}"
-KEYWORDS="~amd64 ~ppc"
+KEYWORDS="~amd64 ~arm64 ~ppc"
IUSE=""
DEPEND=">=dev-lang/ocaml-4.05_beta:="
^ permalink raw reply related [flat|nested] 27+ messages in thread* [gentoo-commits] repo/gentoo:master commit in: dev-ml/ppx_tools/
@ 2017-06-22 11:48 Alexis Ballier
0 siblings, 0 replies; 27+ messages in thread
From: Alexis Ballier @ 2017-06-22 11:48 UTC (permalink / raw
To: gentoo-commits
commit: 8e4336017f31e0f31d7412d258746df4db38008d
Author: Alexis Ballier <aballier <AT> gentoo <DOT> org>
AuthorDate: Thu Jun 22 11:13:39 2017 +0000
Commit: Alexis Ballier <aballier <AT> gentoo <DOT> org>
CommitDate: Thu Jun 22 11:47:51 2017 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=8e433601
dev-ml/ppx_tools: forward ~arm to the masked version too
Package-Manager: Portage-2.3.6, Repoman-2.3.2
dev-ml/ppx_tools/ppx_tools-5.0.4.05.0.ebuild | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/dev-ml/ppx_tools/ppx_tools-5.0.4.05.0.ebuild b/dev-ml/ppx_tools/ppx_tools-5.0.4.05.0.ebuild
index 1c4a1aa44e2..4a923db8275 100644
--- a/dev-ml/ppx_tools/ppx_tools-5.0.4.05.0.ebuild
+++ b/dev-ml/ppx_tools/ppx_tools-5.0.4.05.0.ebuild
@@ -12,7 +12,7 @@ SRC_URI="https://github.com/alainfrisch/ppx_tools/archive/${MY_PV}.tar.gz -> ${P
LICENSE="MIT"
SLOT="0/${PV}"
-KEYWORDS="~amd64 ~arm64 ~ppc"
+KEYWORDS="~amd64 ~arm ~arm64 ~ppc"
IUSE=""
DEPEND=">=dev-lang/ocaml-4.05_beta:="
^ permalink raw reply related [flat|nested] 27+ messages in thread* [gentoo-commits] repo/gentoo:master commit in: dev-ml/ppx_tools/
@ 2017-04-05 17:50 Markus Meier
0 siblings, 0 replies; 27+ messages in thread
From: Markus Meier @ 2017-04-05 17:50 UTC (permalink / raw
To: gentoo-commits
commit: 45470945aca81b6ae67b1a031e931cdc479cd30b
Author: Markus Meier <maekke <AT> gentoo <DOT> org>
AuthorDate: Wed Apr 5 17:41:41 2017 +0000
Commit: Markus Meier <maekke <AT> gentoo <DOT> org>
CommitDate: Wed Apr 5 17:49:58 2017 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=45470945
dev-ml/ppx_tools: add ~arm, bug #611014
Package-Manager: Portage-2.3.5, Repoman-2.3.2
RepoMan-Options: --include-arches="arm"
dev-ml/ppx_tools/ppx_tools-5.0.4.03.0.ebuild | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/dev-ml/ppx_tools/ppx_tools-5.0.4.03.0.ebuild b/dev-ml/ppx_tools/ppx_tools-5.0.4.03.0.ebuild
index 771b47be815..1ae7942e8f5 100644
--- a/dev-ml/ppx_tools/ppx_tools-5.0.4.03.0.ebuild
+++ b/dev-ml/ppx_tools/ppx_tools-5.0.4.03.0.ebuild
@@ -12,7 +12,7 @@ SRC_URI="https://github.com/alainfrisch/ppx_tools/archive/${MY_PV}.tar.gz -> ${P
LICENSE="MIT"
SLOT="0/${PV}"
-KEYWORDS="~amd64 ~ppc"
+KEYWORDS="~amd64 ~arm ~ppc"
IUSE=""
DEPEND=">=dev-lang/ocaml-4.03.0:="
^ permalink raw reply related [flat|nested] 27+ messages in thread* [gentoo-commits] repo/gentoo:master commit in: dev-ml/ppx_tools/
@ 2017-04-05 9:51 Michael Weber
0 siblings, 0 replies; 27+ messages in thread
From: Michael Weber @ 2017-04-05 9:51 UTC (permalink / raw
To: gentoo-commits
commit: f942aae35d3c180f188bf612e92ab86cefdef038
Author: Michael Weber <xmw <AT> gentoo <DOT> org>
AuthorDate: Wed Apr 5 09:38:55 2017 +0000
Commit: Michael Weber <xmw <AT> gentoo <DOT> org>
CommitDate: Wed Apr 5 09:51:28 2017 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=f942aae3
dev-ml/ppx_tools: add ~ppc (bug 527318).
Package-Manager: Portage-2.3.5, Repoman-2.3.2
RepoMan-Options: --include-arches="ppc"
dev-ml/ppx_tools/ppx_tools-5.0.4.03.0.ebuild | 4 ++--
dev-ml/ppx_tools/ppx_tools-5.0.4.05.0.ebuild | 2 +-
2 files changed, 3 insertions(+), 3 deletions(-)
diff --git a/dev-ml/ppx_tools/ppx_tools-5.0.4.03.0.ebuild b/dev-ml/ppx_tools/ppx_tools-5.0.4.03.0.ebuild
index 3fa4afdf25f..771b47be815 100644
--- a/dev-ml/ppx_tools/ppx_tools-5.0.4.03.0.ebuild
+++ b/dev-ml/ppx_tools/ppx_tools-5.0.4.03.0.ebuild
@@ -1,4 +1,4 @@
-# Copyright 1999-2016 Gentoo Foundation
+# Copyright 1999-2017 Gentoo Foundation
# Distributed under the terms of the GNU General Public License v2
EAPI=5
@@ -12,7 +12,7 @@ SRC_URI="https://github.com/alainfrisch/ppx_tools/archive/${MY_PV}.tar.gz -> ${P
LICENSE="MIT"
SLOT="0/${PV}"
-KEYWORDS="~amd64"
+KEYWORDS="~amd64 ~ppc"
IUSE=""
DEPEND=">=dev-lang/ocaml-4.03.0:="
diff --git a/dev-ml/ppx_tools/ppx_tools-5.0.4.05.0.ebuild b/dev-ml/ppx_tools/ppx_tools-5.0.4.05.0.ebuild
index cb286e67964..a3f70ed5d8b 100644
--- a/dev-ml/ppx_tools/ppx_tools-5.0.4.05.0.ebuild
+++ b/dev-ml/ppx_tools/ppx_tools-5.0.4.05.0.ebuild
@@ -12,7 +12,7 @@ SRC_URI="https://github.com/alainfrisch/ppx_tools/archive/${MY_PV}.tar.gz -> ${P
LICENSE="MIT"
SLOT="0/${PV}"
-KEYWORDS="~amd64"
+KEYWORDS="~amd64 ~ppc"
IUSE=""
DEPEND=">=dev-lang/ocaml-4.05_beta:="
^ permalink raw reply related [flat|nested] 27+ messages in thread* [gentoo-commits] repo/gentoo:master commit in: dev-ml/ppx_tools/
@ 2017-04-03 22:09 Alexis Ballier
0 siblings, 0 replies; 27+ messages in thread
From: Alexis Ballier @ 2017-04-03 22:09 UTC (permalink / raw
To: gentoo-commits
commit: 35c3e1acc59fe84469faff2b79e4faabc6b6fdf4
Author: Alexis Ballier <aballier <AT> gentoo <DOT> org>
AuthorDate: Mon Apr 3 22:08:50 2017 +0000
Commit: Alexis Ballier <aballier <AT> gentoo <DOT> org>
CommitDate: Mon Apr 3 22:08:59 2017 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=35c3e1ac
dev-ml/ppx_tools: fix remote id
Package-Manager: Portage-2.3.5, Repoman-2.3.2
dev-ml/ppx_tools/metadata.xml | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/dev-ml/ppx_tools/metadata.xml b/dev-ml/ppx_tools/metadata.xml
index e9fc8c8473c..56d1f00f232 100644
--- a/dev-ml/ppx_tools/metadata.xml
+++ b/dev-ml/ppx_tools/metadata.xml
@@ -6,6 +6,6 @@
<name>Gentoo ML Project</name>
</maintainer>
<upstream>
- <remote-id type="github">ocsigen/tyxml</remote-id>
+ <remote-id type="github">alainfrisch/ppx_tools</remote-id>
</upstream>
</pkgmetadata>
^ permalink raw reply related [flat|nested] 27+ messages in thread* [gentoo-commits] repo/gentoo:master commit in: dev-ml/ppx_tools/
@ 2017-03-03 11:28 Alexis Ballier
0 siblings, 0 replies; 27+ messages in thread
From: Alexis Ballier @ 2017-03-03 11:28 UTC (permalink / raw
To: gentoo-commits
commit: 0f5caf29fdd316fa5412678559f0635bc0c34d85
Author: Alexis Ballier <aballier <AT> gentoo <DOT> org>
AuthorDate: Fri Mar 3 11:26:44 2017 +0000
Commit: Alexis Ballier <aballier <AT> gentoo <DOT> org>
CommitDate: Fri Mar 3 11:28:43 2017 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=0f5caf29
dev-ml/ppx_tools: Add version for ocaml 4.05
Package-Manager: Portage-2.3.4, Repoman-2.3.2
dev-ml/ppx_tools/Manifest | 1 +
dev-ml/ppx_tools/ppx_tools-5.0.4.05.0.ebuild | 29 ++++++++++++++++++++++++++++
2 files changed, 30 insertions(+)
diff --git a/dev-ml/ppx_tools/Manifest b/dev-ml/ppx_tools/Manifest
index 3fd85df5ca6..d36a23baee7 100644
--- a/dev-ml/ppx_tools/Manifest
+++ b/dev-ml/ppx_tools/Manifest
@@ -1 +1,2 @@
DIST ppx_tools-5.0.4.03.0.tar.gz 17209 SHA256 2cd990ef36145c35b0fd2cfaadc379cf032dd0987c07bea094d4437277d573e5 SHA512 d1867b084885704757f390b6f6ca8b5d7702f0476149d99ea227f98230ab35d57f5c4aa779881231a0a77cfd1861255118fa2551a49ab85553f63e9aab9baae4 WHIRLPOOL a74a30397ec858d3be478c85d7e4b54f065e35d6a95b95cca0a49049eb167e23892088620d9cdb59d81b598be0ebe3a1be123928768e21186f710ad81a5b8118
+DIST ppx_tools-5.0.4.05.0.tar.gz 17893 SHA256 031e05e2f98fd77a412cff00f19262e186b0c8a1804fece06d2af05e37a563b7 SHA512 33b4420500a2b5880e770f8fdf2b37ef08e52ff84f96f955c6321492de906568979feccb1b2b477b1117619ba28edd8d3e0f178c5684f0dc43c6ed56266c4d64 WHIRLPOOL a48ed77f05d7cc52fa40a4a017b689c34695bf267b74dd438a7da7d1c30a5709de6e01a1dffaa110086b5ed410689189fee45686502a6a0d70de71be9a8b1d86
diff --git a/dev-ml/ppx_tools/ppx_tools-5.0.4.05.0.ebuild b/dev-ml/ppx_tools/ppx_tools-5.0.4.05.0.ebuild
new file mode 100644
index 00000000000..cb286e67964
--- /dev/null
+++ b/dev-ml/ppx_tools/ppx_tools-5.0.4.05.0.ebuild
@@ -0,0 +1,29 @@
+# Copyright 1999-2017 Gentoo Foundation
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=5
+
+inherit findlib versionator eutils
+
+MY_PV=$(replace_version_separator 2 '+')
+DESCRIPTION="Tools for authors of ppx rewriters"
+HOMEPAGE="https://github.com/alainfrisch/ppx_tools"
+SRC_URI="https://github.com/alainfrisch/ppx_tools/archive/${MY_PV}.tar.gz -> ${P}.tar.gz"
+
+LICENSE="MIT"
+SLOT="0/${PV}"
+KEYWORDS="~amd64"
+IUSE=""
+
+DEPEND=">=dev-lang/ocaml-4.05_beta:="
+RDEPEND="${DEPEND}"
+S="${WORKDIR}/${PN}-$(replace_version_separator 2 '-')"
+
+src_compile() {
+ emake -j1
+}
+
+src_install() {
+ findlib_src_install
+ dodoc README.md
+}
^ permalink raw reply related [flat|nested] 27+ messages in thread* [gentoo-commits] repo/gentoo:master commit in: dev-ml/ppx_tools/
@ 2017-01-24 11:50 Alexis Ballier
0 siblings, 0 replies; 27+ messages in thread
From: Alexis Ballier @ 2017-01-24 11:50 UTC (permalink / raw
To: gentoo-commits
commit: 1070935c48e6227b071fcd3ffbd7d49eb34436c7
Author: Alexis Ballier <aballier <AT> gentoo <DOT> org>
AuthorDate: Tue Jan 24 11:42:12 2017 +0000
Commit: Alexis Ballier <aballier <AT> gentoo <DOT> org>
CommitDate: Tue Jan 24 11:50:27 2017 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=1070935c
dev-ml/ppx_tools: remove old
Package-Manager: Portage-2.3.3, Repoman-2.3.1
dev-ml/ppx_tools/Manifest | 2 --
dev-ml/ppx_tools/ppx_tools-4.02.3.ebuild | 28 --------------------------
dev-ml/ppx_tools/ppx_tools-5.0.4.02.0.ebuild | 30 ----------------------------
3 files changed, 60 deletions(-)
diff --git a/dev-ml/ppx_tools/Manifest b/dev-ml/ppx_tools/Manifest
index e1483b6..3fd85df 100644
--- a/dev-ml/ppx_tools/Manifest
+++ b/dev-ml/ppx_tools/Manifest
@@ -1,3 +1 @@
-DIST ppx_tools-4.02.3.tar.gz 16622 SHA256 08b3d915b9be9ada24029470f481d31c1b750a86ab59b4917c59455f5a943b31 SHA512 4eeafe8e4a740b35ea0f15f9c03faa91d8b24c946150de0409bf953d50a5c402284ca9b34058dcd399df6d41af56c899aa4b44d92b02cdf7a93527f4e3e1e7d2 WHIRLPOOL 5b0dacfb806ffcaae2a9d49f99e843de4424dbf1f86ae91e64480927094b569e49b7f501ddb8849b3013f65d47badb04f0f596b7277d1ed44a95f29ccf8acd94
-DIST ppx_tools-5.0.4.02.0.tar.gz 17443 SHA256 2c9b80f1755a6155820fc165b603f7184998ec2f097ff2c74169a2f86c264f66 SHA512 f02899f9fece9b27f2541c852e2f0e8c672f5e9d7667a5d9740a0e83581710c3781379f19b2397ca8442c4cc5161752ee61c000195fd270d04271ab512f4e48f WHIRLPOOL c1f753d100bc5490034d5acaebc1bbef5350b21bb42bc2202e939128ed7bea299b7248998b93f1c2728bb3ddbd02d329bd973f2e89950aaf32072b0300ce4b4f
DIST ppx_tools-5.0.4.03.0.tar.gz 17209 SHA256 2cd990ef36145c35b0fd2cfaadc379cf032dd0987c07bea094d4437277d573e5 SHA512 d1867b084885704757f390b6f6ca8b5d7702f0476149d99ea227f98230ab35d57f5c4aa779881231a0a77cfd1861255118fa2551a49ab85553f63e9aab9baae4 WHIRLPOOL a74a30397ec858d3be478c85d7e4b54f065e35d6a95b95cca0a49049eb167e23892088620d9cdb59d81b598be0ebe3a1be123928768e21186f710ad81a5b8118
diff --git a/dev-ml/ppx_tools/ppx_tools-4.02.3.ebuild b/dev-ml/ppx_tools/ppx_tools-4.02.3.ebuild
deleted file mode 100644
index db13b95..00000000
--- a/dev-ml/ppx_tools/ppx_tools-4.02.3.ebuild
+++ /dev/null
@@ -1,28 +0,0 @@
-# Copyright 1999-2015 Gentoo Foundation
-# Distributed under the terms of the GNU General Public License v2
-# $Id$
-
-EAPI=5
-
-inherit findlib
-
-DESCRIPTION="Tools for authors of ppx rewriters"
-HOMEPAGE="https://github.com/alainfrisch/ppx_tools"
-SRC_URI="https://github.com/alainfrisch/ppx_tools/archive/v${PV}.tar.gz -> ${P}.tar.gz"
-
-LICENSE="MIT"
-SLOT="0/${PV}"
-KEYWORDS="~amd64"
-IUSE=""
-
-DEPEND=">=dev-lang/ocaml-4.02.3:="
-RDEPEND="${DEPEND}"
-
-src_compile() {
- emake -j1
-}
-
-src_install() {
- findlib_src_install
- dodoc README.md
-}
diff --git a/dev-ml/ppx_tools/ppx_tools-5.0.4.02.0.ebuild b/dev-ml/ppx_tools/ppx_tools-5.0.4.02.0.ebuild
deleted file mode 100644
index ce1f975..00000000
--- a/dev-ml/ppx_tools/ppx_tools-5.0.4.02.0.ebuild
+++ /dev/null
@@ -1,30 +0,0 @@
-# Copyright 1999-2016 Gentoo Foundation
-# Distributed under the terms of the GNU General Public License v2
-# $Id$
-
-EAPI=5
-
-inherit findlib versionator
-
-MY_PV=$(replace_version_separator 2 '+')
-DESCRIPTION="Tools for authors of ppx rewriters"
-HOMEPAGE="https://github.com/alainfrisch/ppx_tools"
-SRC_URI="https://github.com/alainfrisch/ppx_tools/archive/${MY_PV}.tar.gz -> ${P}.tar.gz"
-
-LICENSE="MIT"
-SLOT="0/${PV}"
-KEYWORDS="~amd64"
-IUSE=""
-
-DEPEND=">=dev-lang/ocaml-4.02.3:="
-RDEPEND="${DEPEND}"
-S="${WORKDIR}/${PN}-$(replace_version_separator 2 '-')"
-
-src_compile() {
- emake -j1
-}
-
-src_install() {
- findlib_src_install
- dodoc README.md
-}
^ permalink raw reply related [flat|nested] 27+ messages in thread* [gentoo-commits] repo/gentoo:master commit in: dev-ml/ppx_tools/
@ 2016-05-24 9:16 Alexis Ballier
0 siblings, 0 replies; 27+ messages in thread
From: Alexis Ballier @ 2016-05-24 9:16 UTC (permalink / raw
To: gentoo-commits
commit: b5da05f0c4a27ddb6a12eeab8c551b131280a828
Author: Alexis Ballier <aballier <AT> gentoo <DOT> org>
AuthorDate: Tue May 24 09:11:24 2016 +0000
Commit: Alexis Ballier <aballier <AT> gentoo <DOT> org>
CommitDate: Tue May 24 09:15:16 2016 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=b5da05f0
dev-ml/ppx_tools: bump to 5.0 and remove 4.03 version
Package-Manager: portage-2.3.0_rc1
dev-ml/ppx_tools/Manifest | 3 ++-
.../{ppx_tools-4.03.0.ebuild => ppx_tools-5.0.4.02.0.ebuild} | 10 ++++++----
.../{ppx_tools-4.03.0.ebuild => ppx_tools-5.0.4.03.0.ebuild} | 10 ++++++----
3 files changed, 14 insertions(+), 9 deletions(-)
diff --git a/dev-ml/ppx_tools/Manifest b/dev-ml/ppx_tools/Manifest
index 579554e..e1483b6 100644
--- a/dev-ml/ppx_tools/Manifest
+++ b/dev-ml/ppx_tools/Manifest
@@ -1,2 +1,3 @@
DIST ppx_tools-4.02.3.tar.gz 16622 SHA256 08b3d915b9be9ada24029470f481d31c1b750a86ab59b4917c59455f5a943b31 SHA512 4eeafe8e4a740b35ea0f15f9c03faa91d8b24c946150de0409bf953d50a5c402284ca9b34058dcd399df6d41af56c899aa4b44d92b02cdf7a93527f4e3e1e7d2 WHIRLPOOL 5b0dacfb806ffcaae2a9d49f99e843de4424dbf1f86ae91e64480927094b569e49b7f501ddb8849b3013f65d47badb04f0f596b7277d1ed44a95f29ccf8acd94
-DIST ppx_tools-4.03.0.tar.gz 16865 SHA256 207d4140fb08f448b8d7a0ef2033db06f191fc99b73d8eadd3fe7aadbfea5fa8 SHA512 346c6e5b871998146b47447edec6ebaa6cb9d732dba684d27ce016e8b903383bdc1b920e4548e6c1aacfc2fa8e6f033813c41d3ffdc3752cdbde984cc1b41d35 WHIRLPOOL f40f52c6a55ca2262510eb86ae07434d20393c1d31adb923a92d95351f1f0a856a4f50b18ecf4098ce70be8e77e0a940836dfa137fcb760d5ff2c17ffe6b2d79
+DIST ppx_tools-5.0.4.02.0.tar.gz 17443 SHA256 2c9b80f1755a6155820fc165b603f7184998ec2f097ff2c74169a2f86c264f66 SHA512 f02899f9fece9b27f2541c852e2f0e8c672f5e9d7667a5d9740a0e83581710c3781379f19b2397ca8442c4cc5161752ee61c000195fd270d04271ab512f4e48f WHIRLPOOL c1f753d100bc5490034d5acaebc1bbef5350b21bb42bc2202e939128ed7bea299b7248998b93f1c2728bb3ddbd02d329bd973f2e89950aaf32072b0300ce4b4f
+DIST ppx_tools-5.0.4.03.0.tar.gz 17209 SHA256 2cd990ef36145c35b0fd2cfaadc379cf032dd0987c07bea094d4437277d573e5 SHA512 d1867b084885704757f390b6f6ca8b5d7702f0476149d99ea227f98230ab35d57f5c4aa779881231a0a77cfd1861255118fa2551a49ab85553f63e9aab9baae4 WHIRLPOOL a74a30397ec858d3be478c85d7e4b54f065e35d6a95b95cca0a49049eb167e23892088620d9cdb59d81b598be0ebe3a1be123928768e21186f710ad81a5b8118
diff --git a/dev-ml/ppx_tools/ppx_tools-4.03.0.ebuild b/dev-ml/ppx_tools/ppx_tools-5.0.4.02.0.ebuild
similarity index 54%
copy from dev-ml/ppx_tools/ppx_tools-4.03.0.ebuild
copy to dev-ml/ppx_tools/ppx_tools-5.0.4.02.0.ebuild
index 56565e7..ce1f975 100644
--- a/dev-ml/ppx_tools/ppx_tools-4.03.0.ebuild
+++ b/dev-ml/ppx_tools/ppx_tools-5.0.4.02.0.ebuild
@@ -1,22 +1,24 @@
-# Copyright 1999-2015 Gentoo Foundation
+# Copyright 1999-2016 Gentoo Foundation
# Distributed under the terms of the GNU General Public License v2
# $Id$
EAPI=5
-inherit findlib
+inherit findlib versionator
+MY_PV=$(replace_version_separator 2 '+')
DESCRIPTION="Tools for authors of ppx rewriters"
HOMEPAGE="https://github.com/alainfrisch/ppx_tools"
-SRC_URI="https://github.com/alainfrisch/ppx_tools/archive/v${PV}.tar.gz -> ${P}.tar.gz"
+SRC_URI="https://github.com/alainfrisch/ppx_tools/archive/${MY_PV}.tar.gz -> ${P}.tar.gz"
LICENSE="MIT"
SLOT="0/${PV}"
KEYWORDS="~amd64"
IUSE=""
-DEPEND=">=dev-lang/ocaml-4.03.0_beta:="
+DEPEND=">=dev-lang/ocaml-4.02.3:="
RDEPEND="${DEPEND}"
+S="${WORKDIR}/${PN}-$(replace_version_separator 2 '-')"
src_compile() {
emake -j1
diff --git a/dev-ml/ppx_tools/ppx_tools-4.03.0.ebuild b/dev-ml/ppx_tools/ppx_tools-5.0.4.03.0.ebuild
similarity index 54%
rename from dev-ml/ppx_tools/ppx_tools-4.03.0.ebuild
rename to dev-ml/ppx_tools/ppx_tools-5.0.4.03.0.ebuild
index 56565e7..0caa4d7 100644
--- a/dev-ml/ppx_tools/ppx_tools-4.03.0.ebuild
+++ b/dev-ml/ppx_tools/ppx_tools-5.0.4.03.0.ebuild
@@ -1,22 +1,24 @@
-# Copyright 1999-2015 Gentoo Foundation
+# Copyright 1999-2016 Gentoo Foundation
# Distributed under the terms of the GNU General Public License v2
# $Id$
EAPI=5
-inherit findlib
+inherit findlib versionator
+MY_PV=$(replace_version_separator 2 '+')
DESCRIPTION="Tools for authors of ppx rewriters"
HOMEPAGE="https://github.com/alainfrisch/ppx_tools"
-SRC_URI="https://github.com/alainfrisch/ppx_tools/archive/v${PV}.tar.gz -> ${P}.tar.gz"
+SRC_URI="https://github.com/alainfrisch/ppx_tools/archive/${MY_PV}.tar.gz -> ${P}.tar.gz"
LICENSE="MIT"
SLOT="0/${PV}"
KEYWORDS="~amd64"
IUSE=""
-DEPEND=">=dev-lang/ocaml-4.03.0_beta:="
+DEPEND=">=dev-lang/ocaml-4.03.0:="
RDEPEND="${DEPEND}"
+S="${WORKDIR}/${PN}-$(replace_version_separator 2 '-')"
src_compile() {
emake -j1
^ permalink raw reply related [flat|nested] 27+ messages in thread* [gentoo-commits] repo/gentoo:master commit in: dev-ml/ppx_tools/
@ 2016-03-16 18:25 Alexis Ballier
0 siblings, 0 replies; 27+ messages in thread
From: Alexis Ballier @ 2016-03-16 18:25 UTC (permalink / raw
To: gentoo-commits
commit: a82606451531010f03f74a67730db5efb3066b8f
Author: Alexis Ballier <aballier <AT> gentoo <DOT> org>
AuthorDate: Wed Mar 16 18:24:41 2016 +0000
Commit: Alexis Ballier <aballier <AT> gentoo <DOT> org>
CommitDate: Wed Mar 16 18:25:14 2016 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=a8260645
dev-ml/ppx_tools: bump to new upstream releases, changing versionning scheme to match ocaml
Package-Manager: portage-2.2.28
Signed-off-by: Alexis Ballier <aballier <AT> gentoo.org>
dev-ml/ppx_tools/Manifest | 5 ++--
dev-ml/ppx_tools/ppx_tools-0.99.3_p20160217.ebuild | 34 ----------------------
...tools-0.99.2.ebuild => ppx_tools-4.02.3.ebuild} | 6 ++--
...tools-0.99.3.ebuild => ppx_tools-4.03.0.ebuild} | 9 ++----
4 files changed, 6 insertions(+), 48 deletions(-)
diff --git a/dev-ml/ppx_tools/Manifest b/dev-ml/ppx_tools/Manifest
index f48fca0..579554e 100644
--- a/dev-ml/ppx_tools/Manifest
+++ b/dev-ml/ppx_tools/Manifest
@@ -1,3 +1,2 @@
-DIST ppx_tools-0.99.3_p20160217.tar.gz 16749 SHA256 96c7639f3833a3f4b9b164cfabc8d366a3e7a8407c518207f2d1c7364c2715fd SHA512 b744bfe00704abbf8eb87c08d29ec613c82291f15f12c183a045eb06fddefbd3c6fd8790812ecd382afcf420894f584cd1d2b6f1609229ff6d7a21c9ae8c24a0 WHIRLPOOL a9b6a99ab98a8ae19ed2c79d41f112d7cdc8dd699f13f739019f6281da661c8636ab363fac4277342deb01556c434fd05e6b4c4b7042cbff988aaf932edab375
-DIST ppx_tools_0.99.2.tar.gz 15877 SHA256 98128022ea0574d769a263eb9b73be06200eec4bac9adb8dc44df289a77c4dec SHA512 1ed8b3a670e233e77988d10c777003384c86c124b8b7e4cec41c0a3e0de280f818b7cbbddc59c49644517899ce0ef022407db6d4aaf29c559abc0788dce11594 WHIRLPOOL f04ecf57ab457ce2ea58b93a50215f49f257597ce4176a4cd3fe8ffb230ab1a898a479d2bbab3df2675b71f7123c556d3a7cd84e8b2263389ea02f3990585924
-DIST ppx_tools_0.99.3.tar.gz 16258 SHA256 79a9430086231e0a5a863f2aaebf3fb32f1ff0c25ab8cdfd11f53b4ce4550787 SHA512 2b6e4e1168951b5501e930e3de294611ed0652162b8e6a3e5b72d27d602ea4b3cf07bb96dc524347553c30be6d3a7ab5b28ef4d5d69e4de6f6c6e5359e37c32d WHIRLPOOL 0b38432072b25e4c6dafadd5aeac4e19680095c83c2be121f837caeeec8801aa077515e97b94e4c647f05640139d26b4cbfd69e796ba0027ce38009590b04a80
+DIST ppx_tools-4.02.3.tar.gz 16622 SHA256 08b3d915b9be9ada24029470f481d31c1b750a86ab59b4917c59455f5a943b31 SHA512 4eeafe8e4a740b35ea0f15f9c03faa91d8b24c946150de0409bf953d50a5c402284ca9b34058dcd399df6d41af56c899aa4b44d92b02cdf7a93527f4e3e1e7d2 WHIRLPOOL 5b0dacfb806ffcaae2a9d49f99e843de4424dbf1f86ae91e64480927094b569e49b7f501ddb8849b3013f65d47badb04f0f596b7277d1ed44a95f29ccf8acd94
+DIST ppx_tools-4.03.0.tar.gz 16865 SHA256 207d4140fb08f448b8d7a0ef2033db06f191fc99b73d8eadd3fe7aadbfea5fa8 SHA512 346c6e5b871998146b47447edec6ebaa6cb9d732dba684d27ce016e8b903383bdc1b920e4548e6c1aacfc2fa8e6f033813c41d3ffdc3752cdbde984cc1b41d35 WHIRLPOOL f40f52c6a55ca2262510eb86ae07434d20393c1d31adb923a92d95351f1f0a856a4f50b18ecf4098ce70be8e77e0a940836dfa137fcb760d5ff2c17ffe6b2d79
diff --git a/dev-ml/ppx_tools/ppx_tools-0.99.3_p20160217.ebuild b/dev-ml/ppx_tools/ppx_tools-0.99.3_p20160217.ebuild
deleted file mode 100644
index 520749c..0000000
--- a/dev-ml/ppx_tools/ppx_tools-0.99.3_p20160217.ebuild
+++ /dev/null
@@ -1,34 +0,0 @@
-# Copyright 1999-2015 Gentoo Foundation
-# Distributed under the terms of the GNU General Public License v2
-# $Id$
-
-EAPI=5
-
-inherit findlib
-
-DESCRIPTION="Tools for authors of ppx rewriters"
-HOMEPAGE="https://github.com/alainfrisch/ppx_tools"
-# This is the version used by opam.
-# Needed by eliom-5[ppx]
-#SRC_URI="http://github.com/diml/ppx_tools/archive/${PN}_${PV}.tar.gz"
-#SRC_URI="https://github.com/alainfrisch/ppx_tools/archive/${PN}_${PV}.tar.gz"
-SRC_URI="mirror://gentoo/${P}.tar.gz"
-
-LICENSE="MIT"
-SLOT="0/${PV}"
-KEYWORDS="~amd64"
-IUSE=""
-
-DEPEND=">=dev-lang/ocaml-4.03_beta:="
-RDEPEND="${DEPEND}"
-
-#S="${WORKDIR}/${PN}-${PN}_${PV}"
-
-src_compile() {
- emake -j1
-}
-
-src_install() {
- findlib_src_install
- dodoc README.md
-}
diff --git a/dev-ml/ppx_tools/ppx_tools-0.99.2.ebuild b/dev-ml/ppx_tools/ppx_tools-4.02.3.ebuild
similarity index 73%
rename from dev-ml/ppx_tools/ppx_tools-0.99.2.ebuild
rename to dev-ml/ppx_tools/ppx_tools-4.02.3.ebuild
index 3a85d10..db13b95 100644
--- a/dev-ml/ppx_tools/ppx_tools-0.99.2.ebuild
+++ b/dev-ml/ppx_tools/ppx_tools-4.02.3.ebuild
@@ -8,18 +8,16 @@ inherit findlib
DESCRIPTION="Tools for authors of ppx rewriters"
HOMEPAGE="https://github.com/alainfrisch/ppx_tools"
-SRC_URI="https://github.com/alainfrisch/ppx_tools/archive/${PN}_${PV}.tar.gz"
+SRC_URI="https://github.com/alainfrisch/ppx_tools/archive/v${PV}.tar.gz -> ${P}.tar.gz"
LICENSE="MIT"
SLOT="0/${PV}"
KEYWORDS="~amd64"
IUSE=""
-DEPEND=">=dev-lang/ocaml-4.02:="
+DEPEND=">=dev-lang/ocaml-4.02.3:="
RDEPEND="${DEPEND}"
-S="${WORKDIR}/${PN}-${PN}_${PV}"
-
src_compile() {
emake -j1
}
diff --git a/dev-ml/ppx_tools/ppx_tools-0.99.3.ebuild b/dev-ml/ppx_tools/ppx_tools-4.03.0.ebuild
similarity index 59%
rename from dev-ml/ppx_tools/ppx_tools-0.99.3.ebuild
rename to dev-ml/ppx_tools/ppx_tools-4.03.0.ebuild
index f31fbe7..56565e7 100644
--- a/dev-ml/ppx_tools/ppx_tools-0.99.3.ebuild
+++ b/dev-ml/ppx_tools/ppx_tools-4.03.0.ebuild
@@ -8,21 +8,16 @@ inherit findlib
DESCRIPTION="Tools for authors of ppx rewriters"
HOMEPAGE="https://github.com/alainfrisch/ppx_tools"
-# This is the version used by opam.
-# Needed by eliom-5[ppx]
-SRC_URI="http://github.com/diml/ppx_tools/archive/${PN}_${PV}.tar.gz"
-#SRC_URI="https://github.com/alainfrisch/ppx_tools/archive/${PN}_${PV}.tar.gz"
+SRC_URI="https://github.com/alainfrisch/ppx_tools/archive/v${PV}.tar.gz -> ${P}.tar.gz"
LICENSE="MIT"
SLOT="0/${PV}"
KEYWORDS="~amd64"
IUSE=""
-DEPEND=">=dev-lang/ocaml-4.02:="
+DEPEND=">=dev-lang/ocaml-4.03.0_beta:="
RDEPEND="${DEPEND}"
-S="${WORKDIR}/${PN}-${PN}_${PV}"
-
src_compile() {
emake -j1
}
^ permalink raw reply related [flat|nested] 27+ messages in thread* [gentoo-commits] repo/gentoo:master commit in: dev-ml/ppx_tools/
@ 2016-03-02 19:29 Alexis Ballier
0 siblings, 0 replies; 27+ messages in thread
From: Alexis Ballier @ 2016-03-02 19:29 UTC (permalink / raw
To: gentoo-commits
commit: e8ca40de226e14c45fdcf419237179a598e4d847
Author: Alexis Ballier <aballier <AT> gentoo <DOT> org>
AuthorDate: Tue Mar 1 19:45:59 2016 +0000
Commit: Alexis Ballier <aballier <AT> gentoo <DOT> org>
CommitDate: Wed Mar 2 19:29:06 2016 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=e8ca40de
dev-ml/ppx_tools: bump a snapshot that works with ocaml 4.03
Package-Manager: portage-2.2.27
Signed-off-by: Alexis Ballier <aballier <AT> gentoo.org>
dev-ml/ppx_tools/Manifest | 1 +
dev-ml/ppx_tools/ppx_tools-0.99.3_p20160217.ebuild | 34 ++++++++++++++++++++++
2 files changed, 35 insertions(+)
diff --git a/dev-ml/ppx_tools/Manifest b/dev-ml/ppx_tools/Manifest
index 96063a1..f48fca0 100644
--- a/dev-ml/ppx_tools/Manifest
+++ b/dev-ml/ppx_tools/Manifest
@@ -1,2 +1,3 @@
+DIST ppx_tools-0.99.3_p20160217.tar.gz 16749 SHA256 96c7639f3833a3f4b9b164cfabc8d366a3e7a8407c518207f2d1c7364c2715fd SHA512 b744bfe00704abbf8eb87c08d29ec613c82291f15f12c183a045eb06fddefbd3c6fd8790812ecd382afcf420894f584cd1d2b6f1609229ff6d7a21c9ae8c24a0 WHIRLPOOL a9b6a99ab98a8ae19ed2c79d41f112d7cdc8dd699f13f739019f6281da661c8636ab363fac4277342deb01556c434fd05e6b4c4b7042cbff988aaf932edab375
DIST ppx_tools_0.99.2.tar.gz 15877 SHA256 98128022ea0574d769a263eb9b73be06200eec4bac9adb8dc44df289a77c4dec SHA512 1ed8b3a670e233e77988d10c777003384c86c124b8b7e4cec41c0a3e0de280f818b7cbbddc59c49644517899ce0ef022407db6d4aaf29c559abc0788dce11594 WHIRLPOOL f04ecf57ab457ce2ea58b93a50215f49f257597ce4176a4cd3fe8ffb230ab1a898a479d2bbab3df2675b71f7123c556d3a7cd84e8b2263389ea02f3990585924
DIST ppx_tools_0.99.3.tar.gz 16258 SHA256 79a9430086231e0a5a863f2aaebf3fb32f1ff0c25ab8cdfd11f53b4ce4550787 SHA512 2b6e4e1168951b5501e930e3de294611ed0652162b8e6a3e5b72d27d602ea4b3cf07bb96dc524347553c30be6d3a7ab5b28ef4d5d69e4de6f6c6e5359e37c32d WHIRLPOOL 0b38432072b25e4c6dafadd5aeac4e19680095c83c2be121f837caeeec8801aa077515e97b94e4c647f05640139d26b4cbfd69e796ba0027ce38009590b04a80
diff --git a/dev-ml/ppx_tools/ppx_tools-0.99.3_p20160217.ebuild b/dev-ml/ppx_tools/ppx_tools-0.99.3_p20160217.ebuild
new file mode 100644
index 0000000..520749c
--- /dev/null
+++ b/dev-ml/ppx_tools/ppx_tools-0.99.3_p20160217.ebuild
@@ -0,0 +1,34 @@
+# Copyright 1999-2015 Gentoo Foundation
+# Distributed under the terms of the GNU General Public License v2
+# $Id$
+
+EAPI=5
+
+inherit findlib
+
+DESCRIPTION="Tools for authors of ppx rewriters"
+HOMEPAGE="https://github.com/alainfrisch/ppx_tools"
+# This is the version used by opam.
+# Needed by eliom-5[ppx]
+#SRC_URI="http://github.com/diml/ppx_tools/archive/${PN}_${PV}.tar.gz"
+#SRC_URI="https://github.com/alainfrisch/ppx_tools/archive/${PN}_${PV}.tar.gz"
+SRC_URI="mirror://gentoo/${P}.tar.gz"
+
+LICENSE="MIT"
+SLOT="0/${PV}"
+KEYWORDS="~amd64"
+IUSE=""
+
+DEPEND=">=dev-lang/ocaml-4.03_beta:="
+RDEPEND="${DEPEND}"
+
+#S="${WORKDIR}/${PN}-${PN}_${PV}"
+
+src_compile() {
+ emake -j1
+}
+
+src_install() {
+ findlib_src_install
+ dodoc README.md
+}
^ permalink raw reply related [flat|nested] 27+ messages in thread* [gentoo-commits] repo/gentoo:master commit in: dev-ml/ppx_tools/
@ 2016-01-30 16:35 Alexis Ballier
0 siblings, 0 replies; 27+ messages in thread
From: Alexis Ballier @ 2016-01-30 16:35 UTC (permalink / raw
To: gentoo-commits
commit: 0cc8927af4397ecde0215fb4b37cb7108f594ca3
Author: Alexis Ballier <aballier <AT> gentoo <DOT> org>
AuthorDate: Sat Jan 30 16:29:36 2016 +0000
Commit: Alexis Ballier <aballier <AT> gentoo <DOT> org>
CommitDate: Sat Jan 30 16:30:40 2016 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=0cc8927a
dev-ml/ppx_tools: bump to 0.99.3.
This version comes from a fork but opam (official ocaml PM) uses this, and eliom needs it.
Package-Manager: portage-2.2.27
Signed-off-by: Alexis Ballier <aballier <AT> gentoo.org>
dev-ml/ppx_tools/Manifest | 1 +
dev-ml/ppx_tools/ppx_tools-0.99.3.ebuild | 33 ++++++++++++++++++++++++++++++++
2 files changed, 34 insertions(+)
diff --git a/dev-ml/ppx_tools/Manifest b/dev-ml/ppx_tools/Manifest
index 0181b80..96063a1 100644
--- a/dev-ml/ppx_tools/Manifest
+++ b/dev-ml/ppx_tools/Manifest
@@ -1 +1,2 @@
DIST ppx_tools_0.99.2.tar.gz 15877 SHA256 98128022ea0574d769a263eb9b73be06200eec4bac9adb8dc44df289a77c4dec SHA512 1ed8b3a670e233e77988d10c777003384c86c124b8b7e4cec41c0a3e0de280f818b7cbbddc59c49644517899ce0ef022407db6d4aaf29c559abc0788dce11594 WHIRLPOOL f04ecf57ab457ce2ea58b93a50215f49f257597ce4176a4cd3fe8ffb230ab1a898a479d2bbab3df2675b71f7123c556d3a7cd84e8b2263389ea02f3990585924
+DIST ppx_tools_0.99.3.tar.gz 16258 SHA256 79a9430086231e0a5a863f2aaebf3fb32f1ff0c25ab8cdfd11f53b4ce4550787 SHA512 2b6e4e1168951b5501e930e3de294611ed0652162b8e6a3e5b72d27d602ea4b3cf07bb96dc524347553c30be6d3a7ab5b28ef4d5d69e4de6f6c6e5359e37c32d WHIRLPOOL 0b38432072b25e4c6dafadd5aeac4e19680095c83c2be121f837caeeec8801aa077515e97b94e4c647f05640139d26b4cbfd69e796ba0027ce38009590b04a80
diff --git a/dev-ml/ppx_tools/ppx_tools-0.99.3.ebuild b/dev-ml/ppx_tools/ppx_tools-0.99.3.ebuild
new file mode 100644
index 0000000..f31fbe7
--- /dev/null
+++ b/dev-ml/ppx_tools/ppx_tools-0.99.3.ebuild
@@ -0,0 +1,33 @@
+# Copyright 1999-2015 Gentoo Foundation
+# Distributed under the terms of the GNU General Public License v2
+# $Id$
+
+EAPI=5
+
+inherit findlib
+
+DESCRIPTION="Tools for authors of ppx rewriters"
+HOMEPAGE="https://github.com/alainfrisch/ppx_tools"
+# This is the version used by opam.
+# Needed by eliom-5[ppx]
+SRC_URI="http://github.com/diml/ppx_tools/archive/${PN}_${PV}.tar.gz"
+#SRC_URI="https://github.com/alainfrisch/ppx_tools/archive/${PN}_${PV}.tar.gz"
+
+LICENSE="MIT"
+SLOT="0/${PV}"
+KEYWORDS="~amd64"
+IUSE=""
+
+DEPEND=">=dev-lang/ocaml-4.02:="
+RDEPEND="${DEPEND}"
+
+S="${WORKDIR}/${PN}-${PN}_${PV}"
+
+src_compile() {
+ emake -j1
+}
+
+src_install() {
+ findlib_src_install
+ dodoc README.md
+}
^ permalink raw reply related [flat|nested] 27+ messages in thread* [gentoo-commits] repo/gentoo:master commit in: dev-ml/ppx_tools/
@ 2016-01-30 16:35 Alexis Ballier
0 siblings, 0 replies; 27+ messages in thread
From: Alexis Ballier @ 2016-01-30 16:35 UTC (permalink / raw
To: gentoo-commits
commit: 75debffc16b272fe48e28f897bb4d64784657336
Author: Alexis Ballier <aballier <AT> gentoo <DOT> org>
AuthorDate: Sat Jan 30 16:14:26 2016 +0000
Commit: Alexis Ballier <aballier <AT> gentoo <DOT> org>
CommitDate: Sat Jan 30 16:30:40 2016 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=75debffc
dev-ml/ppx_tools: initial import; ebuild by me
Package-Manager: portage-2.2.27
Signed-off-by: Alexis Ballier <aballier <AT> gentoo.org>
dev-ml/ppx_tools/Manifest | 1 +
dev-ml/ppx_tools/metadata.xml | 11 +++++++++++
dev-ml/ppx_tools/ppx_tools-0.99.2.ebuild | 30 ++++++++++++++++++++++++++++++
3 files changed, 42 insertions(+)
diff --git a/dev-ml/ppx_tools/Manifest b/dev-ml/ppx_tools/Manifest
new file mode 100644
index 0000000..0181b80
--- /dev/null
+++ b/dev-ml/ppx_tools/Manifest
@@ -0,0 +1 @@
+DIST ppx_tools_0.99.2.tar.gz 15877 SHA256 98128022ea0574d769a263eb9b73be06200eec4bac9adb8dc44df289a77c4dec SHA512 1ed8b3a670e233e77988d10c777003384c86c124b8b7e4cec41c0a3e0de280f818b7cbbddc59c49644517899ce0ef022407db6d4aaf29c559abc0788dce11594 WHIRLPOOL f04ecf57ab457ce2ea58b93a50215f49f257597ce4176a4cd3fe8ffb230ab1a898a479d2bbab3df2675b71f7123c556d3a7cd84e8b2263389ea02f3990585924
diff --git a/dev-ml/ppx_tools/metadata.xml b/dev-ml/ppx_tools/metadata.xml
new file mode 100644
index 0000000..e9fc8c8
--- /dev/null
+++ b/dev-ml/ppx_tools/metadata.xml
@@ -0,0 +1,11 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd">
+<pkgmetadata>
+ <maintainer type="project">
+ <email>ml@gentoo.org</email>
+ <name>Gentoo ML Project</name>
+ </maintainer>
+ <upstream>
+ <remote-id type="github">ocsigen/tyxml</remote-id>
+ </upstream>
+</pkgmetadata>
diff --git a/dev-ml/ppx_tools/ppx_tools-0.99.2.ebuild b/dev-ml/ppx_tools/ppx_tools-0.99.2.ebuild
new file mode 100644
index 0000000..3a85d10
--- /dev/null
+++ b/dev-ml/ppx_tools/ppx_tools-0.99.2.ebuild
@@ -0,0 +1,30 @@
+# Copyright 1999-2015 Gentoo Foundation
+# Distributed under the terms of the GNU General Public License v2
+# $Id$
+
+EAPI=5
+
+inherit findlib
+
+DESCRIPTION="Tools for authors of ppx rewriters"
+HOMEPAGE="https://github.com/alainfrisch/ppx_tools"
+SRC_URI="https://github.com/alainfrisch/ppx_tools/archive/${PN}_${PV}.tar.gz"
+
+LICENSE="MIT"
+SLOT="0/${PV}"
+KEYWORDS="~amd64"
+IUSE=""
+
+DEPEND=">=dev-lang/ocaml-4.02:="
+RDEPEND="${DEPEND}"
+
+S="${WORKDIR}/${PN}-${PN}_${PV}"
+
+src_compile() {
+ emake -j1
+}
+
+src_install() {
+ findlib_src_install
+ dodoc README.md
+}
^ permalink raw reply related [flat|nested] 27+ messages in thread
end of thread, other threads:[~2023-01-28 13:26 UTC | newest]
Thread overview: 27+ messages (download: mbox.gz follow: Atom feed
-- links below jump to the message on this page --
2021-10-15 3:43 [gentoo-commits] repo/gentoo:master commit in: dev-ml/ppx_tools/ Sam James
-- strict thread matches above, loose matches on Subject: below --
2023-01-28 13:26 Alfredo Tupone
2022-04-03 20:56 Alfredo Tupone
2021-10-06 1:02 Sam James
2021-09-18 12:30 Agostino Sarubbo
2021-09-17 14:14 Agostino Sarubbo
2021-09-14 20:23 Alfredo Tupone
2021-06-09 21:48 Sam James
2021-06-09 21:48 Sam James
2020-12-02 17:46 Aaron Bauman
2020-02-09 22:16 Miroslav Šulc
2020-02-09 21:36 Miroslav Šulc
2018-02-11 21:56 Thomas Deutschmann
2017-11-04 9:53 Alexis Ballier
2017-07-07 20:06 Alexis Ballier
2017-06-22 11:48 Alexis Ballier
2017-06-22 11:48 Alexis Ballier
2017-04-05 17:50 Markus Meier
2017-04-05 9:51 Michael Weber
2017-04-03 22:09 Alexis Ballier
2017-03-03 11:28 Alexis Ballier
2017-01-24 11:50 Alexis Ballier
2016-05-24 9:16 Alexis Ballier
2016-03-16 18:25 Alexis Ballier
2016-03-02 19:29 Alexis Ballier
2016-01-30 16:35 Alexis Ballier
2016-01-30 16:35 Alexis Ballier
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox