mirror of
https://github.com/gentoo-mirror/gentoo.git
synced 2026-09-23 16:49:10 -07:00
47 lines
1.7 KiB
Diff
47 lines
1.7 KiB
Diff
--- 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
|