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

[Fergus Henderson]

On 23-Oct-2000, Peter Ross <peter.ross at miscrit.be> wrote:
> > -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
>
> The comment doesn't make sense,

Ah, yes, a cut-and-paste error.
I've changed it to

	# --split-c-files does not work in the hl* grades (e.g. hlc.gc),
	# because it hasn't yet been implemented yet.

I'll go ahead and commit this one now.

> plus we do unify univs now so we should
> turn that test back on.

I'll commit that as a separate change.

----------

Estimated hours taken: 0.1

tests/general/Mmakefile:
	Re-enable to `univ' test in hl* grades, since we now pass it.

Workspace: /home/pgrad/fjh/ws/hg
Index: tests/general/Mmakefile
===================================================================
RCS file: /home/mercury1/repository/tests/general/Mmakefile,v
retrieving revision 1.31
diff -u -d -r1.31 Mmakefile
--- tests/general/Mmakefile	2000/09/11 04:28:21	1.31
+++ tests/general/Mmakefile	2000/10/23 13:50:35
@@ -64,13 +64,8 @@
 		string_format_test_3 \
 		string_test \
 		string_test_2 \
-		unreachable 
-
-# univ.m does not work in the hlc.* grades because unification of univ
-# values is not yet implemented.
-ifeq "$(findstring hl,$(GRADE))" ""
-	PROGS+= univ
-endif
+		univ \
+		unreachable
 
 # dnf.m does not work in non-gc grades, because it uses `pragma memo'
 # (i.e. tabling) and tabling is not yet implemented for non-gc grades.
-- 
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
--------------------------------------------------------------------------