diff options
| author | Morgan Deters <mdeters@cs.nyu.edu> | 2012-12-18 15:33:43 -0500 |
|---|---|---|
| committer | Morgan Deters <mdeters@cs.nyu.edu> | 2013-01-24 16:22:42 -0500 |
| commit | 73760b3c213733fc98d67f9ceeb74d06b01a3777 (patch) | |
| tree | 8840f595428560499bc6739513ac3a1fbb2746ca /configure.ac | |
| parent | 1435948e241d3134d44662b9476935fe635b4166 (diff) | |
Add win32 support (merge from mdeters/win32, with some cleanup).
Diffstat (limited to 'configure.ac')
| -rw-r--r-- | configure.ac | 14 |
1 files changed, 13 insertions, 1 deletions
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 |