Cross Reference: /seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/configure

1544   --disable-libtool-lock  avoid locking (might break parallel builds)
7254 /* Keep this code in sync between libtool.m4, ltmain, lt_system.h, and tests.  */
7512 # Check whether --enable-libtool-lock was given.
7520 # libtool support.
9036 # This can be used to rebuild libtool when needed
9039 # Always use our own libtool.
9040 LIBTOOL='$(SHELL) $(top_builddir)/libtool'
9133 ofile=libtool
9190 *** Warning: the command libtool uses to detect shared libraries,
9191 *** $file_magic_cmd, produces output that libtool cannot recognize.
9192 *** The result is that libtool may fail to recognize shared libraries
9193 *** as such.  This will affect the creation of libtool libraries that
9194 *** depend on shared libraries, but programs linked with such libtool
9197 *** bug-libtool@gnu.org
9256 *** Warning: the command libtool uses to detect shared libraries,
9257 *** $file_magic_cmd, produces output that libtool cannot recognize.
9258 *** The result is that libtool may fail to recognize shared libraries
9259 *** as such.  This will affect the creation of libtool libraries that
9260 *** depend on shared libraries, but programs linked with such libtool
9263 *** bug-libtool@gnu.org
9297 # Use C for the default configuration in the libtool script
10146 *** Therefore, libtool is disabling shared libraries support.  If you
10351 *** create shared libraries on Solaris systems.  Therefore, libtool
10373 *** reliably create shared libraries on SCO systems.  Therefore, libtool
11680     aix,yes) # traditional libtool
11754   # libtool to hard-code these into programs
12029     case $LD in # libtool.m4 will add one of these switches to LD
12369 # remember unaugmented sys_lib_dlsearch_path content for libtool script decls...
12375 # to be used as default LT_SYS_LIBRARY_PATH value in generated libtool
13087   { $as_echo "$as_me:${as_lineno-$LINENO}: checking if libtool supports shared libraries" >&5
13088 $as_echo_n "checking if libtool supports shared libraries... " >&6; }
14754   echo "libtool.m4: error: problem compiling CXX test program"
15659     aix,yes) # traditional libtool
15733   # libtool to hard-code these into programs
16006     case $LD in # libtool.m4 will add one of these switches to LD
16346 # remember unaugmented sys_lib_dlsearch_path content for libtool script decls...
16352 # to be used as default LT_SYS_LIBRARY_PATH value in generated libtool
16472         ac_config_commands="$ac_config_commands libtool"
20683     "libtool") CONFIG_COMMANDS="$CONFIG_COMMANDS libtool" ;;
21557     "libtool":C)
21608 # Which release of libtool.m4 was used?
21765 # The name of the directory that contains temporary libtool files.
21801 # Variables whose values should be saved in libtool wrapper scripts and
21842 # Commands used to finish a libtool library installation in a directory.
21979 # Whether libtool must link a program against all its dependency libraries.
22221 # Whether libtool must link a program against all its dependency libraries.