1 # GHC_IOMANAGER_ENABLE(iomgr_name, enable_var, output_cpp_var, action_detect)
2 # ---------------------------------------------------------------------
3 AC_DEFUN([GHC_IOMANAGER_ENABLE], [
5 AC_MSG_CHECKING( if the the $1 I/O manager should be built)
6 if test "${$2}" = "YES"; then
8 AC_DEFINE([$3], [1], [Define to 1 if the $1 I/O manager should be built])
15 # GHC_IOMANAGER_DEFAULT_SELECT(default_var, iomgr_name, enable_var)
16 # ---------------------------------------------------------------------
17 AC_DEFUN([GHC_IOMANAGER_DEFAULT_SELECT], [
18 if test "${$3}" = "YES"; then
24 # GHC_IOMANAGER_DEFAULT_CHECK_NOT_EMPTY(default_var, way)
25 # ---------------------------------------------------------------------
26 AC_DEFUN([GHC_IOMANAGER_DEFAULT_CHECK_NOT_EMPTY], [
27 if test "${$1}" = ""; then
28 AC_MSG_ERROR([no suitable I/O manager enabled for the $2 RTS])
32 # GHC_IOMANAGER_DEFAULT_AC_DEFINE(default_var, way, iomgr_name, output_cpp_var)
33 # ---------------------------------------------------------------------
34 AC_DEFUN([GHC_IOMANAGER_DEFAULT_AC_DEFINE], [
35 if test "${$1}" = "$3"; then
37 [Define to 1 if the $3 I/O manager is the default for the $2 RTS])