diff options
author | Gabriel Dos Reis <GabrielDosReis@users.noreply.github.com> | 2022-07-25 05:34:34 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-07-25 05:34:34 -0700 |
commit | 8923631e7aa5945f4f3e8113fbfac1190cd4ae94 (patch) | |
tree | 77f67aa0168121e29ff147f16f339a24ed866bb4 /config | |
parent | 1df8894e0ac79c0f75139cb2701b3595989f8db8 (diff) | |
parent | 50b19677e8a323abc641542bb2a957864959bd4b (diff) | |
download | open-axiom-8923631e7aa5945f4f3e8113fbfac1190cd4ae94.tar.gz |
Merge pull request #9 from GabrielDosReis/gdr/configure-update
Update configure.
Diffstat (limited to 'config')
-rw-r--r-- | config/open-axiom.m4 | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/config/open-axiom.m4 b/config/open-axiom.m4 index 2397ab78..3ee8ceb5 100644 --- a/config/open-axiom.m4 +++ b/config/open-axiom.m4 @@ -8,7 +8,9 @@ dnl -------------------------------- dnl -- OPENAXIOM_CANONICAL_SYSTEM -- dnl -------------------------------- AC_DEFUN([OPENAXIOM_CANONICAL_SYSTEM],[ -AC_CANONICAL_SYSTEM +AC_CANONICAL_BUILD +AC_CANONICAL_HOST +AC_CANONICAL_TARGET AC_SUBST(oa_src_srcdir,'$(top_srcdir)/src') AC_SUBST(oa_src_docdir,'$(oa_src_srcdir)/doc') @@ -405,7 +407,7 @@ oa_host_has_libbfd= ## Check for these only if we are going to build GCL from source. if test x"$oa_include_gcl" = xyes; then AC_CHECK_HEADER([bfd.h]) - AC_HAVE_LIBRARY([bfd], [oa_host_has_libbfd=yes]) + AC_CHECK_LIB([bfd], [bfd_get_mtime], [oa_host_has_libbfd=yes]) oa_gcl_bfd_option= if test x"$ac_cv_header_bfd_h" = xyes \ |