annotate config/plugins.m4 @ 158:494b0b89df80 default tip

...
author Shinji KONO <kono@ie.u-ryukyu.ac.jp>
date Mon, 25 May 2020 18:13:55 +0900
parents 84e7813d76e9
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
55
77e2b8dfacca update it from 4.4.3 to 4.5.0
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
diff changeset
1 AC_DEFUN([AC_PLUGINS],
77e2b8dfacca update it from 4.4.3 to 4.5.0
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
diff changeset
2 [
111
kono
parents: 55
diff changeset
3 maybe_plugins=no
kono
parents: 55
diff changeset
4 AC_CHECK_HEADERS([dlfcn.h], [maybe_plugins=yes], [], [AC_INCLUDES_DEFAULT])
kono
parents: 55
diff changeset
5 AC_CHECK_HEADERS([windows.h], [maybe_plugins=yes], [], [AC_INCLUDES_DEFAULT])
kono
parents: 55
diff changeset
6
kono
parents: 55
diff changeset
7 AC_ARG_ENABLE([plugins],
kono
parents: 55
diff changeset
8 AS_HELP_STRING([--enable-plugins], [Enable support for plugins]),
kono
parents: 55
diff changeset
9 [case "${enableval}" in
kono
parents: 55
diff changeset
10 no) plugins=no ;;
kono
parents: 55
diff changeset
11 *) plugins=yes
kono
parents: 55
diff changeset
12 if test "$maybe_plugins" != "yes" ; then
kono
parents: 55
diff changeset
13 AC_MSG_ERROR([Building with plugin support requires a host that supports dlopen.])
kono
parents: 55
diff changeset
14 fi ;;
kono
parents: 55
diff changeset
15 esac],
kono
parents: 55
diff changeset
16 [plugins=$maybe_plugins]
kono
parents: 55
diff changeset
17 )
kono
parents: 55
diff changeset
18 if test "$plugins" = "yes"; then
131
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
19 AC_SEARCH_LIBS([dlsym], [dl])
111
kono
parents: 55
diff changeset
20 fi
55
77e2b8dfacca update it from 4.4.3 to 4.5.0
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
diff changeset
21 ])