[m-rev.] for review: installing hlc_nest grades

Zoltan Somogyi zs at cs.mu.OZ.AU
Mon Jan 28 18:14:30 AEDT 2002


configure.in:
	Include hlc_nest grades if the user asks for non-optimal grades.

Zoltan.

cvs diff: Diffing .
Index: configure.in
===================================================================
RCS file: /home/mercury1/repository/mercury/configure.in,v
retrieving revision 1.292
diff -u -b -r1.292 configure.in
--- configure.in	2002/01/28 06:59:34	1.292
+++ configure.in	2002/01/28 07:05:42
@@ -2135,7 +2135,11 @@
 LIBGRADES="$LIBGRADES $DEFAULT_GRADE.tr.debug"
 
 # add `hlc' (--high-level-code, i.e. MLDS back-end) grades
-LIBGRADES="$LIBGRADES hlc.gc"
+if test "$enable_inefficient_grades" = yes -a "$CC" = gcc ; then
+    LIBGRADES="$LIBGRADES hlc.gc hlc_nest.gc"
+else
+    LIBGRADES="$LIBGRADES hlc.gc"
+fi
 
 if test $mercury_cv_microsoft_dotnet = yes -a "$enable_dotnet_grades" = yes
 then
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------



More information about the reviews mailing list