diff options
| author | Zoltan Varga <vargaz@gmail.com> | 2004-10-10 20:00:51 +0400 |
|---|---|---|
| committer | Zoltan Varga <vargaz@gmail.com> | 2004-10-10 20:00:51 +0400 |
| commit | 2027b7046b3a16bd7bc1835b69f632270eae258b (patch) | |
| tree | 6eec6741b551b271960543587e9204d886e9e7df /configure.in | |
| parent | 9fd98bca7ce45185c86f60f9cbecc8f2691009eb (diff) | |
2004-10-10 Zoltan Varga <vargaz@freemail.hu>
* configure.in: Add some checks for cygwin weirdness.
svn path=/trunk/mono/; revision=34845
Diffstat (limited to 'configure.in')
| -rw-r--r-- | configure.in | 22 |
1 files changed, 21 insertions, 1 deletions
diff --git a/configure.in b/configure.in index 9f065aba71b..d6b44840194 100644 --- a/configure.in +++ b/configure.in @@ -55,7 +55,6 @@ case "$host" in with_nptl=default with_sigaltstack=no LN_S=cp - ;; *-*-*netbsd*) platform_win32=no @@ -300,6 +299,27 @@ AC_SUBST(GLIB_LIBS) AC_SUBST(GMODULE_CFLAGS) AC_SUBST(GMODULE_LIBS) +if test x$platform_win32 = xyes; then + AC_MSG_CHECKING(for cygwin glib2-dev package) + if [ cygcheck --f /usr/lib/libglib-2.0.dll.a | grep -q glib2-devel ]; then + AC_MSG_RESULT(found) + AC_MSG_ERROR([Mono cannot be built with the cygwin glib2-devel package installed, because that package doesn't work with -mno-cygwin. Please uninstall it then re-run configure.]) + else + AC_MSG_RESULT(not found, ok) + fi + + AC_MSG_CHECKING(for broken gwin32.h) + glib_include=`$PKG_CONFIG --cflags-only-I glib-2.0 | sed -e 's/ -I.*//g' | sed -e 's/-I//g'` + if test -f $glib_include/glib/gwin32.h; then + if [ grep ftruncate $glib_include/glib/gwin32.h | grep -q define ]; then + AC_MSG_RESULT(failed) + hashmark='#' + AC_MSG_ERROR([Your version of gwin32.h is broken and will cause compilation errors when building mono. Please fix it by deleting the line: '$hashmark define ftruncate...' from '$glib_include/glib/gwin32.h' then re-run configure.]) + fi + fi + AC_MSG_RESULT(ok) +fi + AC_ARG_WITH(gc, [ --with-gc=boehm,included,none],[gc=$with_gc],[gc=$gc_default]) # Enable support for fast thread-local storage |