[m-rev.] for review: delete the hl grade component

[Julien Fischer]

On Sat, 11 Apr 2020, Zoltan Somogyi wrote:

>>> diff --git a/scripts/parse_ml_options.sh-subr.in b/scripts/parse_ml_options.sh-subr.in
>>> index 4c8e8d3ca..bc13e1d16 100644
>>> --- a/scripts/parse_ml_options.sh-subr.in
>>> +++ b/scripts/parse_ml_options.sh-subr.in
>>> @@ -1,4 +1,6 @@
>>>  #---------------------------------------------------------------------------#
>>> +# vim: ts=4 sw=4 expandtab ft=sh
>>> +#---------------------------------------------------------------------------#
>>>  # Copyright (C) 2001-2007, 2011 The University of Melbourne.
>>>  # This file may only be copied under the terms of the GNU General
>>>  # Public License - see the file COPYING in the Mercury distribution.
>>> @@ -18,7 +20,7 @@
>>>
>>>  # initialize common options
>>>  mercury_config_dir=${MERCURY_STDLIB_DIR- at CONFIG_LIBDIR@}
>>> -mercury_config_dir=${MERCURY_CONFIG_DIR=$mercury_config_dir}
>>> +mercury_config_dir=${MERCURY_CONFIG_DIR=${mercury_config_dir}}
>>>  mercury_stdlib_dir=${MERCURY_STDLIB_DIR=@LIBDIR@}
>>>
>>>  # initialize ml options
>>> @@ -27,7 +29,7 @@ allow_undef=false
>>>  trace=false
>>>  ssdb=false
>>>  readline=true
>>> -case $FULLARCH in
>>> +case ${FULLARCH} in
>>>  	*-win95|*-winnt|*-win32|*-cygwin32|*-cygwin|*mingw*)
>>
>> Not that it is relevant to this diff, but I'm pretty sure some
>> of those alternatives (*-win95)  can go now.
>
> I will leave that to you, but I don't think their presence is a huge
> burden, and someone may still be using it :-(

I very much doubt anyone is using Mercury on Windows 95.  In any case,
we dropped support for versions of Windows older than XP a release or so
ago.  (And for 20.01 we don't support anything older than Windows 7.)

Julien.