[m-rev.] add --enable-agc-grades option to configure

[Fergus Henderson]

Estimated hours taken: 0.25
Branches: main

configure.in:
	Add a configure option to enable accurate GC grades.

.INSTALL.in:
	Document the new option.

Workspace: /home/ceres/fjh/mercury
Index: .INSTALL.in
===================================================================
RCS file: /home/mercury1/repository/mercury/.INSTALL.in,v
retrieving revision 1.10
diff -u -d -r1.10 .INSTALL.in
--- .INSTALL.in	9 May 2002 11:49:26 -0000	1.10
+++ .INSTALL.in	5 Nov 2003 08:11:34 -0000
@@ -124,6 +124,9 @@
 #	   grades corresponding to the `--debug' and `--high-level-code'
 #	   options).
 #
+#	   The option --enable-agc-grades causes the installation
+#	   of grades that support type-accurate garbage collection.
+#
 #	   The option --disable-nogc-grades prevents the installation
 #	   of grades without garbage collection.
 #
Index: configure.in
===================================================================
RCS file: /home/mercury1/repository/mercury/configure.in,v
retrieving revision 1.379
diff -u -d -r1.379 configure.in
--- configure.in	28 Oct 2003 09:51:00 -0000	1.379
+++ configure.in	1 Nov 2003 04:28:06 -0000
@@ -2383,6 +2383,10 @@
 [  --enable-nogc-grades   install no-gc versions of the library],
 enable_nogc_grades="$enableval",enable_nogc_grades=no)
 
+AC_ARG_ENABLE(agc-grades,
+[  --enable-agc-grades   install accurate GC versions of the library],
+enable_agc_grades="$enableval",enable_agc_grades=no)
+
 AC_ARG_ENABLE(prof-grades,
 [  --disable-prof-grades   do not install profiling versions of the library],
 enable_prof_grades="$enableval",enable_prof_grades=yes)
@@ -2419,6 +2423,7 @@
 if test "$enable_most_grades" = no; then
 	enable_inefficient_grades=no
 	enable_nogc_grades=no
+	enable_agc_grades=no
 	enable_prof_grades=no
 	enable_trail_grades=no
 	enable_mm_grades=no
@@ -2483,6 +2488,12 @@
 LIBGRADES="$LIBGRADES hlc.gc"
 if test "$enable_inefficient_grades" = yes -a "$GCC" = yes ; then
     LIBGRADES="$LIBGRADES hlc_nest.gc"
+fi
+
+# Add `.agc' (--gc accurate) grades
+# Currently only hlc.agc is supported.
+if test "$enable_agc_grades" = yes; then
+    LIBGRADES="$LIBGRADES hlc.agc"
 fi
 
 # Add grades for profiling.

-- 
Fergus Henderson <fjh at cs.mu.oz.au>  |  "I have always known that the pursuit
The University of Melbourne         |  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
--------------------------------------------------------------------------