From 73760b3c213733fc98d67f9ceeb74d06b01a3777 Mon Sep 17 00:00:00 2001
From: Morgan Deters <mdeters@cs.nyu.edu>
Date: Tue, 18 Dec 2012 15:33:43 -0500
Subject: Add win32 support (merge from mdeters/win32, with some cleanup).

---
 configure.ac | 14 +++++++++++++-
 1 file changed, 13 insertions(+), 1 deletion(-)

(limited to 'configure.ac')

diff --git a/configure.ac b/configure.ac
index 39672a554..6af7cf97c 100644
--- a/configure.ac
+++ b/configure.ac
@@ -220,7 +220,8 @@ esac
 AM_CONDITIONAL([AUTOMAKE_1_11], [$automake111])
 
 # Initialize libtool's configuration options.
-_LT_SET_OPTION([LT_INIT],[win32-dll])
+# we're not DLL-clean yet (i.e., don't properly use dllexport and dllimport)
+# _LT_SET_OPTION([LT_INIT],[win32-dll])
 LT_INIT
 
 # Checks for programs.
@@ -900,6 +901,12 @@ AC_SEARCH_LIBS([clock_gettime], [rt],
                [AC_DEFINE([HAVE_CLOCK_GETTIME], [1],
                           [Defined to 1 if clock_gettime() is supported by the platform.])],
                [AC_LIBOBJ([clock_gettime])])
+AC_CHECK_FUNC([strtok_r], [AC_DEFINE([HAVE_STRTOK_R], [1],
+                                     [Defined to 1 if strtok_r() is supported by the platform.])],
+                          [AC_LIBOBJ([strtok_r])])
+AC_CHECK_FUNC([ffs], [AC_DEFINE([HAVE_FFS], [1],
+                                [Defined to 1 if ffs() is supported by the platform.])],
+                     [AC_LIBOBJ([ffs])])
 
 # Check for the presence of CUDD libraries
 CVC4_CHECK_CUDD
@@ -1117,6 +1124,11 @@ CXXFLAGS="${CXXFLAGS:+$CXXFLAGS }$CVC4CXXFLAGS -Wno-deprecated"
 CFLAGS="${CFLAGS:+$CFLAGS }$CVC4CFLAGS -Wno-deprecated -fexceptions"
 LDFLAGS="${LDFLAGS:+$LDFLAGS }$CVC4LDFLAGS"
 
+# visibility flag not supported for Windows builds
+case $host_os in
+  (*mingw*) FLAG_VISIBILITY_HIDDEN=
+esac
+
 AC_SUBST(FLAG_VISIBILITY_HIDDEN)
 
 # mk_include
-- 
cgit v1.2.3