[m-rev.] [dotnet-foreign] diff: add ilc to list of grades to install

[Tyson Dowd]

Ok, this looks fine, please make sure it goes on the main branch (as per
the log message) not just the dotnet-foreign branch (as per the subject
line).

On 31-Jul-2001, Peter Ross <peter.ross at miscrit.be> wrote:
> Hi,
> 
> 
> ===================================================================
> 
> 
> Estimated hours taken: 0.1
> Branches: main
> 
> configure.in:
>     If mercury_cv_microsoft_dotnet equals yes then add ilc to the list
>     of grades to install.
> 
> 
> Index: configure.in
> ===================================================================
> RCS file: /home/mercury1/repository/mercury/configure.in,v
> retrieving revision 1.252.4.9
> diff -u -r1.252.4.9 configure.in
> --- configure.in	18 Jul 2001 14:54:16 -0000	1.252.4.9
> +++ configure.in	31 Jul 2001 13:29:33 -0000
> @@ -2092,6 +2092,10 @@
>  # add `hlc' (--high-level-code, i.e. MLDS back-end) grades
>  LIBGRADES="$LIBGRADES hlc.gc"
>  
> +if test $mercury_cv_microsoft_dotnet = "yes"; then
> +    LIBGRADES="$LIBGRADES ilc"
> +fi
> +
>  if test $enable_hlc_prof_grades = "yes" -o $ac_microsoft = "yes"; then
>  	# add `.prof' (--profiling) grades, if time profiling is supported,
>  	# and a `.memprof' (--memory-profiling) grade.
> 
> --------------------------------------------------------------------------
> 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
> --------------------------------------------------------------------------
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------