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 )
