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

1338 ac_pwd=`pwd` && test -n "$ac_pwd" &&
1340 ac_pwd_ls_di=`cd "$ac_pwd" && ls -di .` ||
1389 if test "$ac_abs_confdir" = "$ac_pwd"; then
1576       { cd "$srcdir" && ac_pwd=`pwd` && srcdir=. && test -d "$ac_dir"; } ||
1591 ac_abs_top_builddir=$ac_pwd
1592 ac_abs_builddir=$ac_pwd$ac_dir_suffix
1600     ac_abs_top_srcdir=$ac_pwd ;;
1608     ac_abs_top_srcdir=$ac_pwd/$srcdir ;;
1623     cd "$ac_pwd" || { ac_status=$?; break; }
2846       || { { $as_echo "$as_me:${as_lineno-$LINENO}: error: in \`$ac_pwd':" >&5
2847 $as_echo "$as_me: error: in \`$ac_pwd':" >&2;}
2921   { $as_echo "$as_me:${as_lineno-$LINENO}: error: in \`$ac_pwd':" >&5
2922 $as_echo "$as_me: error: in \`$ac_pwd':" >&2;}
4258 test -z "$CC" && { { $as_echo "$as_me:${as_lineno-$LINENO}: error: in \`$ac_pwd':" >&5
4259 $as_echo "$as_me: error: in \`$ac_pwd':" >&2;}
4373 { { $as_echo "$as_me:${as_lineno-$LINENO}: error: in \`$ac_pwd':" >&5
4374 $as_echo "$as_me: error: in \`$ac_pwd':" >&2;}
4416   { { $as_echo "$as_me:${as_lineno-$LINENO}: error: in \`$ac_pwd':" >&5
4417 $as_echo "$as_me: error: in \`$ac_pwd':" >&2;}
4474 	{ { $as_echo "$as_me:${as_lineno-$LINENO}: error: in \`$ac_pwd':" >&5
4475 $as_echo "$as_me: error: in \`$ac_pwd':" >&2;}
4527 { { $as_echo "$as_me:${as_lineno-$LINENO}: error: in \`$ac_pwd':" >&5
4528 $as_echo "$as_me: error: in \`$ac_pwd':" >&2;}
8379   { { $as_echo "$as_me:${as_lineno-$LINENO}: error: in \`$ac_pwd':" >&5
8380 $as_echo "$as_me: error: in \`$ac_pwd':" >&2;}
13699   { { $as_echo "$as_me:${as_lineno-$LINENO}: error: in \`$ac_pwd':" >&5
13700 $as_echo "$as_me: error: in \`$ac_pwd':" >&2;}
17200 test -z "$CC" && { { $as_echo "$as_me:${as_lineno-$LINENO}: error: in \`$ac_pwd':" >&5
17201 $as_echo "$as_me: error: in \`$ac_pwd':" >&2;}
17784   { { $as_echo "$as_me:${as_lineno-$LINENO}: error: in \`$ac_pwd':" >&5
17785 $as_echo "$as_me: error: in \`$ac_pwd':" >&2;}
19938                   { { $as_echo "$as_me:${as_lineno-$LINENO}: error: in \`$ac_pwd':" >&5
19939 $as_echo "$as_me: error: in \`$ac_pwd':" >&2;}
19950             { { $as_echo "$as_me:${as_lineno-$LINENO}: error: in \`$ac_pwd':" >&5
19951 $as_echo "$as_me: error: in \`$ac_pwd':" >&2;}
20080    { { $as_echo "$as_me:${as_lineno-$LINENO}: error: in \`$ac_pwd':" >&5
20081 $as_echo "$as_me: error: in \`$ac_pwd':" >&2;}
20089   { { $as_echo "$as_me:${as_lineno-$LINENO}: error: in \`$ac_pwd':" >&5
20090 $as_echo "$as_me: error: in \`$ac_pwd':" >&2;}
20144    { { $as_echo "$as_me:${as_lineno-$LINENO}: error: in \`$ac_pwd':" >&5
20145 $as_echo "$as_me: error: in \`$ac_pwd':" >&2;}
20153   { { $as_echo "$as_me:${as_lineno-$LINENO}: error: in \`$ac_pwd':" >&5
20154 $as_echo "$as_me: error: in \`$ac_pwd':" >&2;}
20262                   { { $as_echo "$as_me:${as_lineno-$LINENO}: error: in \`$ac_pwd':" >&5
20263 $as_echo "$as_me: error: in \`$ac_pwd':" >&2;}
20274             { { $as_echo "$as_me:${as_lineno-$LINENO}: error: in \`$ac_pwd':" >&5
20275 $as_echo "$as_me: error: in \`$ac_pwd':" >&2;}
21008      { { $as_echo "$as_me:${as_lineno-$LINENO}: error: in \`$ac_pwd':" >&5
21009 $as_echo "$as_me: error: in \`$ac_pwd':" >&2;}
21041      { { $as_echo "$as_me:${as_lineno-$LINENO}: error: in \`$ac_pwd':" >&5
21042 $as_echo "$as_me: error: in \`$ac_pwd':" >&2;}
21074      { { $as_echo "$as_me:${as_lineno-$LINENO}: error: in \`$ac_pwd':" >&5
21075 $as_echo "$as_me: error: in \`$ac_pwd':" >&2;}
21107      { { $as_echo "$as_me:${as_lineno-$LINENO}: error: in \`$ac_pwd':" >&5
21108 $as_echo "$as_me: error: in \`$ac_pwd':" >&2;}
23182 ac_pwd='$ac_pwd'
24114 ac_abs_top_builddir=$ac_pwd
24115 ac_abs_builddir=$ac_pwd$ac_dir_suffix
24123     ac_abs_top_srcdir=$ac_pwd ;;
24131     ac_abs_top_srcdir=$ac_pwd/$srcdir ;;
25221 ac_abs_top_builddir=$ac_pwd
25222 ac_abs_builddir=$ac_pwd$ac_dir_suffix
25230     ac_abs_top_srcdir=$ac_pwd ;;
25238     ac_abs_top_srcdir=$ac_pwd/$srcdir ;;