summaryrefslogtreecommitdiff
path: root/dev-ml/labltk/files/labltk-8.06.12-shuffle.patch
blob: 62fd8997f2126710aed68b3835a7743e3d31b96b (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
--- a/compiler/Makefile	2023-01-21 22:23:29.676828969 +0100
+++ b/compiler/Makefile	2023-01-21 22:24:16.204141261 +0100
@@ -73,6 +73,9 @@
 .ml.cmo:
 	$(CAMLCOMP) $(COMPFLAGS) -I ../support $<
 
+maincompile.cmo: copyright.cmo
+maincompile.cmx: copyright.cmx
+
 depend: parser.ml parser.mli lexer.ml pplex.ml ppyac.ml ppyac.mli
 	$(CAMLDEP) *.mli *.ml > .depend
 
--- a/browser/Makefile	2023-01-25 22:29:40.784044151 +0100
+++ b/browser/Makefile	2023-01-25 22:29:56.579838693 +0100
@@ -18,3 +18,6 @@
 
 dummy.ml:
 	cp dummyUnix.ml dummy.ml
+
+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
--- 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