diff: force recompile if VERSION changes

[Fergus Henderson]

Mmakefile:
library/Mmakefile:
	Ensure that things get recompiled properly if you modify the
	VERSION file and the run `mmake' from the top-level directory.

Also an unrelated change:

Mmakefile:
	Add a new `install_main' target, which is like
	`install' except that it doesn't invoke `install_grades'.

Index: Mmakefile
===================================================================
RCS file: /home/mercury1/repository/mercury/Mmakefile,v
retrieving revision 1.21
diff -u -r1.21 Mmakefile
--- Mmakefile	1998/03/30 13:02:53	1.21
+++ Mmakefile	1998/04/28 06:10:36
@@ -144,7 +144,7 @@
 configure: configure.in
 	autoconf
 
-config.status: configure
+config.status: configure VERSION
 	if [ -f ./config.status ]; then \
 		./config.status --recheck; \
 	else \
@@ -219,11 +219,13 @@
 #-----------------------------------------------------------------------------#
 
 .PHONY: install
-install: all $(PREINSTALL_HACK) \
+install: install_main install_grades
+
+.PHONY: install_main
+install_main: all $(PREINSTALL_HACK) \
 		install_scripts install_util install_runtime install_boehm_gc \
   		install_library install_compiler install_profiler install_doc \
-		$(POSTINSTALL_HACK) \
-		install_grades
+		$(POSTINSTALL_HACK)
  
 .PHONY: install_scripts
 install_scripts: scripts
cvs server: I know nothing about library/Mmake
Index: library/Mmakefile
===================================================================
RCS file: /home/mercury1/repository/mercury/library/Mmakefile,v
retrieving revision 1.29
diff -u -r1.29 Mmakefile
--- Mmakefile	1998/03/30 13:03:10	1.29
+++ Mmakefile	1998/04/28 06:12:09
@@ -261,6 +261,13 @@
 	$(nos_subdir)error.no $(nos_subdir)debug.no $(nos_subdir)portray.no: \
 	nc_builtin.nl
 
+# Ensure we recompile library__version if VERSION is changed.
+$(os_subdir)library.o \
+$(os_subdir)library.pic_o \
+$(optdates_subdir)library.optdate \
+$(trans_opt_dates_subdir)library.trans_opt_date \
+	: $(RUNTIME_DIR)/mercury_conf.h
+
 #-----------------------------------------------------------------------------#
 
 sicstus_saved_state:
-- 
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.