[m-dev.] diff: runtime include file dependencies

Zoltan Somogyi zs at cs.mu.OZ.AU
Fri Jul 21 13:13:32 AEST 2000

	Don't remake everything if one of the header files containing code
	schemas gets modified. The dependencies on these files are stable,
	and the speedup is worthwhile.


cvs diff: Diffing .
Index: Mmakefile
RCS file: /home/mercury1/repository/mercury/runtime/Mmakefile,v
retrieving revision 1.58
diff -u -b -r1.58 Mmakefile
--- Mmakefile	2000/06/22 08:50:24	1.58
+++ Mmakefile	2000/07/20 04:07:19
@@ -86,7 +86,9 @@
 			mercury_wrapper.h	\
-# The headers in $(BODY_HDRS) do not have to be syntactically well-formed.
+# The headers in $(BODY_HDRS) contain code schemes included multiple times
+# in one source file each. Their dependencies must be explicitly listed.
+# They do not have to be syntactically well-formed.
 			mercury_deep_copy_body.h \
@@ -192,7 +194,11 @@
+mercury_deep_copy.o:	mercury_deep_copy_body.h
+mercury_type_info.o:	mercury_make_type_info_body.h
+mercury_ho_call.o:	mercury_unify_compare_body.h
cvs diff: Diffing GETOPT
cvs diff: Diffing machdeps
mercury-developers mailing list
Post messages to:       mercury-developers at cs.mu.oz.au
Administrative Queries: owner-mercury-developers at cs.mu.oz.au
Subscriptions:          mercury-developers-request at cs.mu.oz.au

More information about the developers mailing list