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

/seL4-l4v-10.1.1/HOL4/polyml/
H A Dconfigure3005 for ac_exec_ext in '' $ac_executable_extensions; do
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"
3189 for ac_exec_ext in '' $ac_executable_extensions; do
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
3229 for ac_exec_ext i
[all...]
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/
H A Dconfigure2957 for ac_exec_ext in '' $ac_executable_extensions; do
2958 if as_fn_executable_p "$as_dir/$ac_word$ac_exec_ext"; then
2959 ac_cv_path_ax_enable_builddir_sed="$as_dir/$ac_word$ac_exec_ext"
2960 $as_echo "$as_me:${as_lineno-$LINENO}: found $as_dir/$ac_word$ac_exec_ext" >&5
3023 for ac_exec_ext in '' $ac_executable_extensions; do
3024 if as_fn_executable_p "$as_dir/$ac_prog$ac_exec_ext"; then
3026 grep dspmsg "$as_dir/$ac_prog$ac_exec_ext" >/dev/null 2>&1; then
3030 grep pwplus "$as_dir/$ac_prog$ac_exec_ext" >/dev/null 2>&1; then
3038 if "$as_dir/$ac_prog$ac_exec_ext" -c conftest.one conftest.two "`pwd`/conftest.dir" &&
3043 ac_cv_path_install="$as_dir/$ac_prog$ac_exec_ext
[all...]

Completed in 53 milliseconds