[m-rev.] diff: re-enable the use of texi2dvi on MinGW

Julien Fischer juliensf at csse.unimelb.edu.au
Wed Nov 23 22:50:02 AEDT 2011

Note: I haven't looked at what the current Cygwin version does,
but if it does work then I will re-enable it too.

Branches: main, 11.07

 	The MinGW port of texi2dvi is now works.
 	(The use of tex2dvi was disabled on MinGW six years ago because
 	the then current version went into a loop.)


Index: configure.in
RCS file: /home/mercury/mercury1/repository/mercury/configure.in,v
retrieving revision 1.603
diff -u -r1.603 configure.in
--- configure.in	8 Nov 2011 03:11:41 -0000	1.603
+++ configure.in	23 Nov 2011 11:46:19 -0000
@@ -824,14 +824,11 @@
-# texi2dvi is currently broken on cygwin and mingw
+# texi2dvi is currently broken on cygwin
  case "$host" in
-    *mingw*)
-        TEXI2DVI=""
-        ;;
mercury-reviews mailing list
Post messages to:       mercury-reviews at csse.unimelb.edu.au
Administrative Queries: owner-mercury-reviews at csse.unimelb.edu.au
Subscriptions:          mercury-reviews-request at csse.unimelb.edu.au

More information about the reviews mailing list