diff options
Diffstat (limited to 'configure.ac.pamphlet')
| -rw-r--r-- | configure.ac.pamphlet | 13 |
1 files changed, 12 insertions, 1 deletions
diff --git a/configure.ac.pamphlet b/configure.ac.pamphlet index 4b1000a3..36707652 100644 --- a/configure.ac.pamphlet +++ b/configure.ac.pamphlet @@ -1214,6 +1214,7 @@ of traps. Consequently, dedicated tools have been developed to abstract away from those details. In particular, we rely on GNU \Tool{libtool} to take care of that for us. <<initialize shared libraries tool>>= +oa_use_libtool_for_shared_lib=yes # Tell Libtool to assume `dlopen' so that it does not have to # emulate it. AC_LIBTOOL_DLOPEN @@ -1221,8 +1222,18 @@ AC_LIBTOOL_WIN32_DLL AC_PROG_LIBTOOL AC_SUBST(LIBTOOL_DEPS) # Give me extension of libraries -AC_SUBST(shrext_cmds) +eval shared_ext=\"$shrext_cmds\" +AC_SUBST(shared_ext) AC_SUBST(libext) +# Don't use Libtool for building actual DLLs on MinGW and Cygwin +case $host in + *mingw*|*cygwin*) + oa_use_libtool_for_shared_lib=no + ;; + *) + ;; +esac +AC_SUBST(oa_use_libtool_for_shared_lib) @ \section{configure.ac} |