[m-rev.] diff: install .decldebug grade by default

[Julien Fischer]

Estimated hours taken: 0.5
Branches: main, release

configure.in:
	Install the .decldebug version of the library as well
	as the .debug one by default.  The .decldebug grades
	are now usefully different from the .debug grades
	(the former are required in order to use subterm
	dependency tracking).

	Add two new options to configure, one that disables the
	installation of all debugging grades and one that
	disables the installation of just the decl-debug grades.

	Fix some formatting in the configure help message.

Julien.

Index: configure.in
===================================================================
RCS file: /home/mercury1/repository/mercury/configure.in,v
retrieving revision 1.413
diff -u -r1.413 configure.in
--- configure.in	28 Feb 2005 11:05:29 -0000	1.413
+++ configure.in	23 Mar 2005 01:51:45 -0000
@@ -2553,13 +2553,23 @@
 enable_most_grades="$enableval",enable_most_grades=yes)

 AC_ARG_ENABLE(nogc-grades,
-[  --enable-nogc-grades   install no-gc versions of the library],
+[  --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     install accurate GC versions of the library],
 enable_agc_grades="$enableval",enable_agc_grades=no)

+AC_ARG_ENABLE(debug-grades,
+[  --disable-debug-grades  do not install the debugging versions of the library],
+enable_debug_grades="enableval",enable_debug_grades=yes)
+
+AC_ARG_ENABLE(decl-debug-grades,
+[  --disable-decl-debug-grades
+                          do not install the declarative debugging versions
+                          of the library],
+enable_decl_debug_grades="enableval",enable_decl_debug_grades=yes)
+
 AC_ARG_ENABLE(prof-grades,
 [  --disable-prof-grades   do not install profiling versions of the library],
 enable_prof_grades="$enableval",enable_prof_grades=yes)
@@ -2588,7 +2598,7 @@
 # XXX The java backend is currently broken, so we don't
 # enable the java grade by default.
 AC_ARG_ENABLE(java-grade,
-[  --enable-java-grade    install the Java grade],
+[  --enable-java-grade     install the Java grade],
 enable_java_grade="$enableval",enable_java_grade=no)

 AC_ARG_ENABLE(libgrades,
@@ -2750,8 +2760,13 @@
 		$BEST_LLDS_BASE_GRADE.gc.mmsc.debug"
 fi

-# add `.debug' (--debug) grades
-LIBGRADES="$LIBGRADES $BEST_DEBUG_BASE_GRADE.gc.tr.debug"
+# add `.debug' (--debug) and `.decldebug' (--decl-debug) grades
+if test "$enable_debug_grades" = yes; then
+	LIBGRADES="$LIBGRADES $BEST_DEBUG_BASE_GRADE.gc.tr.debug"
+	if test "$enable_decl_debug_grades" = yes; then
+		LIBGRADES="$LIBGRADES $BEST_DEBUG_BASE_GRADE.gc.tr.decldebug"
+	fi
+fi

 # Add the .par (thread-safe) grade, if it is supported for this system
 if test "$enable_par_grades" = yes -a "$CFLAGS_FOR_THREADS" != ""; then

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