[m-dev.] For review: Simplified installation of user libraries

[Warwick Harvey]

> On 03-Oct-1999, Warwick Harvey <wharvey at cs.monash.edu.au> wrote:
> > scripts/cleanup_install:
> >         New script, for cleaning up after failed installs.  
> 
> That should probably be named `mercury_cleanup_install'.
> The name `cleanup_install' is too generic; it might well
> conflict with command names from other packages.

Fair enough; fixed.

> Also you need to add mercury_cleanup_install to the definition of
> $(UTILS) in bindist/Mmakefile and bindist/bindist.Makefile.in.

Fixed.

Assuming it passes a test of the binary distribution stuff, plus a final 
round of library installation tests, I'll commit it.

Thanks,
Warwick

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