diff options
Diffstat (limited to 'config/plugins.m4')
| -rw-r--r-- | config/plugins.m4 | 21 |
1 files changed, 21 insertions, 0 deletions
diff --git a/config/plugins.m4 b/config/plugins.m4 new file mode 100644 index 0000000..513c690 --- /dev/null +++ b/config/plugins.m4 @@ -0,0 +1,21 @@ +AC_DEFUN([AC_PLUGINS], +[ + maybe_plugins=no + AC_CHECK_HEADERS([dlfcn.h], [maybe_plugins=yes], [], [AC_INCLUDES_DEFAULT]) + AC_CHECK_HEADERS([windows.h], [maybe_plugins=yes], [], [AC_INCLUDES_DEFAULT]) + + AC_ARG_ENABLE([plugins], + AS_HELP_STRING([--enable-plugins], [Enable support for plugins]), + [case "${enableval}" in + no) plugins=no ;; + *) plugins=yes + if test "$maybe_plugins" != "yes" ; then + AC_MSG_ERROR([Building with plugin support requires a host that supports dlopen.]) + fi ;; + esac], + [plugins=$maybe_plugins] + ) + if test "$plugins" = "yes"; then + AC_SEARCH_LIBS([dlopen], [dl]) + fi +]) |