[m-dev.] diff: make cgi/html extras a library

[Warwick Harvey]

Tyson wrote:
> Estimated hours taken: 1
> 
> extras/cgi/Mmakefile:
> 	Add a library building makefile.
[...]

> Index: Mmakefile
> ===================================================================
> RCS file: Mmakefile
> diff -N Mmakefile
> --- /dev/null	Thu Mar  4 04:20:11 1999
> +++ Mmakefile	Fri Mar 24 14:45:42 2000
> @@ -0,0 +1,12 @@
> +
> +%------------------------------------------------------
> +
> +LIBRARY = libmercury_www
> +
> +MAIN_TARGET = $(LIBRARY)
> +
> +depend: mercury_www.depend
> +
> +distclean: realclean
> +
> +

You don't want to add:

	INSTALL_PREFIX := $(INSTALL_PREFIX)/extras

	install: libmercury_www.install

(or similar)?

:-)

Warwick
(Don't worry, I'm leaving the country on Wednesday, so you'll be free of me
after that... ;-)
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------