[m-rev.] diff: check that the default grade is going to be installed

[Julien Fischer]

Estimated hours taken: 0.5
Branches: main

Check that the default grade for applications is one of the grades that
is going to be installed and emit a warning if this is not the case.

configure.in:
 	Make the above change.

Julien.

Index: configure.in
===================================================================
RCS file: /home/mercury/mercury1/repository/mercury/configure.in,v
retrieving revision 1.505
diff -u -r1.505 configure.in
--- configure.in	24 Oct 2007 09:21:13 -0000	1.505
+++ configure.in	25 Oct 2007 05:37:48 -0000
@@ -3229,6 +3229,23 @@
  LIBGRADES=`echo $LIBGRADES`
  MERCURY_MSG("using \`$LIBGRADES' as the set of library grades to install")

+# Check that the default grade is in the set of grades to install.
+#
+have_default_grade="no"
+for libgrade in $LIBGRADES
+do
+	if test "$DEFAULT_GRADE" = "$libgrade"
+	then
+		have_default_grade="yes"
+	fi
+done
+ 
+if test "$have_default_grade" = "no"
+then
+	AC_MSG_WARN([the default grade for applications is $DEFAULT_GRADE,
+****	but this grade is not going to be installed.])
+fi
+
  LIBGRADE_OPTS=
  for libgrade in $LIBGRADES
  do

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