Add missing PR number
[official-gcc.git] / config / plugins.m4
blob513c690e1b57a9719df558c770ace8553b365ae2
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([dlopen], [dl])
20   fi