[m-rev.] diff: disable texi2dvi under windows

[Peter Ross]

Hi,


===================================================================


Estimated hours taken: 0.25
Branches: main

configure.in:
    Disable the test for texi2dvi under cygwin, as the texi2dvi that
    currently ships with cygwin is broken.


Index: configure.in
===================================================================
RCS file: /home/mercury1/repository/mercury/configure.in,v
retrieving revision 1.253
diff -u -r1.253 configure.in
--- configure.in	2001/04/10 15:37:35	1.253
+++ configure.in	2001/05/17 09:02:37
@@ -316,7 +316,13 @@
 AC_PATH_PROG(INSTALL_INFO,install-info)
 AC_SUBST(INSTALL_INFO)
 #-----------------------------------------------------------------------------#
-AC_PATH_PROG(TEXI2DVI,texi2dvi)
+# texi2dvi is currently broken on cygwin
+case "$host" in
+	*-cygwin*)
+		TEXI2DVI="" ;;
+	*)
+		AC_PATH_PROG(TEXI2DVI,texi2dvi) ;;
+esac
 AC_SUBST(TEXI2DVI)
 #-----------------------------------------------------------------------------#
 AC_PATH_PROG(DVIPS,dvips)

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