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

/seL4-l4v-master/HOL4/polyml/
H A Dconfigure2996 for ac_exec_ext in '' $ac_executable_extensions; do
2997 if as_fn_executable_p "$as_dir/$ac_prog$ac_exec_ext"; then
2999 grep dspmsg "$as_dir/$ac_prog$ac_exec_ext" >/dev/null 2>&1; then
3003 grep pwplus "$as_dir/$ac_prog$ac_exec_ext" >/dev/null 2>&1; then
3011 if "$as_dir/$ac_prog$ac_exec_ext" -c conftest.one conftest.two "`pwd`/conftest.dir" &&
3016 ac_cv_path_install="$as_dir/$ac_prog$ac_exec_ext -c"
3180 for ac_exec_ext in '' $ac_executable_extensions; do
3181 if as_fn_executable_p "$as_dir/$ac_word$ac_exec_ext"; then
3183 $as_echo "$as_me:${as_lineno-$LINENO}: found $as_dir/$ac_word$ac_exec_ext" >&5
3220 for ac_exec_ext i
[all...]

Completed in 42 milliseconds