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

96 for as_dir in $PATH
99   test -z "$as_dir" && as_dir=.
100     test -r "$as_dir/$0" && as_myself=$as_dir/$0 && break
220 for as_dir in /bin$PATH_SEPARATOR/usr/bin$PATH_SEPARATOR$PATH
223   test -z "$as_dir" && as_dir=.
225   case $as_dir in #(
229 	     as_shell=$as_dir/$as_base
325 # Create "$as_dir" as a directory, including parents if necessary.
329   case $as_dir in #(
330   -*) as_dir=./$as_dir;;
332   test -d "$as_dir" || eval $as_mkdir_p || {
335       case $as_dir in #(
336       *\'*) as_qdir=`$as_echo "$as_dir" | sed "s/'/'\\\\\\\\''/g"`;; #'(
337       *) as_qdir=$as_dir;;
340       as_dir=`$as_dirname -- "$as_dir" ||
341 $as_expr X"$as_dir" : 'X\(.*[^/]\)//*[^/][^/]*/*$' \| \
342 	 X"$as_dir" : 'X\(//\)[^/]' \| \
343 	 X"$as_dir" : 'X\(//\)$' \| \
344 	 X"$as_dir" : 'X\(/\)' \| . 2>/dev/null ||
345 $as_echo X"$as_dir" |
363       test -d "$as_dir" && break
366   } || test -d "$as_dir" || as_fn_error $? "cannot create directory $as_dir"
443 if (as_dir=`dirname -- /` && test "X$as_dir" = X/) >/dev/null 2>&1; then
552   as_mkdir_p='mkdir -p "$as_dir"'
2414 for as_dir in $PATH
2417   test -z "$as_dir" && as_dir=.
2418     $as_echo "PATH: $as_dir"
2912       as_dir=$ax_enable_builddir; as_fn_mkdir_p
2953 for as_dir in $PATH
2956   test -z "$as_dir" && as_dir=.
2958   if as_fn_executable_p "$as_dir/$ac_word$ac_exec_ext"; then
2959     ac_cv_path_ax_enable_builddir_sed="$as_dir/$ac_word$ac_exec_ext"
2960     $as_echo "$as_me:${as_lineno-$LINENO}: found $as_dir/$ac_word$ac_exec_ext" >&5
3008 for as_dir in $PATH
3011   test -z "$as_dir" && as_dir=.
3013 case $as_dir/ in #((
3024 	if as_fn_executable_p "$as_dir/$ac_prog$ac_exec_ext"; then
3026 	    grep dspmsg "$as_dir/$ac_prog$ac_exec_ext" >/dev/null 2>&1; then
3030 	    grep pwplus "$as_dir/$ac_prog$ac_exec_ext" >/dev/null 2>&1; then
3038 	    if "$as_dir/$ac_prog$ac_exec_ext" -c conftest.one conftest.two "`pwd`/conftest.dir" &&
3043 	      ac_cv_path_install="$as_dir/$ac_prog$ac_exec_ext -c"
3200 for as_dir in $PATH
3203   test -z "$as_dir" && as_dir=.
3205   if as_fn_executable_p "$as_dir/$ac_word$ac_exec_ext"; then
3207     $as_echo "$as_me:${as_lineno-$LINENO}: found $as_dir/$ac_word$ac_exec_ext" >&5
3240 for as_dir in $PATH
3243   test -z "$as_dir" && as_dir=.
3245   if as_fn_executable_p "$as_dir/$ac_word$ac_exec_ext"; then
3247     $as_echo "$as_me:${as_lineno-$LINENO}: found $as_dir/$ac_word$ac_exec_ext" >&5
3290 for as_dir in $PATH$PATH_SEPARATOR/opt/sfw/bin
3293   test -z "$as_dir" && as_dir=.
3296 	   as_fn_executable_p "$as_dir/$ac_prog$ac_exec_ext" || continue
3297 	   case `"$as_dir/$ac_prog$ac_exec_ext" --version 2>&1` in #(
3301 	       ac_cv_path_mkdir=$as_dir/$ac_prog$ac_exec_ext
3338 for as_dir in $PATH
3341   test -z "$as_dir" && as_dir=.
3343   if as_fn_executable_p "$as_dir/$ac_word$ac_exec_ext"; then
3345     $as_echo "$as_me:${as_lineno-$LINENO}: found $as_dir/$ac_word$ac_exec_ext" >&5
3589 for as_dir in $PATH
3592   test -z "$as_dir" && as_dir=.
3594   if as_fn_executable_p "$as_dir/$ac_word$ac_exec_ext"; then
3596     $as_echo "$as_me:${as_lineno-$LINENO}: found $as_dir/$ac_word$ac_exec_ext" >&5
3629 for as_dir in $PATH
3632   test -z "$as_dir" && as_dir=.
3634   if as_fn_executable_p "$as_dir/$ac_word$ac_exec_ext"; then
3636     $as_echo "$as_me:${as_lineno-$LINENO}: found $as_dir/$ac_word$ac_exec_ext" >&5
3682 for as_dir in $PATH
3685   test -z "$as_dir" && as_dir=.
3687   if as_fn_executable_p "$as_dir/$ac_word$ac_exec_ext"; then
3689     $as_echo "$as_me:${as_lineno-$LINENO}: found $as_dir/$ac_word$ac_exec_ext" >&5
3723 for as_dir in $PATH
3726   test -z "$as_dir" && as_dir=.
3728   if as_fn_executable_p "$as_dir/$ac_word$ac_exec_ext"; then
3729     if test "$as_dir/$ac_word$ac_exec_ext" = "/usr/ucb/cc"; then
3734     $as_echo "$as_me:${as_lineno-$LINENO}: found $as_dir/$ac_word$ac_exec_ext" >&5
3750     ac_cv_prog_CC="$as_dir/$ac_word${1+' '}$@"
3781 for as_dir in $PATH
3784   test -z "$as_dir" && as_dir=.
3786   if as_fn_executable_p "$as_dir/$ac_word$ac_exec_ext"; then
3788     $as_echo "$as_me:${as_lineno-$LINENO}: found $as_dir/$ac_word$ac_exec_ext" >&5
3825 for as_dir in $PATH
3828   test -z "$as_dir" && as_dir=.
3830   if as_fn_executable_p "$as_dir/$ac_word$ac_exec_ext"; then
3832     $as_echo "$as_me:${as_lineno-$LINENO}: found $as_dir/$ac_word$ac_exec_ext" >&5
4634 for as_dir in $PATH
4637   test -z "$as_dir" && as_dir=.
4639   if as_fn_executable_p "$as_dir/$ac_word$ac_exec_ext"; then
4641     $as_echo "$as_me:${as_lineno-$LINENO}: found $as_dir/$ac_word$ac_exec_ext" >&5
4678 for as_dir in $PATH
4681   test -z "$as_dir" && as_dir=.
4683   if as_fn_executable_p "$as_dir/$ac_word$ac_exec_ext"; then
4685     $as_echo "$as_me:${as_lineno-$LINENO}: found $as_dir/$ac_word$ac_exec_ext" >&5
5245 for as_dir in $PATH
5248   test -z "$as_dir" && as_dir=.
5251       ac_path_SED="$as_dir/$ac_prog$ac_exec_ext"
5321 for as_dir in $PATH$PATH_SEPARATOR/usr/xpg4/bin
5324   test -z "$as_dir" && as_dir=.
5327       ac_path_GREP="$as_dir/$ac_prog$ac_exec_ext"
5387 for as_dir in $PATH$PATH_SEPARATOR/usr/xpg4/bin
5390   test -z "$as_dir" && as_dir=.
5393       ac_path_EGREP="$as_dir/$ac_prog$ac_exec_ext"
5454 for as_dir in $PATH$PATH_SEPARATOR/usr/xpg4/bin
5457   test -z "$as_dir" && as_dir=.
5460       ac_path_FGREP="$as_dir/$ac_prog$ac_exec_ext"
5717 for as_dir in $PATH
5720   test -z "$as_dir" && as_dir=.
5722   if as_fn_executable_p "$as_dir/$ac_word$ac_exec_ext"; then
5724     $as_echo "$as_me:${as_lineno-$LINENO}: found $as_dir/$ac_word$ac_exec_ext" >&5
5761 for as_dir in $PATH
5764   test -z "$as_dir" && as_dir=.
5766   if as_fn_executable_p "$as_dir/$ac_word$ac_exec_ext"; then
5768     $as_echo "$as_me:${as_lineno-$LINENO}: found $as_dir/$ac_word$ac_exec_ext" >&5
6162 for as_dir in $PATH
6165   test -z "$as_dir" && as_dir=.
6167   if as_fn_executable_p "$as_dir/$ac_word$ac_exec_ext"; then
6169     $as_echo "$as_me:${as_lineno-$LINENO}: found $as_dir/$ac_word$ac_exec_ext" >&5
6202 for as_dir in $PATH
6205   test -z "$as_dir" && as_dir=.
6207   if as_fn_executable_p "$as_dir/$ac_word$ac_exec_ext"; then
6209     $as_echo "$as_me:${as_lineno-$LINENO}: found $as_dir/$ac_word$ac_exec_ext" >&5
6506 for as_dir in $PATH
6509   test -z "$as_dir" && as_dir=.
6511   if as_fn_executable_p "$as_dir/$ac_word$ac_exec_ext"; then
6513     $as_echo "$as_me:${as_lineno-$LINENO}: found $as_dir/$ac_word$ac_exec_ext" >&5
6546 for as_dir in $PATH
6549   test -z "$as_dir" && as_dir=.
6551   if as_fn_executable_p "$as_dir/$ac_word$ac_exec_ext"; then
6553     $as_echo "$as_me:${as_lineno-$LINENO}: found $as_dir/$ac_word$ac_exec_ext" >&5
6650 for as_dir in $PATH
6653   test -z "$as_dir" && as_dir=.
6655   if as_fn_executable_p "$as_dir/$ac_word$ac_exec_ext"; then
6657     $as_echo "$as_me:${as_lineno-$LINENO}: found $as_dir/$ac_word$ac_exec_ext" >&5
6694 for as_dir in $PATH
6697   test -z "$as_dir" && as_dir=.
6699   if as_fn_executable_p "$as_dir/$ac_word$ac_exec_ext"; then
6701     $as_echo "$as_me:${as_lineno-$LINENO}: found $as_dir/$ac_word$ac_exec_ext" >&5
6819 for as_dir in $PATH
6822   test -z "$as_dir" && as_dir=.
6824   if as_fn_executable_p "$as_dir/$ac_word$ac_exec_ext"; then
6826     $as_echo "$as_me:${as_lineno-$LINENO}: found $as_dir/$ac_word$ac_exec_ext" >&5
6859 for as_dir in $PATH
6862   test -z "$as_dir" && as_dir=.
6864   if as_fn_executable_p "$as_dir/$ac_word$ac_exec_ext"; then
6866     $as_echo "$as_me:${as_lineno-$LINENO}: found $as_dir/$ac_word$ac_exec_ext" >&5
6918 for as_dir in $PATH
6921   test -z "$as_dir" && as_dir=.
6923   if as_fn_executable_p "$as_dir/$ac_word$ac_exec_ext"; then
6925     $as_echo "$as_me:${as_lineno-$LINENO}: found $as_dir/$ac_word$ac_exec_ext" >&5
6958 for as_dir in $PATH
6961   test -z "$as_dir" && as_dir=.
6963   if as_fn_executable_p "$as_dir/$ac_word$ac_exec_ext"; then
6965     $as_echo "$as_me:${as_lineno-$LINENO}: found $as_dir/$ac_word$ac_exec_ext" >&5
7444 for as_dir in $PATH
7447   test -z "$as_dir" && as_dir=.
7450       ac_path_lt_DD="$as_dir/$ac_prog$ac_exec_ext"
7787 for as_dir in $PATH
7790   test -z "$as_dir" && as_dir=.
7792   if as_fn_executable_p "$as_dir/$ac_word$ac_exec_ext"; then
7794     $as_echo "$as_me:${as_lineno-$LINENO}: found $as_dir/$ac_word$ac_exec_ext" >&5
7827 for as_dir in $PATH
7830   test -z "$as_dir" && as_dir=.
7832   if as_fn_executable_p "$as_dir/$ac_word$ac_exec_ext"; then
7834     $as_echo "$as_me:${as_lineno-$LINENO}: found $as_dir/$ac_word$ac_exec_ext" >&5
7907 for as_dir in $PATH
7910   test -z "$as_dir" && as_dir=.
7912   if as_fn_executable_p "$as_dir/$ac_word$ac_exec_ext"; then
7914     $as_echo "$as_me:${as_lineno-$LINENO}: found $as_dir/$ac_word$ac_exec_ext" >&5
7947 for as_dir in $PATH
7950   test -z "$as_dir" && as_dir=.
7952   if as_fn_executable_p "$as_dir/$ac_word$ac_exec_ext"; then
7954     $as_echo "$as_me:${as_lineno-$LINENO}: found $as_dir/$ac_word$ac_exec_ext" >&5
7999 for as_dir in $PATH
8002   test -z "$as_dir" && as_dir=.
8004   if as_fn_executable_p "$as_dir/$ac_word$ac_exec_ext"; then
8006     $as_echo "$as_me:${as_lineno-$LINENO}: found $as_dir/$ac_word$ac_exec_ext" >&5
8039 for as_dir in $PATH
8042   test -z "$as_dir" && as_dir=.
8044   if as_fn_executable_p "$as_dir/$ac_word$ac_exec_ext"; then
8046     $as_echo "$as_me:${as_lineno-$LINENO}: found $as_dir/$ac_word$ac_exec_ext" >&5
8091 for as_dir in $PATH
8094   test -z "$as_dir" && as_dir=.
8096   if as_fn_executable_p "$as_dir/$ac_word$ac_exec_ext"; then
8098     $as_echo "$as_me:${as_lineno-$LINENO}: found $as_dir/$ac_word$ac_exec_ext" >&5
8131 for as_dir in $PATH
8134   test -z "$as_dir" && as_dir=.
8136   if as_fn_executable_p "$as_dir/$ac_word$ac_exec_ext"; then
8138     $as_echo "$as_me:${as_lineno-$LINENO}: found $as_dir/$ac_word$ac_exec_ext" >&5
8183 for as_dir in $PATH
8186   test -z "$as_dir" && as_dir=.
8188   if as_fn_executable_p "$as_dir/$ac_word$ac_exec_ext"; then
8190     $as_echo "$as_me:${as_lineno-$LINENO}: found $as_dir/$ac_word$ac_exec_ext" >&5
8223 for as_dir in $PATH
8226   test -z "$as_dir" && as_dir=.
8228   if as_fn_executable_p "$as_dir/$ac_word$ac_exec_ext"; then
8230     $as_echo "$as_me:${as_lineno-$LINENO}: found $as_dir/$ac_word$ac_exec_ext" >&5
8275 for as_dir in $PATH
8278   test -z "$as_dir" && as_dir=.
8280   if as_fn_executable_p "$as_dir/$ac_word$ac_exec_ext"; then
8282     $as_echo "$as_me:${as_lineno-$LINENO}: found $as_dir/$ac_word$ac_exec_ext" >&5
8315 for as_dir in $PATH
8318   test -z "$as_dir" && as_dir=.
8320   if as_fn_executable_p "$as_dir/$ac_word$ac_exec_ext"; then
8322     $as_echo "$as_me:${as_lineno-$LINENO}: found $as_dir/$ac_word$ac_exec_ext" >&5
17190 for as_dir in $as_dummy
17193   test -z "$as_dir" && as_dir=.
17195   if as_fn_executable_p "$as_dir/$ac_word$ac_exec_ext"; then
17196     ac_cv_path_PRTDIAG="$as_dir/$ac_word$ac_exec_ext"
17197     $as_echo "$as_me:${as_lineno-$LINENO}: found $as_dir/$ac_word$ac_exec_ext" >&5
19800 for as_dir in $PATH
19803   test -z "$as_dir" && as_dir=.
19804     test -r "$as_dir/$0" && as_myself=$as_dir/$0 && break
19934 if (as_dir=`dirname -- /` && test "X$as_dir" = X/) >/dev/null 2>&1; then
20009 # Create "$as_dir" as a directory, including parents if necessary.
20013   case $as_dir in #(
20014   -*) as_dir=./$as_dir;;
20016   test -d "$as_dir" || eval $as_mkdir_p || {
20019       case $as_dir in #(
20020       *\'*) as_qdir=`$as_echo "$as_dir" | sed "s/'/'\\\\\\\\''/g"`;; #'(
20021       *) as_qdir=$as_dir;;
20024       as_dir=`$as_dirname -- "$as_dir" ||
20025 $as_expr X"$as_dir" : 'X\(.*[^/]\)//*[^/][^/]*/*$' \| \
20026 	 X"$as_dir" : 'X\(//\)[^/]' \| \
20027 	 X"$as_dir" : 'X\(//\)$' \| \
20028 	 X"$as_dir" : 'X\(/\)' \| . 2>/dev/null ||
20029 $as_echo X"$as_dir" |
20047       test -d "$as_dir" && break
20050   } || test -d "$as_dir" || as_fn_error $? "cannot create directory $as_dir"
20055   as_mkdir_p='mkdir -p "$as_dir"'
21096   as_dir="$ac_dir"; as_fn_mkdir_p
21550       as_dir=$dirpart/$fdir; as_fn_mkdir_p