diff options
| author | Alfredo Tupone <tupone@gentoo.org> | 2023-03-09 11:58:11 +0100 |
|---|---|---|
| committer | Alfredo Tupone <tupone@gentoo.org> | 2023-03-09 12:01:34 +0100 |
| commit | 99031bb7302f11c88481f503e3ea753c88a7b9e8 (patch) | |
| tree | 303c71b4c8444292d0db9380f5d3b133d8aab31c /dev-ml/labltk | |
| parent | 712edec8e087a5d336016d5ba0f950147ad6e7d7 (diff) | |
| download | gentoo-99031bb7302f11c88481f503e3ea753c88a7b9e8.tar.gz gentoo-99031bb7302f11c88481f503e3ea753c88a7b9e8.tar.bz2 gentoo-99031bb7302f11c88481f503e3ea753c88a7b9e8.zip | |
dev-ml/labltk: fix dependency
Closes: https://bugs.gentoo.org/894718
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Diffstat (limited to 'dev-ml/labltk')
| -rw-r--r-- | dev-ml/labltk/files/labltk-8.06.12-shuffle.patch | 15 |
1 files changed, 15 insertions, 0 deletions
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 005c7264a8b4..482b18370ad6 100644 --- a/dev-ml/labltk/files/labltk-8.06.12-shuffle.patch +++ b/dev-ml/labltk/files/labltk-8.06.12-shuffle.patch @@ -19,3 +19,18 @@ + +shell.cmo : dummy.cmo +shell.cmx : dummy.cmx +--- a/browser/.depend 2023-03-09 11:54:40.849960961 +0100 ++++ b/browser/.depend 2023-03-09 11:55:21.041342177 +0100 +@@ -117,10 +117,12 @@ + shell.cmo : ../labltk/winfo.cmi ../labltk/toplevel.cmi ../labltk/tk.cmo \ + ../support/timer.cmi ../labltk/text.cmi ../labltk/menu.cmi list2.cmo \ + lexical.cmi jg_toplevel.cmo jg_tk.cmo jg_text.cmi jg_message.cmi \ ++ dummy.cmo \ + jg_menu.cmo jg_memo.cmi fileselect.cmi ../support/fileevent.cmi shell.cmi + shell.cmx : ../labltk/winfo.cmx ../labltk/toplevel.cmx ../labltk/tk.cmx \ + ../support/timer.cmx ../labltk/text.cmx ../labltk/menu.cmx list2.cmx \ + lexical.cmx jg_toplevel.cmx jg_tk.cmx jg_text.cmx jg_message.cmx \ ++ dummy.cmx \ + 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 |