diff: library/Mmakefile bug fix

[Fergus Henderson]

library/Mmakefile:
	Fix a bug where `mmake' in the library directory did not make
	all interface files needed to use the library (in particular,
	it did not make `library.int3').

Index: Mmakefile
===================================================================
RCS file: /home/mercury1/repository/mercury/library/Mmakefile,v
retrieving revision 1.21
diff -u -u -r1.21 Mmakefile
--- Mmakefile	1998/01/30 04:23:01	1.21
+++ Mmakefile	1998/02/16 06:46:25
@@ -116,14 +116,15 @@
 all : mercury nuprolog sicstus
 
 .PHONY: mercury
-mercury : ints opts libmercury
+mercury : all-ints libmercury
 
 .PHONY: nuprolog
-nuprolog : ints library.nu library.nu.debug $(library.nos) $(NU_LIBRARY_NOS) \
+nuprolog : all-ints library.nu library.nu.debug \
+			$(library.nos) $(NU_LIBRARY_NOS) \
 			$(NU_OVERRIDING_LIBRARY_NOS) nc_builtin.nl
 
 .PHONY: sicstus
-sicstus : ints sicstus_compile library.sicstus.debug
+sicstus : all-ints sicstus_compile library.sicstus.debug
 
 #-----------------------------------------------------------------------------#
 
@@ -133,12 +134,17 @@
 .PHONY: check
 check		: library.check
 
+.PHONY: all-ints 
+all-ints: ints int3s opts trans_opts
+
 .PHONY: ints 
 ints		: library.ints
 
+.PHONY: int3s 
+int3s		: library.int3s
+
 .PHONY: opts 
 opts		: library.opts
-library.opts	: $(library.opts)
 
 .PHONY: trans_opts 
 trans_opts		: library.trans_opts

-- 
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.