Cross Reference: /seL4-l4v-10.1.1/HOL4/polyml/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"'
2623 for as_dir in $PATH
2626   test -z "$as_dir" && as_dir=.
2627     $as_echo "PATH: $as_dir"
2990 for as_dir in $PATH
2993   test -z "$as_dir" && as_dir=.
2995 case $as_dir/ in #((
3006 	if as_fn_executable_p "$as_dir/$ac_prog$ac_exec_ext"; then
3008 	    grep dspmsg "$as_dir/$ac_prog$ac_exec_ext" >/dev/null 2>&1; then
3012 	    grep pwplus "$as_dir/$ac_prog$ac_exec_ext" >/dev/null 2>&1; then
3020 	    if "$as_dir/$ac_prog$ac_exec_ext" -c conftest.one conftest.two "`pwd`/conftest.dir" &&
3025 	      ac_cv_path_install="$as_dir/$ac_prog$ac_exec_ext -c"
3185 for as_dir in $PATH
3188   test -z "$as_dir" && as_dir=.
3190   if as_fn_executable_p "$as_dir/$ac_word$ac_exec_ext"; then
3192     $as_echo "$as_me:${as_lineno-$LINENO}: found $as_dir/$ac_word$ac_exec_ext" >&5
3225 for as_dir in $PATH
3228   test -z "$as_dir" && as_dir=.
3230   if as_fn_executable_p "$as_dir/$ac_word$ac_exec_ext"; then
3232     $as_echo "$as_me:${as_lineno-$LINENO}: found $as_dir/$ac_word$ac_exec_ext" >&5
3275 for as_dir in $PATH$PATH_SEPARATOR/opt/sfw/bin
3278   test -z "$as_dir" && as_dir=.
3281 	   as_fn_executable_p "$as_dir/$ac_prog$ac_exec_ext" || continue
3282 	   case `"$as_dir/$ac_prog$ac_exec_ext" --version 2>&1` in #(
3286 	       ac_cv_path_mkdir=$as_dir/$ac_prog$ac_exec_ext
3323 for as_dir in $PATH
3326   test -z "$as_dir" && as_dir=.
3328   if as_fn_executable_p "$as_dir/$ac_word$ac_exec_ext"; then
3330     $as_echo "$as_me:${as_lineno-$LINENO}: found $as_dir/$ac_word$ac_exec_ext" >&5
3677 for as_dir in $PATH
3680   test -z "$as_dir" && as_dir=.
3682   if as_fn_executable_p "$as_dir/$ac_word$ac_exec_ext"; then
3684     $as_echo "$as_me:${as_lineno-$LINENO}: found $as_dir/$ac_word$ac_exec_ext" >&5
3717 for as_dir in $PATH
3720   test -z "$as_dir" && as_dir=.
3722   if as_fn_executable_p "$as_dir/$ac_word$ac_exec_ext"; then
3724     $as_echo "$as_me:${as_lineno-$LINENO}: found $as_dir/$ac_word$ac_exec_ext" >&5
3977 for as_dir in $PATH
3980   test -z "$as_dir" && as_dir=.
3982   if as_fn_executable_p "$as_dir/$ac_word$ac_exec_ext"; then
3984     $as_echo "$as_me:${as_lineno-$LINENO}: found $as_dir/$ac_word$ac_exec_ext" >&5
4017 for as_dir in $PATH
4020   test -z "$as_dir" && as_dir=.
4022   if as_fn_executable_p "$as_dir/$ac_word$ac_exec_ext"; then
4024     $as_echo "$as_me:${as_lineno-$LINENO}: found $as_dir/$ac_word$ac_exec_ext" >&5
4070 for as_dir in $PATH
4073   test -z "$as_dir" && as_dir=.
4075   if as_fn_executable_p "$as_dir/$ac_word$ac_exec_ext"; then
4077     $as_echo "$as_me:${as_lineno-$LINENO}: found $as_dir/$ac_word$ac_exec_ext" >&5
4111 for as_dir in $PATH
4114   test -z "$as_dir" && as_dir=.
4116   if as_fn_executable_p "$as_dir/$ac_word$ac_exec_ext"; then
4117     if test "$as_dir/$ac_word$ac_exec_ext" = "/usr/ucb/cc"; then
4122     $as_echo "$as_me:${as_lineno-$LINENO}: found $as_dir/$ac_word$ac_exec_ext" >&5
4138     ac_cv_prog_CC="$as_dir/$ac_word${1+' '}$@"
4169 for as_dir in $PATH
4172   test -z "$as_dir" && as_dir=.
4174   if as_fn_executable_p "$as_dir/$ac_word$ac_exec_ext"; then
4176     $as_echo "$as_me:${as_lineno-$LINENO}: found $as_dir/$ac_word$ac_exec_ext" >&5
4213 for as_dir in $PATH
4216   test -z "$as_dir" && as_dir=.
4218   if as_fn_executable_p "$as_dir/$ac_word$ac_exec_ext"; then
4220     $as_echo "$as_me:${as_lineno-$LINENO}: found $as_dir/$ac_word$ac_exec_ext" >&5
4951 for as_dir in $PATH
4954   test -z "$as_dir" && as_dir=.
4957       ac_path_SED="$as_dir/$ac_prog$ac_exec_ext"
5027 for as_dir in $PATH$PATH_SEPARATOR/usr/xpg4/bin
5030   test -z "$as_dir" && as_dir=.
5033       ac_path_GREP="$as_dir/$ac_prog$ac_exec_ext"
5093 for as_dir in $PATH$PATH_SEPARATOR/usr/xpg4/bin
5096   test -z "$as_dir" && as_dir=.
5099       ac_path_EGREP="$as_dir/$ac_prog$ac_exec_ext"
5160 for as_dir in $PATH$PATH_SEPARATOR/usr/xpg4/bin
5163   test -z "$as_dir" && as_dir=.
5166       ac_path_FGREP="$as_dir/$ac_prog$ac_exec_ext"
5423 for as_dir in $PATH
5426   test -z "$as_dir" && as_dir=.
5428   if as_fn_executable_p "$as_dir/$ac_word$ac_exec_ext"; then
5430     $as_echo "$as_me:${as_lineno-$LINENO}: found $as_dir/$ac_word$ac_exec_ext" >&5
5467 for as_dir in $PATH
5470   test -z "$as_dir" && as_dir=.
5472   if as_fn_executable_p "$as_dir/$ac_word$ac_exec_ext"; then
5474     $as_echo "$as_me:${as_lineno-$LINENO}: found $as_dir/$ac_word$ac_exec_ext" >&5
5868 for as_dir in $PATH
5871   test -z "$as_dir" && as_dir=.
5873   if as_fn_executable_p "$as_dir/$ac_word$ac_exec_ext"; then
5875     $as_echo "$as_me:${as_lineno-$LINENO}: found $as_dir/$ac_word$ac_exec_ext" >&5
5908 for as_dir in $PATH
5911   test -z "$as_dir" && as_dir=.
5913   if as_fn_executable_p "$as_dir/$ac_word$ac_exec_ext"; then
5915     $as_echo "$as_me:${as_lineno-$LINENO}: found $as_dir/$ac_word$ac_exec_ext" >&5
6209 for as_dir in $PATH
6212   test -z "$as_dir" && as_dir=.
6214   if as_fn_executable_p "$as_dir/$ac_word$ac_exec_ext"; then
6216     $as_echo "$as_me:${as_lineno-$LINENO}: found $as_dir/$ac_word$ac_exec_ext" >&5
6249 for as_dir in $PATH
6252   test -z "$as_dir" && as_dir=.
6254   if as_fn_executable_p "$as_dir/$ac_word$ac_exec_ext"; then
6256     $as_echo "$as_me:${as_lineno-$LINENO}: found $as_dir/$ac_word$ac_exec_ext" >&5
6350 for as_dir in $PATH
6353   test -z "$as_dir" && as_dir=.
6355   if as_fn_executable_p "$as_dir/$ac_word$ac_exec_ext"; then
6357     $as_echo "$as_me:${as_lineno-$LINENO}: found $as_dir/$ac_word$ac_exec_ext" >&5
6394 for as_dir in $PATH
6397   test -z "$as_dir" && as_dir=.
6399   if as_fn_executable_p "$as_dir/$ac_word$ac_exec_ext"; then
6401     $as_echo "$as_me:${as_lineno-$LINENO}: found $as_dir/$ac_word$ac_exec_ext" >&5
6519 for as_dir in $PATH
6522   test -z "$as_dir" && as_dir=.
6524   if as_fn_executable_p "$as_dir/$ac_word$ac_exec_ext"; then
6526     $as_echo "$as_me:${as_lineno-$LINENO}: found $as_dir/$ac_word$ac_exec_ext" >&5
6559 for as_dir in $PATH
6562   test -z "$as_dir" && as_dir=.
6564   if as_fn_executable_p "$as_dir/$ac_word$ac_exec_ext"; then
6566     $as_echo "$as_me:${as_lineno-$LINENO}: found $as_dir/$ac_word$ac_exec_ext" >&5
6618 for as_dir in $PATH
6621   test -z "$as_dir" && as_dir=.
6623   if as_fn_executable_p "$as_dir/$ac_word$ac_exec_ext"; then
6625     $as_echo "$as_me:${as_lineno-$LINENO}: found $as_dir/$ac_word$ac_exec_ext" >&5
6658 for as_dir in $PATH
6661   test -z "$as_dir" && as_dir=.
6663   if as_fn_executable_p "$as_dir/$ac_word$ac_exec_ext"; then
6665     $as_echo "$as_me:${as_lineno-$LINENO}: found $as_dir/$ac_word$ac_exec_ext" >&5
7144 for as_dir in $PATH
7147   test -z "$as_dir" && as_dir=.
7150       ac_path_lt_DD="$as_dir/$ac_prog$ac_exec_ext"
7487 for as_dir in $PATH
7490   test -z "$as_dir" && as_dir=.
7492   if as_fn_executable_p "$as_dir/$ac_word$ac_exec_ext"; then
7494     $as_echo "$as_me:${as_lineno-$LINENO}: found $as_dir/$ac_word$ac_exec_ext" >&5
7527 for as_dir in $PATH
7530   test -z "$as_dir" && as_dir=.
7532   if as_fn_executable_p "$as_dir/$ac_word$ac_exec_ext"; then
7534     $as_echo "$as_me:${as_lineno-$LINENO}: found $as_dir/$ac_word$ac_exec_ext" >&5
7607 for as_dir in $PATH
7610   test -z "$as_dir" && as_dir=.
7612   if as_fn_executable_p "$as_dir/$ac_word$ac_exec_ext"; then
7614     $as_echo "$as_me:${as_lineno-$LINENO}: found $as_dir/$ac_word$ac_exec_ext" >&5
7647 for as_dir in $PATH
7650   test -z "$as_dir" && as_dir=.
7652   if as_fn_executable_p "$as_dir/$ac_word$ac_exec_ext"; then
7654     $as_echo "$as_me:${as_lineno-$LINENO}: found $as_dir/$ac_word$ac_exec_ext" >&5
7699 for as_dir in $PATH
7702   test -z "$as_dir" && as_dir=.
7704   if as_fn_executable_p "$as_dir/$ac_word$ac_exec_ext"; then
7706     $as_echo "$as_me:${as_lineno-$LINENO}: found $as_dir/$ac_word$ac_exec_ext" >&5
7739 for as_dir in $PATH
7742   test -z "$as_dir" && as_dir=.
7744   if as_fn_executable_p "$as_dir/$ac_word$ac_exec_ext"; then
7746     $as_echo "$as_me:${as_lineno-$LINENO}: found $as_dir/$ac_word$ac_exec_ext" >&5
7791 for as_dir in $PATH
7794   test -z "$as_dir" && as_dir=.
7796   if as_fn_executable_p "$as_dir/$ac_word$ac_exec_ext"; then
7798     $as_echo "$as_me:${as_lineno-$LINENO}: found $as_dir/$ac_word$ac_exec_ext" >&5
7831 for as_dir in $PATH
7834   test -z "$as_dir" && as_dir=.
7836   if as_fn_executable_p "$as_dir/$ac_word$ac_exec_ext"; then
7838     $as_echo "$as_me:${as_lineno-$LINENO}: found $as_dir/$ac_word$ac_exec_ext" >&5
7883 for as_dir in $PATH
7886   test -z "$as_dir" && as_dir=.
7888   if as_fn_executable_p "$as_dir/$ac_word$ac_exec_ext"; then
7890     $as_echo "$as_me:${as_lineno-$LINENO}: found $as_dir/$ac_word$ac_exec_ext" >&5
7923 for as_dir in $PATH
7926   test -z "$as_dir" && as_dir=.
7928   if as_fn_executable_p "$as_dir/$ac_word$ac_exec_ext"; then
7930     $as_echo "$as_me:${as_lineno-$LINENO}: found $as_dir/$ac_word$ac_exec_ext" >&5
7975 for as_dir in $PATH
7978   test -z "$as_dir" && as_dir=.
7980   if as_fn_executable_p "$as_dir/$ac_word$ac_exec_ext"; then
7982     $as_echo "$as_me:${as_lineno-$LINENO}: found $as_dir/$ac_word$ac_exec_ext" >&5
8015 for as_dir in $PATH
8018   test -z "$as_dir" && as_dir=.
8020   if as_fn_executable_p "$as_dir/$ac_word$ac_exec_ext"; then
8022     $as_echo "$as_me:${as_lineno-$LINENO}: found $as_dir/$ac_word$ac_exec_ext" >&5
8555 for as_dir in $PATH
8558   test -z "$as_dir" && as_dir=.
8560   if as_fn_executable_p "$as_dir/$ac_word$ac_exec_ext"; then
8562     $as_echo "$as_me:${as_lineno-$LINENO}: found $as_dir/$ac_word$ac_exec_ext" >&5
8595 for as_dir in $PATH
8598   test -z "$as_dir" && as_dir=.
8600   if as_fn_executable_p "$as_dir/$ac_word$ac_exec_ext"; then
8602     $as_echo "$as_me:${as_lineno-$LINENO}: found $as_dir/$ac_word$ac_exec_ext" >&5
8647 for as_dir in $PATH
8650   test -z "$as_dir" && as_dir=.
8652   if as_fn_executable_p "$as_dir/$ac_word$ac_exec_ext"; then
8654     $as_echo "$as_me:${as_lineno-$LINENO}: found $as_dir/$ac_word$ac_exec_ext" >&5
8687 for as_dir in $PATH
8690   test -z "$as_dir" && as_dir=.
8692   if as_fn_executable_p "$as_dir/$ac_word$ac_exec_ext"; then
8694     $as_echo "$as_me:${as_lineno-$LINENO}: found $as_dir/$ac_word$ac_exec_ext" >&5
8739 for as_dir in $PATH
8742   test -z "$as_dir" && as_dir=.
8744   if as_fn_executable_p "$as_dir/$ac_word$ac_exec_ext"; then
8746     $as_echo "$as_me:${as_lineno-$LINENO}: found $as_dir/$ac_word$ac_exec_ext" >&5
8779 for as_dir in $PATH
8782   test -z "$as_dir" && as_dir=.
8784   if as_fn_executable_p "$as_dir/$ac_word$ac_exec_ext"; then
8786     $as_echo "$as_me:${as_lineno-$LINENO}: found $as_dir/$ac_word$ac_exec_ext" >&5
13203 for as_dir in $PATH
13206   test -z "$as_dir" && as_dir=.
13208   if as_fn_executable_p "$as_dir/$ac_word$ac_exec_ext"; then
13210     $as_echo "$as_me:${as_lineno-$LINENO}: found $as_dir/$ac_word$ac_exec_ext" >&5
13247 for as_dir in $PATH
13250   test -z "$as_dir" && as_dir=.
13252   if as_fn_executable_p "$as_dir/$ac_word$ac_exec_ext"; then
13254     $as_echo "$as_me:${as_lineno-$LINENO}: found $as_dir/$ac_word$ac_exec_ext" >&5
16919 for as_dir in $PATH
16922   test -z "$as_dir" && as_dir=.
16924   if as_fn_executable_p "$as_dir/$ac_word$ac_exec_ext"; then
16926     $as_echo "$as_me:${as_lineno-$LINENO}: found $as_dir/$ac_word$ac_exec_ext" >&5
16959 for as_dir in $PATH
16962   test -z "$as_dir" && as_dir=.
16964   if as_fn_executable_p "$as_dir/$ac_word$ac_exec_ext"; then
16966     $as_echo "$as_me:${as_lineno-$LINENO}: found $as_dir/$ac_word$ac_exec_ext" >&5
17012 for as_dir in $PATH
17015   test -z "$as_dir" && as_dir=.
17017   if as_fn_executable_p "$as_dir/$ac_word$ac_exec_ext"; then
17019     $as_echo "$as_me:${as_lineno-$LINENO}: found $as_dir/$ac_word$ac_exec_ext" >&5
17053 for as_dir in $PATH
17056   test -z "$as_dir" && as_dir=.
17058   if as_fn_executable_p "$as_dir/$ac_word$ac_exec_ext"; then
17059     if test "$as_dir/$ac_word$ac_exec_ext" = "/usr/ucb/cc"; then
17064     $as_echo "$as_me:${as_lineno-$LINENO}: found $as_dir/$ac_word$ac_exec_ext" >&5
17080     ac_cv_prog_CC="$as_dir/$ac_word${1+' '}$@"
17111 for as_dir in $PATH
17114   test -z "$as_dir" && as_dir=.
17116   if as_fn_executable_p "$as_dir/$ac_word$ac_exec_ext"; then
17118     $as_echo "$as_me:${as_lineno-$LINENO}: found $as_dir/$ac_word$ac_exec_ext" >&5
17155 for as_dir in $PATH
17158   test -z "$as_dir" && as_dir=.
17160   if as_fn_executable_p "$as_dir/$ac_word$ac_exec_ext"; then
17162     $as_echo "$as_me:${as_lineno-$LINENO}: found $as_dir/$ac_word$ac_exec_ext" >&5
19779 for as_dir in $PATH
19782   test -z "$as_dir" && as_dir=.
19784   if as_fn_executable_p "$as_dir/$ac_word$ac_exec_ext"; then
19785     ac_cv_path_PKG_CONFIG="$as_dir/$ac_word$ac_exec_ext"
19786     $as_echo "$as_me:${as_lineno-$LINENO}: found $as_dir/$ac_word$ac_exec_ext" >&5
19822 for as_dir in $PATH
19825   test -z "$as_dir" && as_dir=.
19827   if as_fn_executable_p "$as_dir/$ac_word$ac_exec_ext"; then
19828     ac_cv_path_ac_pt_PKG_CONFIG="$as_dir/$ac_word$ac_exec_ext"
19829     $as_echo "$as_me:${as_lineno-$LINENO}: found $as_dir/$ac_word$ac_exec_ext" >&5
22411 for as_dir in $PATH
22414   test -z "$as_dir" && as_dir=.
22416   if as_fn_executable_p "$as_dir/$ac_word$ac_exec_ext"; then
22418     $as_echo "$as_me:${as_lineno-$LINENO}: found $as_dir/$ac_word$ac_exec_ext" >&5
22817 for as_dir in $PATH
22820   test -z "$as_dir" && as_dir=.
22821     test -r "$as_dir/$0" && as_myself=$as_dir/$0 && break
22951 if (as_dir=`dirname -- /` && test "X$as_dir" = X/) >/dev/null 2>&1; then
23026 # Create "$as_dir" as a directory, including parents if necessary.
23030   case $as_dir in #(
23031   -*) as_dir=./$as_dir;;
23033   test -d "$as_dir" || eval $as_mkdir_p || {
23036       case $as_dir in #(
23037       *\'*) as_qdir=`$as_echo "$as_dir" | sed "s/'/'\\\\\\\\''/g"`;; #'(
23038       *) as_qdir=$as_dir;;
23041       as_dir=`$as_dirname -- "$as_dir" ||
23042 $as_expr X"$as_dir" : 'X\(.*[^/]\)//*[^/][^/]*/*$' \| \
23043 	 X"$as_dir" : 'X\(//\)[^/]' \| \
23044 	 X"$as_dir" : 'X\(//\)$' \| \
23045 	 X"$as_dir" : 'X\(/\)' \| . 2>/dev/null ||
23046 $as_echo X"$as_dir" |
23064       test -d "$as_dir" && break
23067   } || test -d "$as_dir" || as_fn_error $? "cannot create directory $as_dir"
23072   as_mkdir_p='mkdir -p "$as_dir"'
24100   as_dir="$ac_dir"; as_fn_mkdir_p
24379       as_dir=$dirpart/$fdir; as_fn_mkdir_p
25207     as_dir="$ac_dir"; as_fn_mkdir_p