[m-dev.] disable --split-c-files for --high-level-code

[Fergus Henderson]

Estimated hours taken: 0.5

compiler/options.m:
doc/user_guide.texi:
	Document that the `--high-level-code' back-end doesn't support
	`--split-c-files'.

tests/hard_coded/Mmakefile:
	Don't run the --split-c-files test in hl* grades.

Workspace: /home/pgrad/fjh/ws/hg
Index: compiler/options.m
===================================================================
RCS file: /home/mercury1/repository/mercury/compiler/options.m,v
retrieving revision 1.294
diff -u -d -r1.294 options.m
--- compiler/options.m	2000/10/14 04:00:17	1.294
+++ compiler/options.m	2000/10/23 13:21:29
@@ -2172,7 +2172,10 @@
 		"\tlink time, and intermediate disk space requirements,",
 		"\tbut in return reduces the size of the final",
 		"\texecutable, typically by about 10-20%.",
-		"\tThis option is only useful with `--procs-per-c-function 1'."
+		"\tThis option is only useful with `--procs-per-c-function 1',",
+		"\tso this option automatically sets `--procs-per-c-function 1'.",
+		"\tThe `--high-level-code' back-end does not support",
+		"\t`--split-c-files'."
 	]).
 
 :- pred options_help_hlds_hlds_optimization(io__state::di, io__state::uo)
Index: doc/user_guide.texi
===================================================================
RCS file: /home/mercury1/repository/mercury/doc/user_guide.texi,v
retrieving revision 1.224
diff -u -d -r1.224 user_guide.texi
--- doc/user_guide.texi	2000/10/16 02:09:33	1.224
+++ doc/user_guide.texi	2000/10/23 13:21:04
@@ -3792,7 +3792,11 @@
 link time, and intermediate disk space requirements,
 but in return reduces the size of the final
 executable, typically by about 10-20%.
-This option is only useful with @samp{--procs-per-c-function 1}.
+This option is only useful with @samp{--procs-per-c-function 1},
+so this option automatically sets @samp{--procs-per-c-function 1}.
+
+The @samp{--high-level-code} back-end does not support
+ at samp{--split-c-files}.
 
 N.B.  When using @samp{mmake}, the @samp{--split-c-files} option should
 not be placed in the @samp{MCFLAGS} variable.  Instead, use the
Index: tests/hard_coded/Mmakefile
===================================================================
RCS file: /home/mercury1/repository/tests/hard_coded/Mmakefile,v
retrieving revision 1.91
diff -u -d -r1.91 Mmakefile
--- tests/hard_coded/Mmakefile	2000/10/11 03:01:12	1.91
+++ tests/hard_coded/Mmakefile	2000/10/23 13:05:24
@@ -115,8 +115,13 @@
 	write \
 	write_reg1
 
-SPLIT_PROGS = \
-	split_c_files
+# univ.m does not work in the hlc.* grades because unification of univ
+# values is not yet implemented.
+ifeq "$(findstring hl,$(GRADE))" ""
+SPLIT_PROGS = split_c_files
+else
+SPLIT_PROGS =
+endif
 
 # we do no pass the following tests
 #	purity -- executable name clashes with the `purity' subdirectory

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