* [gentoo-commits] repo/proj/guru:dev commit in: dev-ml/dune-rpc/
@ 2024-09-29 6:46 Hiroki Tokunaga
0 siblings, 0 replies; 5+ messages in thread
From: Hiroki Tokunaga @ 2024-09-29 6:46 UTC (permalink / raw
To: gentoo-commits
commit: 4788dc6c6416a91ca755d864f6e61176aa3739fa
Author: Hiroki Tokunaga <tokusan441 <AT> gmail <DOT> com>
AuthorDate: Sun Sep 29 06:43:25 2024 +0000
Commit: Hiroki Tokunaga <tokusan441 <AT> gmail <DOT> com>
CommitDate: Sun Sep 29 06:43:25 2024 +0000
URL: https://gitweb.gentoo.org/repo/proj/guru.git/commit/?id=4788dc6c
dev-ml/dune-rpc: remove vendored `csexp` and `pp`
To use the system-wide ones.
Signed-off-by: Hiroki Tokunaga <tokusan441 <AT> gmail.com>
.../dune-rpc/{dune-rpc-3.16.0.ebuild => dune-rpc-3.16.0-r1.ebuild} | 6 ++++++
1 file changed, 6 insertions(+)
diff --git a/dev-ml/dune-rpc/dune-rpc-3.16.0.ebuild b/dev-ml/dune-rpc/dune-rpc-3.16.0-r1.ebuild
similarity index 91%
rename from dev-ml/dune-rpc/dune-rpc-3.16.0.ebuild
rename to dev-ml/dune-rpc/dune-rpc-3.16.0-r1.ebuild
index 0c226457e..8cd60306b 100644
--- a/dev-ml/dune-rpc/dune-rpc-3.16.0.ebuild
+++ b/dev-ml/dune-rpc/dune-rpc-3.16.0-r1.ebuild
@@ -38,6 +38,12 @@ BDEPEND="
>=dev-ml/dune-3.12:=
"
+src_prepare() {
+ default
+
+ rm -r vendor/{csexp,pp} || die
+}
+
src_configure() {
:
}
^ permalink raw reply related [flat|nested] 5+ messages in thread* [gentoo-commits] repo/proj/guru:dev commit in: dev-ml/dune-rpc/
@ 2024-09-09 9:31 David Roman
0 siblings, 0 replies; 5+ messages in thread
From: David Roman @ 2024-09-09 9:31 UTC (permalink / raw
To: gentoo-commits
commit: dcb8204da08ce11178ecb9e0a87f682699054230
Author: David Roman <davidroman96 <AT> gmail <DOT> com>
AuthorDate: Mon Sep 9 09:31:45 2024 +0000
Commit: David Roman <davidroman96 <AT> gmail <DOT> com>
CommitDate: Mon Sep 9 09:31:45 2024 +0000
URL: https://gitweb.gentoo.org/repo/proj/guru.git/commit/?id=dcb8204d
dev-ml/dune-rpc: drop 3.13.1
Signed-off-by: David Roman <davidroman96 <AT> gmail.com>
dev-ml/dune-rpc/Manifest | 1 -
dev-ml/dune-rpc/dune-rpc-3.13.1.ebuild | 47 ----------------------------------
2 files changed, 48 deletions(-)
diff --git a/dev-ml/dune-rpc/Manifest b/dev-ml/dune-rpc/Manifest
index 47d729888..923f5561f 100644
--- a/dev-ml/dune-rpc/Manifest
+++ b/dev-ml/dune-rpc/Manifest
@@ -1,2 +1 @@
-DIST dune-rpc-3.13.1.tar.gz 2891852 BLAKE2B 88cee2428134ddcd6b929915b6bbeb2d17be8b8190f963919a74c63ffcf80f596fb1556f88c41ee602b2386e02fdf396596a6b2097d67c720bd00e16cdda3a57 SHA512 910d4ddd55a91ee65d8ea35b8915506db74c924eb3b67f7b0715da5599ee5088ea3edec81ce6735addd5b17234e445608e59fa353b83e991c14768d83c97a2b5
DIST dune-rpc-3.16.0.tar.gz 2999701 BLAKE2B 5e371fa1003cec31273aeeb1a830036f48d3734588bd7a980b57aaae30d4984a34dec6f9be0ee9985c72dee08c2c6d456a789eab83cfce42c142a3abc6951b2e SHA512 3b1d041907128b6598e0f6150fe300a4a69098822f823ceead63b46e1005a21485738c6fa92641dd940c9f9cde48ae141ea51959a9b250bee3cbeb06ba788e23
diff --git a/dev-ml/dune-rpc/dune-rpc-3.13.1.ebuild b/dev-ml/dune-rpc/dune-rpc-3.13.1.ebuild
deleted file mode 100644
index a327c9fc0..000000000
--- a/dev-ml/dune-rpc/dune-rpc-3.13.1.ebuild
+++ /dev/null
@@ -1,47 +0,0 @@
-# Copyright 1999-2024 Gentoo Authors
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI=8
-
-inherit dune
-
-DESCRIPTION="Communicate with dune using rpc"
-HOMEPAGE="
- https://opam.ocaml.org/packages/dune-rpc/
- https://github.com/ocaml/dune/
-"
-SRC_URI="https://github.com/ocaml/dune/archive/${PV}.tar.gz -> ${P}.tar.gz"
-
-S="${WORKDIR}/dune-${PV}"
-
-LICENSE="MIT"
-
-SLOT="0/${PV}"
-
-KEYWORDS="~amd64"
-IUSE="ocamlopt"
-
-RESTRICT="test"
-
-RDEPEND="
- dev-ml/csexp:=
- dev-ml/xdg:=
- ~dev-ml/dune-private-libs-${PV}:=
- >=dev-ml/pp-1.1.0:=
-"
-
-DEPEND="
- ${RDEPEND}
-"
-
-src_configure() {
- :
-}
-
-src_compile() {
- dune-compile dune-rpc
-}
-
-src_install() {
- dune-install dune-rpc
-}
^ permalink raw reply related [flat|nested] 5+ messages in thread* [gentoo-commits] repo/proj/guru:dev commit in: dev-ml/dune-rpc/
@ 2024-08-02 3:35 Hiroki Tokunaga
0 siblings, 0 replies; 5+ messages in thread
From: Hiroki Tokunaga @ 2024-08-02 3:35 UTC (permalink / raw
To: gentoo-commits
commit: b5178c4adf0b69a8b2d622f263d7ff95bf275d74
Author: Hiroki Tokunaga <tokusan441 <AT> gmail <DOT> com>
AuthorDate: Fri Aug 2 03:34:46 2024 +0000
Commit: Hiroki Tokunaga <tokusan441 <AT> gmail <DOT> com>
CommitDate: Fri Aug 2 03:34:46 2024 +0000
URL: https://gitweb.gentoo.org/repo/proj/guru.git/commit/?id=b5178c4a
dev-ml/dune-rpc: add 3.16.0
Signed-off-by: Hiroki Tokunaga <tokusan441 <AT> gmail.com>
dev-ml/dune-rpc/Manifest | 1 +
dev-ml/dune-rpc/dune-rpc-3.16.0.ebuild | 47 ++++++++++++++++++++++++++++++++++
2 files changed, 48 insertions(+)
diff --git a/dev-ml/dune-rpc/Manifest b/dev-ml/dune-rpc/Manifest
index 65d26d5c3..47d729888 100644
--- a/dev-ml/dune-rpc/Manifest
+++ b/dev-ml/dune-rpc/Manifest
@@ -1 +1,2 @@
DIST dune-rpc-3.13.1.tar.gz 2891852 BLAKE2B 88cee2428134ddcd6b929915b6bbeb2d17be8b8190f963919a74c63ffcf80f596fb1556f88c41ee602b2386e02fdf396596a6b2097d67c720bd00e16cdda3a57 SHA512 910d4ddd55a91ee65d8ea35b8915506db74c924eb3b67f7b0715da5599ee5088ea3edec81ce6735addd5b17234e445608e59fa353b83e991c14768d83c97a2b5
+DIST dune-rpc-3.16.0.tar.gz 2999701 BLAKE2B 5e371fa1003cec31273aeeb1a830036f48d3734588bd7a980b57aaae30d4984a34dec6f9be0ee9985c72dee08c2c6d456a789eab83cfce42c142a3abc6951b2e SHA512 3b1d041907128b6598e0f6150fe300a4a69098822f823ceead63b46e1005a21485738c6fa92641dd940c9f9cde48ae141ea51959a9b250bee3cbeb06ba788e23
diff --git a/dev-ml/dune-rpc/dune-rpc-3.16.0.ebuild b/dev-ml/dune-rpc/dune-rpc-3.16.0.ebuild
new file mode 100644
index 000000000..0c226457e
--- /dev/null
+++ b/dev-ml/dune-rpc/dune-rpc-3.16.0.ebuild
@@ -0,0 +1,47 @@
+# Copyright 1999-2024 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+inherit dune
+
+DESCRIPTION="Communicate with dune using rpc"
+HOMEPAGE="
+ https://opam.ocaml.org/packages/dune-rpc/
+ https://github.com/ocaml/dune/
+"
+SRC_URI="https://github.com/ocaml/dune/archive/${PV}.tar.gz -> ${P}.tar.gz"
+
+S="${WORKDIR}/dune-${PV}"
+
+LICENSE="MIT"
+
+SLOT="0/${PV}"
+
+KEYWORDS="~amd64"
+IUSE="ocamlopt"
+
+RESTRICT="test"
+
+RDEPEND="
+ dev-ml/csexp:=
+ dev-ml/xdg:=
+ ~dev-ml/dune-private-libs-${PV}:=
+ >=dev-ml/pp-1.1.0:=
+"
+
+DEPEND="
+ ${RDEPEND}
+"
+
+BDEPEND="
+ >=dev-ml/dune-3.12:=
+"
+
+src_configure() {
+ :
+}
+
+src_compile() {
+ dune-compile dune-rpc
+}
^ permalink raw reply related [flat|nested] 5+ messages in thread* [gentoo-commits] repo/proj/guru:dev commit in: dev-ml/dune-rpc/
@ 2024-08-02 3:01 Hiroki Tokunaga
0 siblings, 0 replies; 5+ messages in thread
From: Hiroki Tokunaga @ 2024-08-02 3:01 UTC (permalink / raw
To: gentoo-commits
commit: 1da96eb157d3106e1c4f528e0d30d448ae2fba3c
Author: Hiroki Tokunaga <tokusan441 <AT> gmail <DOT> com>
AuthorDate: Fri Aug 2 03:00:46 2024 +0000
Commit: Hiroki Tokunaga <tokusan441 <AT> gmail <DOT> com>
CommitDate: Fri Aug 2 03:00:46 2024 +0000
URL: https://gitweb.gentoo.org/repo/proj/guru.git/commit/?id=1da96eb1
dev-ml/dune-rpc: replace removed dependencies
Signed-off-by: Hiroki Tokunaga <tokusan441 <AT> gmail.com>
dev-ml/dune-rpc/dune-rpc-3.13.1.ebuild | 4 +---
1 file changed, 1 insertion(+), 3 deletions(-)
diff --git a/dev-ml/dune-rpc/dune-rpc-3.13.1.ebuild b/dev-ml/dune-rpc/dune-rpc-3.13.1.ebuild
index 7bab184de..a327c9fc0 100644
--- a/dev-ml/dune-rpc/dune-rpc-3.13.1.ebuild
+++ b/dev-ml/dune-rpc/dune-rpc-3.13.1.ebuild
@@ -25,10 +25,8 @@ RESTRICT="test"
RDEPEND="
dev-ml/csexp:=
- dev-ml/ordering:=
- dev-ml/dyn:=
dev-ml/xdg:=
- ~dev-ml/stdune-${PV}:=
+ ~dev-ml/dune-private-libs-${PV}:=
>=dev-ml/pp-1.1.0:=
"
^ permalink raw reply related [flat|nested] 5+ messages in thread* [gentoo-commits] repo/proj/guru:dev commit in: dev-ml/dune-rpc/
@ 2024-07-29 2:20 Hiroki Tokunaga
0 siblings, 0 replies; 5+ messages in thread
From: Hiroki Tokunaga @ 2024-07-29 2:20 UTC (permalink / raw
To: gentoo-commits
commit: 95dcb253ed41b51bb35a363be7c333c86facf2bb
Author: Hiroki Tokunaga <tokusan441 <AT> gmail <DOT> com>
AuthorDate: Mon Jul 29 02:19:08 2024 +0000
Commit: Hiroki Tokunaga <tokusan441 <AT> gmail <DOT> com>
CommitDate: Mon Jul 29 02:19:08 2024 +0000
URL: https://gitweb.gentoo.org/repo/proj/guru.git/commit/?id=95dcb253
dev-ml/dune-rpc: new package, add 3.13.1
Signed-off-by: Hiroki Tokunaga <tokusan441 <AT> gmail.com>
dev-ml/dune-rpc/Manifest | 1 +
dev-ml/dune-rpc/dune-rpc-3.13.1.ebuild | 49 ++++++++++++++++++++++++++++++++++
dev-ml/dune-rpc/metadata.xml | 12 +++++++++
3 files changed, 62 insertions(+)
diff --git a/dev-ml/dune-rpc/Manifest b/dev-ml/dune-rpc/Manifest
new file mode 100644
index 000000000..65d26d5c3
--- /dev/null
+++ b/dev-ml/dune-rpc/Manifest
@@ -0,0 +1 @@
+DIST dune-rpc-3.13.1.tar.gz 2891852 BLAKE2B 88cee2428134ddcd6b929915b6bbeb2d17be8b8190f963919a74c63ffcf80f596fb1556f88c41ee602b2386e02fdf396596a6b2097d67c720bd00e16cdda3a57 SHA512 910d4ddd55a91ee65d8ea35b8915506db74c924eb3b67f7b0715da5599ee5088ea3edec81ce6735addd5b17234e445608e59fa353b83e991c14768d83c97a2b5
diff --git a/dev-ml/dune-rpc/dune-rpc-3.13.1.ebuild b/dev-ml/dune-rpc/dune-rpc-3.13.1.ebuild
new file mode 100644
index 000000000..7bab184de
--- /dev/null
+++ b/dev-ml/dune-rpc/dune-rpc-3.13.1.ebuild
@@ -0,0 +1,49 @@
+# Copyright 1999-2024 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+inherit dune
+
+DESCRIPTION="Communicate with dune using rpc"
+HOMEPAGE="
+ https://opam.ocaml.org/packages/dune-rpc/
+ https://github.com/ocaml/dune/
+"
+SRC_URI="https://github.com/ocaml/dune/archive/${PV}.tar.gz -> ${P}.tar.gz"
+
+S="${WORKDIR}/dune-${PV}"
+
+LICENSE="MIT"
+
+SLOT="0/${PV}"
+
+KEYWORDS="~amd64"
+IUSE="ocamlopt"
+
+RESTRICT="test"
+
+RDEPEND="
+ dev-ml/csexp:=
+ dev-ml/ordering:=
+ dev-ml/dyn:=
+ dev-ml/xdg:=
+ ~dev-ml/stdune-${PV}:=
+ >=dev-ml/pp-1.1.0:=
+"
+
+DEPEND="
+ ${RDEPEND}
+"
+
+src_configure() {
+ :
+}
+
+src_compile() {
+ dune-compile dune-rpc
+}
+
+src_install() {
+ dune-install dune-rpc
+}
diff --git a/dev-ml/dune-rpc/metadata.xml b/dev-ml/dune-rpc/metadata.xml
new file mode 100644
index 000000000..2131acf3b
--- /dev/null
+++ b/dev-ml/dune-rpc/metadata.xml
@@ -0,0 +1,12 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd">
+<pkgmetadata>
+ <maintainer type="person">
+ <email>tokusan441@gmail.com</email>
+ <name>Hiroki Tokunaga</name>
+ </maintainer>
+ <upstream>
+ <bugs-to>https://github.com/ocaml/dune/issues</bugs-to>
+ <remote-id type="github">ocaml/dune</remote-id>
+ </upstream>
+</pkgmetadata>
^ permalink raw reply related [flat|nested] 5+ messages in thread
end of thread, other threads:[~2024-09-29 6:46 UTC | newest]
Thread overview: 5+ messages (download: mbox.gz follow: Atom feed
-- links below jump to the message on this page --
2024-09-29 6:46 [gentoo-commits] repo/proj/guru:dev commit in: dev-ml/dune-rpc/ Hiroki Tokunaga
-- strict thread matches above, loose matches on Subject: below --
2024-09-09 9:31 David Roman
2024-08-02 3:35 Hiroki Tokunaga
2024-08-02 3:01 Hiroki Tokunaga
2024-07-29 2:20 Hiroki Tokunaga
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox