[m-dev.] diff: use correct library extension

[Peter Ross]

Hi,

Forget to do the profiler directory.

===================================================================


Estimated hours taken: 0.1

profiler/Mmakefile:
    Use .$A instead of .a for the default library extension.

Index: Mmakefile
===================================================================
RCS file: /home/mercury1/repository/mercury/profiler/Mmakefile,v
retrieving revision 1.14
diff -u -r1.14 Mmakefile
--- Mmakefile	2000/05/15 06:10:07	1.14
+++ Mmakefile	2000/06/14 14:47:38
@@ -40,13 +40,13 @@
                 MERCURY_MKINIT=$(UTIL_DIR)/mkinit $(SCRIPTS_DIR)/c2init
 ML	=	MERCURY_C_LIB_DIR=. $(SCRIPTS_DIR)/ml
 MLFLAGS =	--mercury-libs none
-MLLIBS  =	$(TRACE_DIR)/lib$(TRACE_LIB_NAME).a \
-		$(BROWSER_DIR)/lib$(BROWSER_LIB_NAME).a \
-		$(LIBRARY_DIR)/lib$(STD_LIB_NAME).a \
-		$(RUNTIME_DIR)/lib$(RT_LIB_NAME).a ` \
+MLLIBS  =	$(TRACE_DIR)/lib$(TRACE_LIB_NAME).$A \
+		$(BROWSER_DIR)/lib$(BROWSER_LIB_NAME).$A \
+		$(LIBRARY_DIR)/lib$(STD_LIB_NAME).$A \
+		$(RUNTIME_DIR)/lib$(RT_LIB_NAME).$A ` \
 		    case $(GRADE) in \
-			*.gc*.prof*)    echo $(BOEHM_GC_DIR)/libgc_prof.a ;; \
-			*.gc*)          echo $(BOEHM_GC_DIR)/libgc.a ;; \
+			*.gc*.prof*)    echo $(BOEHM_GC_DIR)/libgc_prof.$A ;; \
+			*.gc*)          echo $(BOEHM_GC_DIR)/libgc.$A ;; \
 		    esac \
 		` -lm
 MSL	=	MERCURY_SP_LIB_DIR=$(LIBRARY_DIR) $(SCRIPTS_DIR)/msl
@@ -66,9 +66,9 @@
 # Add some additional dependencies, so that Mmake knows to remake the
 # profiler if one of the libraries changes.
 
-mercury_profile: $(RUNTIME_DIR)/lib$(RT_LIB_NAME).a
-mercury_profile: $(LIBRARY_DIR)/lib$(STD_LIB_NAME).a
-# Should also depend on $(BOEHM_GC_DIR)/libgc(_prof).a, but only
+mercury_profile: $(RUNTIME_DIR)/lib$(RT_LIB_NAME).$A
+mercury_profile: $(LIBRARY_DIR)/lib$(STD_LIB_NAME).$A
+# Should also depend on $(BOEHM_GC_DIR)/libgc(_prof).$A, but only
 # if in .gc(.prof) grade; GNU make does not support dynamic dependencies,
 # so just leave it out.
 

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