[m-rev.] diff: add '--intermod-opt' option

[Julien Fischer]

Estimated hours taken: 0.1
Branches: main

compiler/options.m:
doc/user_guide.texi:
	Add '--intermod-opt' as shorthand for '--intermodule-optimization'.

Julien.

Index: compiler/options.m
===================================================================
RCS file: /home/mercury1/repository/mercury/compiler/options.m,v
retrieving revision 1.472
diff -u -r1.472 options.m
--- compiler/options.m	28 Oct 2005 02:10:26 -0000	1.472
+++ compiler/options.m	28 Oct 2005 14:25:29 -0000
@@ -1800,6 +1800,7 @@
 long_option("opt-space",            opt_space).
 long_option("optimize-space",       opt_space).
 long_option("optimise-space",       opt_space).
+long_option("intermod-opt",        intermodule_optimization).
 long_option("intermodule-optimization", intermodule_optimization).
 long_option("intermodule-optimisation", intermodule_optimization).
 long_option("intermodule-analysis", intermodule_analysis).
@@ -3773,6 +3774,7 @@
         "\tTurn on optimizations that reduce code size",
         "\tand turn off optimizations that significantly",
         "\tincrease code size.",
+        "--intermod-opt",
         "--intermodule-optimization",
         "\tPerform inlining and higher-order specialization of",
         "\tthe code for predicates imported from other modules.",
Index: doc/user_guide.texi
===================================================================
RCS file: /home/mercury1/repository/mercury/doc/user_guide.texi,v
retrieving revision 1.456
diff -u -r1.456 user_guide.texi
--- doc/user_guide.texi	25 Oct 2005 04:00:47 -0000	1.456
+++ doc/user_guide.texi	28 Oct 2005 14:32:01 -0000
@@ -6820,7 +6820,9 @@
 @end table

 @table @code
+ at item --intermod-opt
 @item --intermodule-optimization
+ at findex --intermod-opt
 @findex --intermodule-optimization
 @cindex Intermodule optimization
 @cindex Cross-module optimization

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