[m-dev.] diff: tools/bootcheck: fix libgc.a file name

[Fergus Henderson]

This is not very well tested...

----------

Estimated hours taken: 0.25

tools/bootcheck:
	Use the right name for the gc library in .par and .prof grades.

Workspace: /home/pgrad/fjh/ws/hg
Index: tools/bootcheck
===================================================================
RCS file: /home/mercury1/repository/mercury/tools/bootcheck,v
retrieving revision 1.102
diff -u -d -r1.102 bootcheck
--- tools/bootcheck	2000/10/31 07:54:10	1.102
+++ tools/bootcheck	2000/11/01 06:21:59
@@ -749,12 +749,17 @@
 	MERCURY_INT_DIR=$root/${stage2_insert}library
 	export MERCURY_INT_DIR
 
+	if test "$test_grade" = ""; then
+		gc_grade=`scripts/ml --print-gc-grade`
+	else
+		gc_grade=`scripts/ml --grade $test_grade --print-gc-grade`
+	fi
 	MERCURY_LIBS="
 		`$CYGPATH $root/${stage2_insert}trace/lib$TRACE_LIB_NAME.$A`
 		`$CYGPATH $root/${stage2_insert}browser/lib$BROWSER_LIB_NAME.$A`
 		`$CYGPATH $root/${stage2_insert}library/lib$STD_LIB_NAME.$A`
 		`$CYGPATH $root/${stage2_insert}runtime/lib$RT_LIB_NAME.$A`
-		`$CYGPATH $root/${stage2_insert}boehm_gc/libgc.$A`
+		`$CYGPATH $root/${stage2_insert}boehm_gc/lib$gc_grade.$A`
 		-lm"
 	export MERCURY_LIBS
 

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