[m-rev.] diff/for review:

[Zoltan Somogyi]

configure.in:
	Provide an option, --enable-mmos-grades, for installing the mmos
	grades. At the moment this is only for mmos developers (i.e. me).

Index: configure.in
===================================================================
RCS file: /home/mercury/mercury1/repository/mercury/configure.in,v
retrieving revision 1.488
diff -u -b -r1.488 configure.in
--- configure.in	21 Mar 2007 23:39:09 -0000	1.488
+++ configure.in	17 Apr 2007 05:49:20 -0000
@@ -2872,6 +2872,11 @@
                    [install minimal model versions of the library]),
     enable_mm_grades="$enableval",enable_mm_grades=no)
 
+AC_ARG_ENABLE(mmos-grades,
+    AC_HELP_STRING([--enable-mmos-grades],
+                   [install experimental minimal model own stack versions of the library]),
+    enable_mmos_grades="$enableval",enable_mmos_grades=no)
+
 AC_ARG_ENABLE(dmm-grades,
    AC_HELP_STRING([--enable-dmm-grades],
                   [install minimal model debug versions of the library]),
@@ -2915,6 +2920,7 @@
 	enable_prof_grades=no
 	enable_trail_grades=no
 	enable_mm_grades=no
+	enable_mmos_grades=no
 	enable_dmm_grades=no
 	enable_hlc_prof_grades=no
 	enable_hlc_ll_debug_grades=no
@@ -3057,14 +3063,28 @@
 
 # add `.mm' (--minimal-model) grades
 if test "$enable_mm_grades" = yes; then
-	LIBGRADES="$LIBGRADES $BEST_LLDS_BASE_GRADE.gc.mmsc \
+	LIBGRADES="$LIBGRADES \
+		$BEST_LLDS_BASE_GRADE.gc.mmsc \
 		$BEST_LLDS_BASE_GRADE.gc.mmsc.debug"
 	if test "$enable_dmm_grades" = yes; then
-		LIBGRADES="$LIBGRADES $BEST_LLDS_BASE_GRADE.gc.dmmsc \
+		LIBGRADES="$LIBGRADES \
+			$BEST_LLDS_BASE_GRADE.gc.dmmsc \
 			$BEST_LLDS_BASE_GRADE.gc.dmmsc.debug"
 	fi
 fi
 
+# add `.mmos' grades
+if test "$enable_mmos_grades" = yes; then
+	LIBGRADES="$LIBGRADES \
+		$BEST_LLDS_BASE_GRADE.gc.mmos \
+		$BEST_LLDS_BASE_GRADE.gc.mmos.debug"
+	if test "$enable_dmm_grades" = yes; then
+		LIBGRADES="$LIBGRADES \
+			$BEST_LLDS_BASE_GRADE.gc.dmmos \
+			$BEST_LLDS_BASE_GRADE.gc.dmmos.debug"
+	fi
+fi
+
 # add `.debug' (--debug) and `.decldebug' (--decl-debug) grades
 if test "$enable_debug_grades" = yes; then
 	LIBGRADES="$LIBGRADES $BEST_DEBUG_BASE_GRADE.gc.tr.debug"
--------------------------------------------------------------------------
mercury-reviews mailing list
Post messages to:       mercury-reviews at csse.unimelb.edu.au
Administrative Queries: owner-mercury-reviews at csse.unimelb.edu.au
Subscriptions:          mercury-reviews-request at csse.unimelb.edu.au
--------------------------------------------------------------------------