[m-dev.] trivial diff: make install_grades invoke install_hdrs

Fergus Henderson fjh at cs.mu.OZ.AU
Fri May 19 17:17:14 AEST 2000


Estimated hours taken: 0.25

Mmakefile:
scripts/Mmake.rules:
	In the rule for `install_grades', invoke `install_hdrs',
	so that we install the header files too, not just the
	`.a' and `.so' files.  This is needed for MLDS grades.

Workspace: /home/pgrad/fjh/ws/hg
Index: Mmakefile
===================================================================
RCS file: /home/mercury1/repository/mercury/Mmakefile,v
retrieving revision 1.50
diff -u -d -r1.50 Mmakefile
--- Mmakefile	2000/05/17 22:32:29	1.50
+++ Mmakefile	2000/05/19 07:11:26
@@ -365,6 +365,7 @@
 		  $(SUBDIR_MMAKE) GRADE=$$grade install_lib ) && \
 		( cd library && \
 		  $(SUBDIR_MMAKE) GRADE=$$grade depend && \
+		  $(SUBDIR_MMAKE) GRADE=$$grade install_hdrs ) && \
 		  $(SUBDIR_MMAKE) GRADE=$$grade install_library ) && \
 		( cd browser && \
 		  $(SUBDIR_MMAKE) GRADE=$$grade depend && \
Index: scripts/Mmake.rules
===================================================================
RCS file: /home/mercury1/repository/mercury/scripts/Mmake.rules,v
retrieving revision 1.80
diff -u -d -r1.80 Mmake.rules
--- scripts/Mmake.rules	2000/05/19 01:54:53	1.80
+++ scripts/Mmake.rules	2000/05/19 07:12:54
@@ -363,6 +363,8 @@
 		if [ "$$grade" != "x" ]; then \
 			$(MMAKE) GRADE=$$grade $*.depend || \
 				exit 1; \
+			$(MMAKE) GRADE=$$grade lib$*.install_hdrs || \
+				exit 1; \
 			$(MMAKE) GRADE=$$grade lib$*.install_library || \
 				exit 1; \
 			rm -f $(deps_subdir)$*.dep $($*.hs) $($*.cs) $($*.os) \

-- 
Fergus Henderson <fjh at cs.mu.oz.au>  |  "I have always known that the pursuit
WWW: <http://www.cs.mu.oz.au/~fjh>  |  of excellence is a lethal habit"
PGP: finger fjh at 128.250.37.3        |     -- the last words of T. S. Garp.
--------------------------------------------------------------------------
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