X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=configure.in;h=5f644886dbb5a255c8b20a70d1cd3ac49b96e4fb;hb=b01cab26f3dfe7ccbb73985a3c8b85e7dad2ebb7;hp=ccaa828d6ae2e2012e3ab83f3ff94f9ef16c4a80;hpb=943c67d68bd033d2a8d62c85ce69f8b6a0b11e3b;p=ghc-hetmet.git diff --git a/configure.in b/configure.in index ccaa828..5f64488 100644 --- a/configure.in +++ b/configure.in @@ -432,6 +432,10 @@ AC_ARG_WITH(gcc, Use a different command instead of 'gcc' for the GNU C compiler. ], [WhatGccIsCalled="$withval" + if test "x$HostPlatform" = "xi386-unknown-mingw32"; then + # Canonicalise to :/path/to/gcc + withval=`cygpath -w ${withval} | sed -e 's@\\\\@/@g' ` + fi; CC="$withval"], [WhatGccIsCalled="gcc"] ) @@ -670,6 +674,19 @@ fi AC_SUBST(CompressCmd) AC_SUBST(CompressSuffix) +dnl ** check for ghc-pkg command +AC_PATH_PROG(GhcPkgCmd,ghc-pkg) + +AC_ARG_WITH(greencard, +[ --with-greencard= + Use a command different from 'green-card' to compile GreenCard files +], +[ +GreencardCmd=$withval; +FPTOOLS_GREENCARD(3.00) +] +) + AC_ARG_ENABLE(src-tree-happy, [ --enable-src-tree-happy Build and use source tree (fptools/happy) version of happy. @@ -936,11 +953,20 @@ AC_CHECK_FUNCS(vsnprintf _vsnprintf) AC_CHECK_FUNCS(snprintf _snprintf ) AC_CHECK_FUNCS(popen _popen ) AC_CHECK_FUNCS(pclose _pclose ) +AC_CHECK_FUNCS(setenv unsetenv) dnl ** check for specific library functions that we are interested in AC_CHECK_FUNCS(access ftime getclock getpagesize getrusage gettimeofday mktime mprotect readlink setitimer stat lstat symlink sysconf timelocal times vadvise vfork localtime_r gmtime_r readdir_r getgrgid_r getgrnam_r getpwuid_r getpwnam_r) +dnl ** Solaris2 needs additionl flag for getpw*_r() +case "$TargetPlatform" in + *-solaris2*) + unix_SRC_HSC2HS_OPTS="-D_POSIX_PTHREAD_SEMANTICS" + AC_SUBST(unix_SRC_HSC2HS_OPTS) + ;; +esac + dnl ** check whether this machine has gmp3 installed AC_CHECK_LIB(gmp, __gmpz_fdiv_qr, HaveLibGmp=YES; LibGmp=gmp, AC_CHECK_LIB(gmp3, __gmpz_fdiv_qr, HaveLibGmp=YES; LibGmp=gmp3,