[m-dev.] for review: improve build on MS-Windows.

Fergus Henderson fjh at cs.mu.OZ.AU
Tue Jul 20 14:38:07 AEST 1999


On 20-Jul-1999, Tyson Dowd <trd at cs.mu.OZ.AU> wrote:
> +++ README.MS-Windows	1999/07/19 21:28:50
> @@ -42,6 +42,12 @@
>  
>  For more information on Cygwin, see the Cygwin web site mentioned above.
>  
> +If you want to use the mtags tool from Mercury, you'll need to install
> +perl.  A binary distribution of Perl is available at the Cygwin porting
> +project:
> +	http://www.student.uni-koeln.de/cygwin/

"from Mercury" doesn't sound quite right to me.

> Index: doc/Mmakefile
> +ifeq ($(PERL),)

I think it is slightly clearer to write

	ifeq ("$(PERL)","")

> +ifeq ($(TEXI2DVI),)
...
> +ifeq ($(MAKEINFO),)
...
> +ifeq ($(DVIPS),)

Likewise.

>  .PHONY: all
> -all: info dvi html manpages mdb_doc mdb_command_list mdb_command_test.inp
> -#all: ps text
> +all: $(INFO) $(DVI) $(HTML) manpages $(MDB_DOC) 

The commented-out targets "ps" and "text" should stay, I think.
If you want, you could add a comment explaining them, e.g.

	# Currently `mmake all' does not build the PostScript or plain-text
	# versions of the documentation.  But it might make sense to add them.

>  .PHONY: install
> -install: install_info install_html install_dvi install_manpages install_mdb_doc
> +install: $(INSTALL_INFO) $(INSTALL_HTML) $(INSTALL_DVI) install_manpages \
> +	$(INSTALL_MDB_DOC) 
>  	# install_text install_ps

Likewise.

Apart from that, those changes look fine.

-- 
Fergus Henderson <fjh at cs.mu.oz.au>  |  "I have always known that the pursuit
WWW: <http://www.cs.mu.oz.au/~fjh>  |  of excellence is a lethal habit"
PGP: finger fjh at 128.250.37.3        |     -- the last words of T. S. Garp.
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------



More information about the developers mailing list