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

1574   for ac_dir in : $ac_subdirs_all; do test "x$ac_dir" = x: && continue
1575     test -d "$ac_dir" ||
1576       { cd "$srcdir" && ac_pwd=`pwd` && srcdir=. && test -d "$ac_dir"; } ||
1580 case "$ac_dir" in
1583   ac_dir_suffix=/`$as_echo "$ac_dir" | sed 's|^\.[\\/]||'`
1612     cd "$ac_dir" || { ac_status=$?; continue; }
1621       $as_echo "$as_me: WARNING: no configuration information is in $ac_dir" >&2
2941 for ac_dir in "$srcdir" "$srcdir/.." "$srcdir/../.."; do
2942   if test -f "$ac_dir/install-sh"; then
2943     ac_aux_dir=$ac_dir
2946   elif test -f "$ac_dir/install.sh"; then
2947     ac_aux_dir=$ac_dir
2950   elif test -f "$ac_dir/shtool"; then
2951     ac_aux_dir=$ac_dir
5286   for ac_dir in $PATH; do
5288     test -z "$ac_dir" && ac_dir=.
5289     if test -f "$ac_dir/$ac_prog" || test -f "$ac_dir/$ac_prog$ac_exeext"; then
5290       lt_cv_path_LD=$ac_dir/$ac_prog
5361     for ac_dir in $PATH /usr/ccs/bin/elf /usr/ccs/bin /usr/ucb /bin; do
5363       test -z "$ac_dir" && ac_dir=.
5364       tmp_nm=$ac_dir/$lt_tmp_nm
9161   for ac_dir in $ac_dummy; do
9163     test -z "$ac_dir" && ac_dir=.
9164     if test -f "$ac_dir/${ac_tool_prefix}file"; then
9165       lt_cv_path_MAGIC_CMD=$ac_dir/"${ac_tool_prefix}file"
9227   for ac_dir in $ac_dummy; do
9229     test -z "$ac_dir" && ac_dir=.
9230     if test -f "$ac_dir/file"; then
9231       lt_cv_path_MAGIC_CMD=$ac_dir/"file"
13886   for ac_dir in $PATH; do
13888     test -z "$ac_dir" && ac_dir=.
13889     if test -f "$ac_dir/$ac_prog" || test -f "$ac_dir/$ac_prog$ac_exeext"; then
13890       lt_cv_path_LD=$ac_dir/$ac_prog
18788   for ac_dir in $ac_x_header_dirs; do
18789   if test -r "$ac_dir/X11/Xlib.h"; then
18790     ac_x_includes=$ac_dir
18821 for ac_dir in `$as_echo "$ac_x_includes $ac_x_header_dirs" | sed s/include/lib/g`
18825     if test -r "$ac_dir/libX11.$ac_extension"; then
18826       ac_x_libraries=$ac_dir
24077   ac_dir=`$as_dirname -- "$ac_file" ||
24100   as_dir="$ac_dir"; as_fn_mkdir_p
24103 case "$ac_dir" in
24106   ac_dir_suffix=/`$as_echo "$ac_dir" | sed 's|^\.[\\/]||'`
25198   for ac_dir in : $subdirs; do test "x$ac_dir" = x: && continue
25202     test -d "$srcdir/$ac_dir" || continue
25204     ac_msg="=== configuring in $ac_dir (`pwd`/$ac_dir)"
25207     as_dir="$ac_dir"; as_fn_mkdir_p
25210 case "$ac_dir" in
25213   ac_dir_suffix=/`$as_echo "$ac_dir" | sed 's|^\.[\\/]||'`
25243     cd "$ac_dir"
25254       { $as_echo "$as_me:${as_lineno-$LINENO}: WARNING: no configuration information is in $ac_dir" >&5
25255 $as_echo "$as_me: WARNING: no configuration information is in $ac_dir" >&2;}
25273 	as_fn_error $? "$ac_sub_configure failed for $ac_dir" "$LINENO" 5