[m-dev.] diff: explicit dependencies for body headers

[Zoltan Somogyi]

runtime/Mmakefile:
	Don't remake everything if one of the header files containing code
	schemas gets modified.

Zoltan.

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	\
 			$(LIB_DLL_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.
 
 BODY_HDRS	=	\
 			mercury_deep_copy_body.h \
@@ -192,7 +194,11 @@
 
 #-----------------------------------------------------------------------------#
 
-$(OBJS) $(PIC_OBJS): $(HDRS) $(BODY_HDRS) $(MACHHDRS)
+$(OBJS) $(PIC_OBJS): $(HDRS) $(MACHHDRS)
+
+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
 
 #-----------------------------------------------------------------------------#
 
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------