[m-rev.] diff: add option for compatibility check

[Simon Taylor]

Estimated hours taken: 0.2
Branches: main

compiler/options.m:
	My change to the installation of `.opt' files broke
	backwards compatibility (installation doesn't work
	if the dependencies are generated by an old compiler),
	so add an option for use in configure.in.

Index: options.m
===================================================================
RCS file: /home/mercury1/repository/mercury/compiler/options.m,v
retrieving revision 1.384
diff -u -u -r1.384 options.m
--- options.m	22 Aug 2002 07:36:46 -0000	1.384
+++ options.m	29 Aug 2002 15:00:10 -0000
@@ -1718,7 +1718,8 @@
 long_option("fullarch",			fullarch).
 long_option("bug-intermod-2002-06-13",	compiler_sufficiently_recent).
 long_option("bug-foreign_import-2002-08-06", compiler_sufficiently_recent).
-
+long_option("install-opt-files-2002-08-30", compiler_sufficiently_recent).
+ 
 %-----------------------------------------------------------------------------%
 
 special_handler(grade, string(Grade), OptionTable0, Result) :-
--------------------------------------------------------------------------
mercury-reviews mailing list
post:  mercury-reviews at cs.mu.oz.au
administrative address: owner-mercury-reviews at cs.mu.oz.au
unsubscribe: Address: mercury-reviews-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-reviews-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------