HostVendor_CPP=unknown
HostOS_CPP=gnu
;;
+i[[3456]]86-*-kfreebsd*-gnu)
+ HostPlatform=i386-unknown-kfreebsdgnu # hack again
+ TargetPlatform=i386-unknown-kfreebsdgnu
+ BuildPlatform=i386-unknown-kfreebsdgnu
+ HostPlatform_CPP='i386_unknown_kfreebsdgnu'
+ HostArch_CPP='i386'
+ HostVendor_CPP='unknown'
+ HostOS_CPP='kfreebsdgnu'
+ ;;
i[[3456]]86-*-freebsd[[3-9]]*) # FreeBSD 3.0+ uses ELF
HostPlatform=i386-unknown-freebsd # hack again
TargetPlatform=i386-unknown-freebsd
dnl ** check for more functions
dnl ** The following have been verified to be used in ghc/, but might be used somewhere else, too.
-AC_CHECK_FUNCS([getclock getrusage gettimeofday setitimer siginterrupt sysconf times])
+AC_CHECK_FUNCS([getclock getrusage gettimeofday setitimer siginterrupt sysconf times ctime_r])
dnl ** For ghc/rts/gmp:
AC_CHECK_FUNCS([getpagesize])