diff options
Diffstat (limited to 'configure.ac.pamphlet')
-rw-r--r-- | configure.ac.pamphlet | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/configure.ac.pamphlet b/configure.ac.pamphlet index 03c8a06a..282c9383 100644 --- a/configure.ac.pamphlet +++ b/configure.ac.pamphlet @@ -1022,7 +1022,7 @@ information: <<Autoconf init>>= sinclude(config/open-axiom.m4) sinclude(config/aclocal.m4) -AC_INIT([OpenAxiom], [1.2.0-2008-03-15], +AC_INIT([OpenAxiom], [1.2.0-2008-03-16], [open-axiom-bugs@lists.sf.net]) @ @@ -1157,6 +1157,9 @@ 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>>= +# Tell Libtool to assume `dlopen' so that it does not have to +# emulate it. +AC_LIBTOOL_DLOPEN AC_PROG_LIBTOOL AC_SUBST(LIBTOOL_DEPS) @ |