[Ada] Adapt proof of System.Arith_Double
[official-gcc.git] / config / plugins.m4
blobc6acebc1ca4b4e0df8c7c863382e02860f29b9a6
1 AC_DEFUN([AC_PLUGINS],
3   maybe_plugins=no
4   AC_CHECK_HEADERS([dlfcn.h], [maybe_plugins=yes], [], [AC_INCLUDES_DEFAULT])
5   AC_CHECK_HEADERS([windows.h], [maybe_plugins=yes], [], [AC_INCLUDES_DEFAULT])
7   AC_ARG_ENABLE([plugins],
8     AS_HELP_STRING([--enable-plugins], [Enable support for plugins]),
9     [case "${enableval}" in
10       no) plugins=no ;;
11       *) plugins=yes
12          if test "$maybe_plugins" != "yes" ; then
13            AC_MSG_ERROR([Building with plugin support requires a host that supports dlopen.])
14          fi ;;
15      esac],
16     [plugins=$maybe_plugins]
17   )
18   if test "$plugins" = "yes"; then
19     AC_SEARCH_LIBS([dlsym], [dl])
20   fi