[m-rev.] diff: --enable-mm-grades

[Zoltan Somogyi]

configure.in:
	Add an option to enable the installation of minimal model grades.

Zoltan.

Index: configure.in
===================================================================
RCS file: /home/mercury1/repository/mercury/configure.in,v
retrieving revision 1.311
diff -u -b -r1.311 configure.in
--- configure.in	2002/07/04 03:40:50	1.311
+++ configure.in	2002/07/04 03:40:58
@@ -2030,6 +2030,10 @@
 [  --disable-par-grades    do not install thread-safe versions of the library],
 enable_par_grades="$enableval",enable_par_grades=yes)
 
+AC_ARG_ENABLE(mm-grades,
+[  --enable-mm-grades      install minimal model versions of the library],
+enable_mm_grades="$enableval",enable_mm_grades=no)
+
 AC_ARG_ENABLE(hlc-prof-grades,
 [  --enable-hlc-prof-grades
                           install profiling versions of the high level C grade],
@@ -2048,6 +2052,7 @@
 	enable_nogc_grades=no
 	enable_prof_grades=no
 	enable_trail_grades=no
+	enable_mm_grades=no
 	enable_hlc_prof_grades=no
 	enable_par_grades=no
 fi
@@ -2113,6 +2118,11 @@
 			LIBGRADES="$LIBGRADES $DEFAULT_GRADE.prof.tr"
 		fi
 	fi
+fi
+
+# add `.mm' (--minimal-model) grades
+if test "$enable_mm_grades" = yes; then
+	LIBGRADES="$LIBGRADES $BEST_GRADE.gc.mm $BEST_GRADE.gc.mm.debug"
 fi
 
 # add `.debug' (--debug) grades
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------