diff: extras/trailed_update/Mmakefile: use GRADEFLAGS

Fergus Henderson fjh at cs.mu.oz.au
Fri Nov 21 19:11:14 AEDT 1997


extras/trailed_update/Mmakefile:
extras/trailed_update/samples/Mmakefile:
	Use `GRADEFLAGS = --use-trail' rather than `GRADE=asm_fast.gc.tr'.

cvs diff: Diffing .
Index: Mmakefile
===================================================================
RCS file: /home/mercury1/repository/mercury/extras/trailed_update/Mmakefile,v
retrieving revision 1.4
diff -u -u -r1.4 Mmakefile
--- Mmakefile	1997/11/11 10:25:53	1.4
+++ Mmakefile	1997/11/21 08:09:17
@@ -4,7 +4,7 @@
 # Public License - see the file COPYING.LIB in the Mercury distribution.
 #-----------------------------------------------------------------------------#
 
-GRADE = asm_fast.gc.tr
+GRADEFLAGS = --use-trail
 
 # enable C debugging
 RM_C = :
cvs diff: Diffing samples
Index: samples/Mmakefile
===================================================================
RCS file: /home/mercury1/repository/mercury/extras/trailed_update/samples/Mmakefile,v
retrieving revision 1.2
diff -u -u -r1.2 Mmakefile
--- Mmakefile	1997/10/06 18:46:56	1.2
+++ Mmakefile	1997/11/21 08:09:26
@@ -7,7 +7,7 @@
 MAIN_TARGET = all
 
 # We need to use a grade with trailing
-GRADE = asm_fast.gc.tr
+GRADEFLAGS = --use-trail
 
 MCFLAGS = --infer-all
 

-- 
Fergus Henderson <fjh at cs.mu.oz.au>   |  "I have always known that the pursuit
WWW: <http://www.cs.mu.oz.au/~fjh>   |  of excellence is a lethal habit"
PGP: finger fjh at 128.250.37.3         |     -- the last words of T. S. Garp.



More information about the developers mailing list