* [gentoo-commits] repo/proj/guru:master commit in: dev-ml/dune-rpc/
@ 2024-08-02 9:31 David Roman
0 siblings, 0 replies; 4+ messages in thread
From: David Roman @ 2024-08-02 9:31 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: David Roman <davidroman96 <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] 4+ messages in thread
* [gentoo-commits] repo/proj/guru:master commit in: dev-ml/dune-rpc/
@ 2024-08-02 9:31 David Roman
0 siblings, 0 replies; 4+ messages in thread
From: David Roman @ 2024-08-02 9:31 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: David Roman <davidroman96 <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] 4+ messages in thread
* [gentoo-commits] repo/proj/guru:master commit in: dev-ml/dune-rpc/
2024-09-09 9:31 [gentoo-commits] repo/proj/guru:dev " David Roman
@ 2024-09-09 9:39 ` David Roman
0 siblings, 0 replies; 4+ messages in thread
From: David Roman @ 2024-09-09 9:39 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] 4+ messages in thread
* [gentoo-commits] repo/proj/guru:master commit in: dev-ml/dune-rpc/
@ 2024-09-29 18:00 David Roman
0 siblings, 0 replies; 4+ messages in thread
From: David Roman @ 2024-09-29 18:00 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: David Roman <davidroman96 <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] 4+ messages in thread
end of thread, other threads:[~2024-09-29 18:00 UTC | newest]
Thread overview: 4+ messages (download: mbox.gz follow: Atom feed
-- links below jump to the message on this page --
2024-08-02 9:31 [gentoo-commits] repo/proj/guru:master commit in: dev-ml/dune-rpc/ David Roman
-- strict thread matches above, loose matches on Subject: below --
2024-08-02 9:31 David Roman
2024-09-09 9:31 [gentoo-commits] repo/proj/guru:dev " David Roman
2024-09-09 9:39 ` [gentoo-commits] repo/proj/guru:master " David Roman
2024-09-29 18:00 David Roman
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox