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

371 # as_fn_executable_p FILE
374 as_fn_executable_p ()
377 } # as_fn_executable_p
559 as_executable_p=as_fn_executable_p
2958   if as_fn_executable_p "$as_dir/$ac_word$ac_exec_ext"; then
3024 	if as_fn_executable_p "$as_dir/$ac_prog$ac_exec_ext"; then
3205   if as_fn_executable_p "$as_dir/$ac_word$ac_exec_ext"; then
3245   if as_fn_executable_p "$as_dir/$ac_word$ac_exec_ext"; then
3296 	   as_fn_executable_p "$as_dir/$ac_prog$ac_exec_ext" || continue
3343   if as_fn_executable_p "$as_dir/$ac_word$ac_exec_ext"; then
3594   if as_fn_executable_p "$as_dir/$ac_word$ac_exec_ext"; then
3634   if as_fn_executable_p "$as_dir/$ac_word$ac_exec_ext"; then
3687   if as_fn_executable_p "$as_dir/$ac_word$ac_exec_ext"; then
3728   if as_fn_executable_p "$as_dir/$ac_word$ac_exec_ext"; then
3786   if as_fn_executable_p "$as_dir/$ac_word$ac_exec_ext"; then
3830   if as_fn_executable_p "$as_dir/$ac_word$ac_exec_ext"; then
4639   if as_fn_executable_p "$as_dir/$ac_word$ac_exec_ext"; then
4683   if as_fn_executable_p "$as_dir/$ac_word$ac_exec_ext"; then
5252       as_fn_executable_p "$ac_path_SED" || continue
5328       as_fn_executable_p "$ac_path_GREP" || continue
5394       as_fn_executable_p "$ac_path_EGREP" || continue
5461       as_fn_executable_p "$ac_path_FGREP" || continue
5722   if as_fn_executable_p "$as_dir/$ac_word$ac_exec_ext"; then
5766   if as_fn_executable_p "$as_dir/$ac_word$ac_exec_ext"; then
6167   if as_fn_executable_p "$as_dir/$ac_word$ac_exec_ext"; then
6207   if as_fn_executable_p "$as_dir/$ac_word$ac_exec_ext"; then
6511   if as_fn_executable_p "$as_dir/$ac_word$ac_exec_ext"; then
6551   if as_fn_executable_p "$as_dir/$ac_word$ac_exec_ext"; then
6655   if as_fn_executable_p "$as_dir/$ac_word$ac_exec_ext"; then
6699   if as_fn_executable_p "$as_dir/$ac_word$ac_exec_ext"; then
6824   if as_fn_executable_p "$as_dir/$ac_word$ac_exec_ext"; then
6864   if as_fn_executable_p "$as_dir/$ac_word$ac_exec_ext"; then
6923   if as_fn_executable_p "$as_dir/$ac_word$ac_exec_ext"; then
6963   if as_fn_executable_p "$as_dir/$ac_word$ac_exec_ext"; then
7451       as_fn_executable_p "$ac_path_lt_DD" || continue
7792   if as_fn_executable_p "$as_dir/$ac_word$ac_exec_ext"; then
7832   if as_fn_executable_p "$as_dir/$ac_word$ac_exec_ext"; then
7912   if as_fn_executable_p "$as_dir/$ac_word$ac_exec_ext"; then
7952   if as_fn_executable_p "$as_dir/$ac_word$ac_exec_ext"; then
8004   if as_fn_executable_p "$as_dir/$ac_word$ac_exec_ext"; then
8044   if as_fn_executable_p "$as_dir/$ac_word$ac_exec_ext"; then
8096   if as_fn_executable_p "$as_dir/$ac_word$ac_exec_ext"; then
8136   if as_fn_executable_p "$as_dir/$ac_word$ac_exec_ext"; then
8188   if as_fn_executable_p "$as_dir/$ac_word$ac_exec_ext"; then
8228   if as_fn_executable_p "$as_dir/$ac_word$ac_exec_ext"; then
8280   if as_fn_executable_p "$as_dir/$ac_word$ac_exec_ext"; then
8320   if as_fn_executable_p "$as_dir/$ac_word$ac_exec_ext"; then
17195   if as_fn_executable_p "$as_dir/$ac_word$ac_exec_ext"; then
20062 # as_fn_executable_p FILE
20065 as_fn_executable_p ()
20068 } # as_fn_executable_p
20070 as_executable_p=as_fn_executable_p