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

1508   --disable-libtool-lock  avoid locking (might break parallel builds)
6954 /* Keep this code in sync between libtool.m4, ltmain, lt_system.h, and tests.  */
7212 # Check whether --enable-libtool-lock was given.
7220 # libtool support.
9023 # This can be used to rebuild libtool when needed
9026 # Always use our own libtool.
9027 LIBTOOL='$(SHELL) $(top_builddir)/libtool'
9120 ofile=libtool
9177 *** Warning: the command libtool uses to detect shared libraries,
9178 *** $file_magic_cmd, produces output that libtool cannot recognize.
9179 *** The result is that libtool may fail to recognize shared libraries
9180 *** as such.  This will affect the creation of libtool libraries that
9181 *** depend on shared libraries, but programs linked with such libtool
9184 *** bug-libtool@gnu.org
9243 *** Warning: the command libtool uses to detect shared libraries,
9244 *** $file_magic_cmd, produces output that libtool cannot recognize.
9245 *** The result is that libtool may fail to recognize shared libraries
9246 *** as such.  This will affect the creation of libtool libraries that
9247 *** depend on shared libraries, but programs linked with such libtool
9250 *** bug-libtool@gnu.org
9284 # Use C for the default configuration in the libtool script
10133 *** Therefore, libtool is disabling shared libraries support.  If you
10338 *** create shared libraries on Solaris systems.  Therefore, libtool
10360 *** reliably create shared libraries on SCO systems.  Therefore, libtool
11667     aix,yes) # traditional libtool
11741   # libtool to hard-code these into programs
12016     case $LD in # libtool.m4 will add one of these switches to LD
12356 # remember unaugmented sys_lib_dlsearch_path content for libtool script decls...
12362 # to be used as default LT_SYS_LIBRARY_PATH value in generated libtool
13074   { $as_echo "$as_me:${as_lineno-$LINENO}: checking if libtool supports shared libraries" >&5
13075 $as_echo_n "checking if libtool supports shared libraries... " >&6; }
13140         ac_config_commands="$ac_config_commands libtool"
15190   echo "libtool.m4: error: problem compiling CXX test program"
16095     aix,yes) # traditional libtool
16169   # libtool to hard-code these into programs
16442     case $LD in # libtool.m4 will add one of these switches to LD
16782 # remember unaugmented sys_lib_dlsearch_path content for libtool script decls...
16788 # to be used as default LT_SYS_LIBRARY_PATH value in generated libtool
23687     "libtool") CONFIG_COMMANDS="$CONFIG_COMMANDS libtool" ;;
24386     "libtool":C)
24437 # Which release of libtool.m4 was used?
24597 # The name of the directory that contains temporary libtool files.
24633 # Variables whose values should be saved in libtool wrapper scripts and
24674 # Commands used to finish a libtool library installation in a directory.
24811 # Whether libtool must link a program against all its dependency libraries.
25053 # Whether libtool must link a program against all its dependency libraries.