[gentoo-commits] repo/gentoo:master commit in: dev-ml/ptmap/files/, dev-ml/ptmap/

[gentoo-commits] repo/gentoo:master commit in: dev-ml/ptmap/files/, dev-ml/ptmap/

[Maciej Barć]

commit:     8a220aefb5fbac21b554969863d249ec78d82e1a
Author:     Maciej Barć <xgqt <AT> gentoo <DOT> org>
AuthorDate: Sat Nov 19 21:21:49 2022 +0000
Commit:     Maciej Barć <xgqt <AT> gentoo <DOT> org>
CommitDate: Sat Nov 19 21:26:47 2022 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=8a220aef

dev-ml/ptmap: remove seq reference from dune build file

Signed-off-by: Maciej Barć <xgqt <AT> gentoo.org>

 dev-ml/ptmap/files/ptmap-2.0.5-dune.patch | 11 +++++++++++
 dev-ml/ptmap/ptmap-2.0.5-r2.ebuild        |  2 ++
 2 files changed, 13 insertions(+)

diff --git a/dev-ml/ptmap/files/ptmap-2.0.5-dune.patch b/dev-ml/ptmap/files/ptmap-2.0.5-dune.patch
new file mode 100644
index 000000000000..b13122884adb
--- /dev/null
+++ b/dev-ml/ptmap/files/ptmap-2.0.5-dune.patch
@@ -0,0 +1,11 @@
+--- a/dune
++++ b/dune
+@@ -1,7 +1,6 @@
+ (library
+  (public_name ptmap)
+- (modules ptmap)
+- (libraries seq))
++ (modules ptmap))
+ 
+ (test
+  (name test)

diff --git a/dev-ml/ptmap/ptmap-2.0.5-r2.ebuild b/dev-ml/ptmap/ptmap-2.0.5-r2.ebuild
index 2213fb278c04..5f448db4390d 100644
--- a/dev-ml/ptmap/ptmap-2.0.5-r2.ebuild
+++ b/dev-ml/ptmap/ptmap-2.0.5-r2.ebuild
@@ -19,3 +19,5 @@ RDEPEND="
 	dev-ml/stdlib-shims:=
 "
 DEPEND="${RDEPEND}"
+
+PATCHES=( "${FILESDIR}"/${P}-dune.patch )