annotate m4/lt~obsolete.m4 @ 1215:360f1ed0a969

Implemented proper congruence closure, to the point where tests/policy works
author Adam Chlipala <adamc@hcoop.net>
date Thu, 08 Apr 2010 12:46:21 -0400
parents f6cb1cb2d7a8
children 156b8e8c25d8
rev   line source
adamc@1141 1 # lt~obsolete.m4 -- aclocal satisfying obsolete definitions. -*-Autoconf-*-
adamc@1141 2 #
adamc@1141 3 # Copyright (C) 2004, 2005, 2007 Free Software Foundation, Inc.
adamc@1141 4 # Written by Scott James Remnant, 2004.
adamc@1141 5 #
adamc@1141 6 # This file is free software; the Free Software Foundation gives
adamc@1141 7 # unlimited permission to copy and/or distribute it, with or without
adamc@1141 8 # modifications, as long as this notice is preserved.
adamc@1141 9
adamc@1141 10 # serial 4 lt~obsolete.m4
adamc@1141 11
adamc@1141 12 # These exist entirely to fool aclocal when bootstrapping libtool.
adamc@1141 13 #
adamc@1141 14 # In the past libtool.m4 has provided macros via AC_DEFUN (or AU_DEFUN)
adamc@1141 15 # which have later been changed to m4_define as they aren't part of the
adamc@1141 16 # exported API, or moved to Autoconf or Automake where they belong.
adamc@1141 17 #
adamc@1141 18 # The trouble is, aclocal is a bit thick. It'll see the old AC_DEFUN
adamc@1141 19 # in /usr/share/aclocal/libtool.m4 and remember it, then when it sees us
adamc@1141 20 # using a macro with the same name in our local m4/libtool.m4 it'll
adamc@1141 21 # pull the old libtool.m4 in (it doesn't see our shiny new m4_define
adamc@1141 22 # and doesn't know about Autoconf macros at all.)
adamc@1141 23 #
adamc@1141 24 # So we provide this file, which has a silly filename so it's always
adamc@1141 25 # included after everything else. This provides aclocal with the
adamc@1141 26 # AC_DEFUNs it wants, but when m4 processes it, it doesn't do anything
adamc@1141 27 # because those macros already exist, or will be overwritten later.
adamc@1141 28 # We use AC_DEFUN over AU_DEFUN for compatibility with aclocal-1.6.
adamc@1141 29 #
adamc@1141 30 # Anytime we withdraw an AC_DEFUN or AU_DEFUN, remember to add it here.
adamc@1141 31 # Yes, that means every name once taken will need to remain here until
adamc@1141 32 # we give up compatibility with versions before 1.7, at which point
adamc@1141 33 # we need to keep only those names which we still refer to.
adamc@1141 34
adamc@1141 35 # This is to help aclocal find these macros, as it can't see m4_define.
adamc@1141 36 AC_DEFUN([LTOBSOLETE_VERSION], [m4_if([1])])
adamc@1141 37
adamc@1141 38 m4_ifndef([AC_LIBTOOL_LINKER_OPTION], [AC_DEFUN([AC_LIBTOOL_LINKER_OPTION])])
adamc@1141 39 m4_ifndef([AC_PROG_EGREP], [AC_DEFUN([AC_PROG_EGREP])])
adamc@1141 40 m4_ifndef([_LT_AC_PROG_ECHO_BACKSLASH], [AC_DEFUN([_LT_AC_PROG_ECHO_BACKSLASH])])
adamc@1141 41 m4_ifndef([_LT_AC_SHELL_INIT], [AC_DEFUN([_LT_AC_SHELL_INIT])])
adamc@1141 42 m4_ifndef([_LT_AC_SYS_LIBPATH_AIX], [AC_DEFUN([_LT_AC_SYS_LIBPATH_AIX])])
adamc@1141 43 m4_ifndef([_LT_PROG_LTMAIN], [AC_DEFUN([_LT_PROG_LTMAIN])])
adamc@1141 44 m4_ifndef([_LT_AC_TAGVAR], [AC_DEFUN([_LT_AC_TAGVAR])])
adamc@1141 45 m4_ifndef([AC_LTDL_ENABLE_INSTALL], [AC_DEFUN([AC_LTDL_ENABLE_INSTALL])])
adamc@1141 46 m4_ifndef([AC_LTDL_PREOPEN], [AC_DEFUN([AC_LTDL_PREOPEN])])
adamc@1141 47 m4_ifndef([_LT_AC_SYS_COMPILER], [AC_DEFUN([_LT_AC_SYS_COMPILER])])
adamc@1141 48 m4_ifndef([_LT_AC_LOCK], [AC_DEFUN([_LT_AC_LOCK])])
adamc@1141 49 m4_ifndef([AC_LIBTOOL_SYS_OLD_ARCHIVE], [AC_DEFUN([AC_LIBTOOL_SYS_OLD_ARCHIVE])])
adamc@1141 50 m4_ifndef([_LT_AC_TRY_DLOPEN_SELF], [AC_DEFUN([_LT_AC_TRY_DLOPEN_SELF])])
adamc@1141 51 m4_ifndef([AC_LIBTOOL_PROG_CC_C_O], [AC_DEFUN([AC_LIBTOOL_PROG_CC_C_O])])
adamc@1141 52 m4_ifndef([AC_LIBTOOL_SYS_HARD_LINK_LOCKS], [AC_DEFUN([AC_LIBTOOL_SYS_HARD_LINK_LOCKS])])
adamc@1141 53 m4_ifndef([AC_LIBTOOL_OBJDIR], [AC_DEFUN([AC_LIBTOOL_OBJDIR])])
adamc@1141 54 m4_ifndef([AC_LTDL_OBJDIR], [AC_DEFUN([AC_LTDL_OBJDIR])])
adamc@1141 55 m4_ifndef([AC_LIBTOOL_PROG_LD_HARDCODE_LIBPATH], [AC_DEFUN([AC_LIBTOOL_PROG_LD_HARDCODE_LIBPATH])])
adamc@1141 56 m4_ifndef([AC_LIBTOOL_SYS_LIB_STRIP], [AC_DEFUN([AC_LIBTOOL_SYS_LIB_STRIP])])
adamc@1141 57 m4_ifndef([AC_PATH_MAGIC], [AC_DEFUN([AC_PATH_MAGIC])])
adamc@1141 58 m4_ifndef([AC_PROG_LD_GNU], [AC_DEFUN([AC_PROG_LD_GNU])])
adamc@1141 59 m4_ifndef([AC_PROG_LD_RELOAD_FLAG], [AC_DEFUN([AC_PROG_LD_RELOAD_FLAG])])
adamc@1141 60 m4_ifndef([AC_DEPLIBS_CHECK_METHOD], [AC_DEFUN([AC_DEPLIBS_CHECK_METHOD])])
adamc@1141 61 m4_ifndef([AC_LIBTOOL_PROG_COMPILER_NO_RTTI], [AC_DEFUN([AC_LIBTOOL_PROG_COMPILER_NO_RTTI])])
adamc@1141 62 m4_ifndef([AC_LIBTOOL_SYS_GLOBAL_SYMBOL_PIPE], [AC_DEFUN([AC_LIBTOOL_SYS_GLOBAL_SYMBOL_PIPE])])
adamc@1141 63 m4_ifndef([AC_LIBTOOL_PROG_COMPILER_PIC], [AC_DEFUN([AC_LIBTOOL_PROG_COMPILER_PIC])])
adamc@1141 64 m4_ifndef([AC_LIBTOOL_PROG_LD_SHLIBS], [AC_DEFUN([AC_LIBTOOL_PROG_LD_SHLIBS])])
adamc@1141 65 m4_ifndef([AC_LIBTOOL_POSTDEP_PREDEP], [AC_DEFUN([AC_LIBTOOL_POSTDEP_PREDEP])])
adamc@1141 66 m4_ifndef([LT_AC_PROG_EGREP], [AC_DEFUN([LT_AC_PROG_EGREP])])
adamc@1141 67 m4_ifndef([LT_AC_PROG_SED], [AC_DEFUN([LT_AC_PROG_SED])])
adamc@1141 68 m4_ifndef([_LT_CC_BASENAME], [AC_DEFUN([_LT_CC_BASENAME])])
adamc@1141 69 m4_ifndef([_LT_COMPILER_BOILERPLATE], [AC_DEFUN([_LT_COMPILER_BOILERPLATE])])
adamc@1141 70 m4_ifndef([_LT_LINKER_BOILERPLATE], [AC_DEFUN([_LT_LINKER_BOILERPLATE])])
adamc@1141 71 m4_ifndef([_AC_PROG_LIBTOOL], [AC_DEFUN([_AC_PROG_LIBTOOL])])
adamc@1141 72 m4_ifndef([AC_LIBTOOL_SETUP], [AC_DEFUN([AC_LIBTOOL_SETUP])])
adamc@1141 73 m4_ifndef([_LT_AC_CHECK_DLFCN], [AC_DEFUN([_LT_AC_CHECK_DLFCN])])
adamc@1141 74 m4_ifndef([AC_LIBTOOL_SYS_DYNAMIC_LINKER], [AC_DEFUN([AC_LIBTOOL_SYS_DYNAMIC_LINKER])])
adamc@1141 75 m4_ifndef([_LT_AC_TAGCONFIG], [AC_DEFUN([_LT_AC_TAGCONFIG])])
adamc@1141 76 m4_ifndef([AC_DISABLE_FAST_INSTALL], [AC_DEFUN([AC_DISABLE_FAST_INSTALL])])
adamc@1141 77 m4_ifndef([_LT_AC_LANG_CXX], [AC_DEFUN([_LT_AC_LANG_CXX])])
adamc@1141 78 m4_ifndef([_LT_AC_LANG_F77], [AC_DEFUN([_LT_AC_LANG_F77])])
adamc@1141 79 m4_ifndef([_LT_AC_LANG_GCJ], [AC_DEFUN([_LT_AC_LANG_GCJ])])
adamc@1141 80 m4_ifndef([AC_LIBTOOL_RC], [AC_DEFUN([AC_LIBTOOL_RC])])
adamc@1141 81 m4_ifndef([AC_LIBTOOL_LANG_C_CONFIG], [AC_DEFUN([AC_LIBTOOL_LANG_C_CONFIG])])
adamc@1141 82 m4_ifndef([_LT_AC_LANG_C_CONFIG], [AC_DEFUN([_LT_AC_LANG_C_CONFIG])])
adamc@1141 83 m4_ifndef([AC_LIBTOOL_LANG_CXX_CONFIG], [AC_DEFUN([AC_LIBTOOL_LANG_CXX_CONFIG])])
adamc@1141 84 m4_ifndef([_LT_AC_LANG_CXX_CONFIG], [AC_DEFUN([_LT_AC_LANG_CXX_CONFIG])])
adamc@1141 85 m4_ifndef([AC_LIBTOOL_LANG_F77_CONFIG], [AC_DEFUN([AC_LIBTOOL_LANG_F77_CONFIG])])
adamc@1141 86 m4_ifndef([_LT_AC_LANG_F77_CONFIG], [AC_DEFUN([_LT_AC_LANG_F77_CONFIG])])
adamc@1141 87 m4_ifndef([AC_LIBTOOL_LANG_GCJ_CONFIG], [AC_DEFUN([AC_LIBTOOL_LANG_GCJ_CONFIG])])
adamc@1141 88 m4_ifndef([_LT_AC_LANG_GCJ_CONFIG], [AC_DEFUN([_LT_AC_LANG_GCJ_CONFIG])])
adamc@1141 89 m4_ifndef([AC_LIBTOOL_LANG_RC_CONFIG], [AC_DEFUN([AC_LIBTOOL_LANG_RC_CONFIG])])
adamc@1141 90 m4_ifndef([_LT_AC_LANG_RC_CONFIG], [AC_DEFUN([_LT_AC_LANG_RC_CONFIG])])
adamc@1141 91 m4_ifndef([AC_LIBTOOL_CONFIG], [AC_DEFUN([AC_LIBTOOL_CONFIG])])
adamc@1141 92 m4_ifndef([_LT_AC_FILE_LTDLL_C], [AC_DEFUN([_LT_AC_FILE_LTDLL_C])])