[m-dev.] diff: disable hlc grade in configure

[Peter Ross]

Hi,


===================================================================


Estimated hours taken: 0.1

configure.in:
	Don't install the hlc grade, as is doesn't compile.


Index: configure.in
===================================================================
RCS file: /home/mercury1/repository/mercury/configure.in,v
retrieving revision 1.220
diff -u -r1.220 configure.in
--- configure.in	2000/08/30 12:24:36	1.220
+++ configure.in	2000/09/01 12:16:33
@@ -1774,9 +1774,6 @@
 enable_all_hlc_grades=yes,enable_all_hlc_grades=no)
 
 if test $enable_all_hlc_grades = "yes" -o $ac_microsoft = "yes"; then
-	# add `hlc' grade
-	LIBGRADES="$LIBGRADES hlc"
-
 	# add `.prof' (--profiling) grades, if time profiling is supported,
 	# and a `.memprof' (--memory-profiling) grade.
 	if test $mercury_cv_profiling = yes; then

--------------------------------------------------------------------------
mercury-developers mailing list
Post messages to:       mercury-developers at cs.mu.oz.au
Administrative Queries: owner-mercury-developers at cs.mu.oz.au
Subscriptions:          mercury-developers-request at cs.mu.oz.au
--------------------------------------------------------------------------