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

1378 ac_pwd=`pwd` && test -n "$ac_pwd" &&
1380 ac_pwd_ls_di=`cd "$ac_pwd" && ls -di .` ||
1429 if test "$ac_abs_confdir" = "$ac_pwd"; then
1600       { cd "$srcdir" && ac_pwd=`pwd` && srcdir=. && test -d "$ac_dir"; } ||
1615 ac_abs_top_builddir=$ac_pwd
1616 ac_abs_builddir=$ac_pwd$ac_dir_suffix
1624     ac_abs_top_srcdir=$ac_pwd ;;
1632     ac_abs_top_srcdir=$ac_pwd/$srcdir ;;
1647     cd "$ac_pwd" || { ac_status=$?; break; }
2637       || { { $as_echo "$as_me:${as_lineno-$LINENO}: error: in \`$ac_pwd':" >&5
2638 $as_echo "$as_me: error: in \`$ac_pwd':" >&2;}
2712   { $as_echo "$as_me:${as_lineno-$LINENO}: error: in \`$ac_pwd':" >&5
2713 $as_echo "$as_me: error: in \`$ac_pwd':" >&2;}
3870 test -z "$CC" && { { $as_echo "$as_me:${as_lineno-$LINENO}: error: in \`$ac_pwd':" >&5
3871 $as_echo "$as_me: error: in \`$ac_pwd':" >&2;}
3985 { { $as_echo "$as_me:${as_lineno-$LINENO}: error: in \`$ac_pwd':" >&5
3986 $as_echo "$as_me: error: in \`$ac_pwd':" >&2;}
4028   { { $as_echo "$as_me:${as_lineno-$LINENO}: error: in \`$ac_pwd':" >&5
4029 $as_echo "$as_me: error: in \`$ac_pwd':" >&2;}
4086 	{ { $as_echo "$as_me:${as_lineno-$LINENO}: error: in \`$ac_pwd':" >&5
4087 $as_echo "$as_me: error: in \`$ac_pwd':" >&2;}
4139 { { $as_echo "$as_me:${as_lineno-$LINENO}: error: in \`$ac_pwd':" >&5
4140 $as_echo "$as_me: error: in \`$ac_pwd':" >&2;}
8679   { { $as_echo "$as_me:${as_lineno-$LINENO}: error: in \`$ac_pwd':" >&5
8680 $as_echo "$as_me: error: in \`$ac_pwd':" >&2;}
13263   { { $as_echo "$as_me:${as_lineno-$LINENO}: error: in \`$ac_pwd':" >&5
13264 $as_echo "$as_me: error: in \`$ac_pwd':" >&2;}
16496      { { $as_echo "$as_me:${as_lineno-$LINENO}: error: in \`$ac_pwd':" >&5
16497 $as_echo "$as_me: error: in \`$ac_pwd':" >&2;}
18578      { { $as_echo "$as_me:${as_lineno-$LINENO}: error: in \`$ac_pwd':" >&5
18579 $as_echo "$as_me: error: in \`$ac_pwd':" >&2;}
18611      { { $as_echo "$as_me:${as_lineno-$LINENO}: error: in \`$ac_pwd':" >&5
18612 $as_echo "$as_me: error: in \`$ac_pwd':" >&2;}
20169 ac_pwd='$ac_pwd'
21110 ac_abs_top_builddir=$ac_pwd
21111 ac_abs_builddir=$ac_pwd$ac_dir_suffix
21119     ac_abs_top_srcdir=$ac_pwd ;;
21127     ac_abs_top_srcdir=$ac_pwd/$srcdir ;;