WIN32 support

Ugh
2014-11-03 00:13:34 +00:00
parent ef0d7b77fb
commit c7a3836b2c
9 changed files with 184 additions and 150 deletions
--- a/packages/bdd/configure.in
+++ b/packages/bdd/configure.in
@@ -50,7 +50,7 @@ elif test -d "$cudd_dir/lib"; then
  LIBS="$LIBS -L $cudd_dir/lib"
 fi

-if test "$target_os" = "mingw32"  -o "$target_os" = "mingw64"
+if test "$target_os" = "mingw32"  -o "$target_os" = "mingw64" -o "$target_os" = "msys"  
 then
     #mingw: we know where things are
  CUDD_LIBS="$cudd_dir/lib/all_cudd.dll"