From 2001903c89128d2cc8e6870ada70e02f44bd5b60 Mon Sep 17 00:00:00 2001
From: steve <steve>
Date: Sun, 24 Nov 2002 02:27:28 +0000
Subject: [PATCH]  Cygwin doesnot need driver-vpi sibdirectory.

---
 Makefile.in  | 5 ++++-
 configure.in | 2 ++
 2 files changed, 6 insertions(+), 1 deletion(-)

diff --git a/Makefile.in b/Makefile.in
index fea2a7181..2457d7600 100644
--- a/Makefile.in
+++ b/Makefile.in
@@ -16,7 +16,7 @@
 #    59 Temple Place - Suite 330
 #    Boston, MA 02111-1307, USA
 #
-#ident "$Id: Makefile.in,v 1.137 2002/11/13 01:50:11 steve Exp $"
+#ident "$Id: Makefile.in,v 1.138 2002/11/24 02:27:28 steve Exp $"
 #
 #
 SHELL = /bin/sh
@@ -83,7 +83,10 @@ all: dosify.exe
 dosify.exe: dosify.c
 	$(CC) -o dosify.exe dosify.c
 
+ifeq (@MINGW32@,yes)
 SUBDIRS += driver-vpi
+endif
+
 else
 all: iverilog-vpi
 endif
diff --git a/configure.in b/configure.in
index 819f3940b..af2182253 100644
--- a/configure.in
+++ b/configure.in
@@ -190,6 +190,8 @@ if test "$CYGWIN" = "yes" -o "$MINGW32" = "yes"
 then
     WIN32=yes
 fi
+
+AC_SUBST(MINGW32)
 AC_SUBST(WIN32)
 AC_MSG_RESULT($WIN32)
 AC_SUBST(EXEEXT)