[m-rev.] for review: fix mmc --make on windows

[Julien Fischer]

On Mon, 6 Feb 2006, Peter Wang wrote:

> Estimated hours taken: 3
> Branches: main
>
> Fix some problems with `mmc --make' on Windows (or possibly any platform
> without symbolic links).
>
> compiler/make.program_target.m:
> 	Don't try to install `.mh' files into `inc/Mercury/mhs' as this is
> 	(seems) unnecessary.
>

Are you sure that it's not necessary in the situation where you install a
library with mmc --make and then try using it with mmake?

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