Searched refs:ac_dir (Results 1 - 2 of 2) sorted by relevance

/seL4-l4v-10.1.1/HOL4/polyml/
H A Dconfigure1574 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/instal
[all...]
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/
H A Dconfigure1598 for ac_dir in : $ac_subdirs_all; do test "x$ac_dir" = x: && continue
1599 test -d "$ac_dir" ||
1600 { cd "$srcdir" && ac_pwd=`pwd` && srcdir=. && test -d "$ac_dir"; } ||
1604 case "$ac_dir" in
1607 ac_dir_suffix=/`$as_echo "$ac_dir" | sed 's|^\.[\\/]||'`
1636 cd "$ac_dir" || { ac_status=$?; continue; }
1645 $as_echo "$as_me: WARNING: no configuration information is in $ac_dir" >&2
2733 for ac_dir in "$srcdir" "$srcdir/.." "$srcdir/../.."; do
2734 if test -f "$ac_dir/instal
[all...]

Completed in 144 milliseconds