commit: 847abbf57304c0d341457f67c896f6cc49439041 Author: Alfredo Tupone <tupone <AT> gentoo <DOT> org> AuthorDate: Wed Jun 5 08:11:58 2024 +0000 Commit: Alfredo Tupone <tupone <AT> gentoo <DOT> org> CommitDate: Wed Jun 5 08:12:53 2024 +0000 URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=847abbf5
dev-ml/labltk: fix make Closes: https://bugs.gentoo.org/915315 Signed-off-by: Alfredo Tupone <tupone <AT> gentoo.org> dev-ml/labltk/files/labltk-8.06.12-shuffle.patch | 10 ++++++++++ 1 file changed, 10 insertions(+) diff --git a/dev-ml/labltk/files/labltk-8.06.12-shuffle.patch b/dev-ml/labltk/files/labltk-8.06.12-shuffle.patch index 482b18370ad6..62fd8997f212 100644 --- a/dev-ml/labltk/files/labltk-8.06.12-shuffle.patch +++ b/dev-ml/labltk/files/labltk-8.06.12-shuffle.patch @@ -34,3 +34,13 @@ jg_menu.cmx jg_memo.cmx fileselect.cmx ../support/fileevent.cmx shell.cmi typecheck.cmo : ../labltk/tk.cmo ../labltk/text.cmi mytypes.cmi jg_tk.cmo \ jg_text.cmi jg_message.cmi typecheck.cmi +--- a/browser/Makefile.shared 2024-06-05 10:08:38.886219581 +0200 ++++ b/browser/Makefile.shared 2024-06-05 10:06:05.142920155 +0200 +@@ -71,4 +71,7 @@ + + shell.cmo: dummy.cmi + ++dummy.cmi: dummy.ml ++ $(CAMLCOMP) $(INCLUDES) $< ++ + include .depend
