[m-rev.] trivial diff: minor updates to CLPR samples Mmakefile

[Fergus Henderson]

Estimated hours taken: 0.25
Branches: main

extras/clpr/samples/Mmakefile:
	Use CFLAGS rather than MGNUCFLAGS for C compiler options.
	Delete some long obsolete code to support EXTRA_* variables,
	since that feature is built in to Mmake now.

Workspace: /mnt/mars/home/mars/fjh/ws1/mercury
Index: extras/clpr/samples/Mmakefile
===================================================================
RCS file: /home/mercury1/repository/clpr/samples/Mmakefile,v
retrieving revision 1.12
diff -u -d -r1.12 Mmakefile
--- extras/clpr/samples/Mmakefile	2000/12/26 02:17:20	1.12
+++ extras/clpr/samples/Mmakefile	2001/05/29 09:37:45
@@ -9,12 +9,12 @@
 GRADEFLAGS += --use-trail
 
 # Enable C debugging
-MGNUCFLAGS = -g
+CFLAGS = -g
 MLFLAGS = -g
 RM_C = :
 
 # Link in the CLP(R) library and the cfloat_lib library
-MGNUCFLAGS += -I..
+CFLAGS += -I..
 MCFLAGS += -I..
 MLFLAGS += -R`pwd`/.. -R`pwd`/../clpr -L.. -L../clpr
 MLLIBS = -lcfloat_lib -lclpr
@@ -22,23 +22,12 @@
 C2INITARGS = ../cfloat_lib.init ../cfloat.c
 
 # The following is needed so that we can use shared libraries on Linux
-MGNUCFLAGS += -DPIC_REG
+CFLAGS += -DPIC_REG
 MLFLAGS += --shared
 
 # The following would be needed to use static libraries on Linux
 # (comment out the lines above first)
 #MLFLAGS += --static
-
-#-----------------------------------------------------------------------------#
-
-# The following lets you add extra flags on the command line, e.g.
-# 	mmake EXTRA_CFLAGS=-O3
-
-MGNUCFLAGS += $(EXTRA_CFLAGS)
-MCFLAGS += $(EXTRA_MCFLAGS)
-MLFLAGS += $(EXTRA_MLFLAGS)
-MLLIBS += $(EXTRA_MLLIBS)
-C2INITFLAGS += $(EXTRA_C2INITFLAGS)
 
 #-----------------------------------------------------------------------------#
 

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