Cross Reference: /seL4-l4v-10.1.1/HOL4/polyml/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
3006 	if as_fn_executable_p "$as_dir/$ac_prog$ac_exec_ext"; then
3190   if as_fn_executable_p "$as_dir/$ac_word$ac_exec_ext"; then
3230   if as_fn_executable_p "$as_dir/$ac_word$ac_exec_ext"; then
3281 	   as_fn_executable_p "$as_dir/$ac_prog$ac_exec_ext" || continue
3328   if as_fn_executable_p "$as_dir/$ac_word$ac_exec_ext"; then
3682   if as_fn_executable_p "$as_dir/$ac_word$ac_exec_ext"; then
3722   if as_fn_executable_p "$as_dir/$ac_word$ac_exec_ext"; then
3982   if as_fn_executable_p "$as_dir/$ac_word$ac_exec_ext"; then
4022   if as_fn_executable_p "$as_dir/$ac_word$ac_exec_ext"; then
4075   if as_fn_executable_p "$as_dir/$ac_word$ac_exec_ext"; then
4116   if as_fn_executable_p "$as_dir/$ac_word$ac_exec_ext"; then
4174   if as_fn_executable_p "$as_dir/$ac_word$ac_exec_ext"; then
4218   if as_fn_executable_p "$as_dir/$ac_word$ac_exec_ext"; then
4958       as_fn_executable_p "$ac_path_SED" || continue
5034       as_fn_executable_p "$ac_path_GREP" || continue
5100       as_fn_executable_p "$ac_path_EGREP" || continue
5167       as_fn_executable_p "$ac_path_FGREP" || continue
5428   if as_fn_executable_p "$as_dir/$ac_word$ac_exec_ext"; then
5472   if as_fn_executable_p "$as_dir/$ac_word$ac_exec_ext"; then
5873   if as_fn_executable_p "$as_dir/$ac_word$ac_exec_ext"; then
5913   if as_fn_executable_p "$as_dir/$ac_word$ac_exec_ext"; then
6214   if as_fn_executable_p "$as_dir/$ac_word$ac_exec_ext"; then
6254   if as_fn_executable_p "$as_dir/$ac_word$ac_exec_ext"; then
6355   if as_fn_executable_p "$as_dir/$ac_word$ac_exec_ext"; then
6399   if as_fn_executable_p "$as_dir/$ac_word$ac_exec_ext"; then
6524   if as_fn_executable_p "$as_dir/$ac_word$ac_exec_ext"; then
6564   if as_fn_executable_p "$as_dir/$ac_word$ac_exec_ext"; then
6623   if as_fn_executable_p "$as_dir/$ac_word$ac_exec_ext"; then
6663   if as_fn_executable_p "$as_dir/$ac_word$ac_exec_ext"; then
7151       as_fn_executable_p "$ac_path_lt_DD" || continue
7492   if as_fn_executable_p "$as_dir/$ac_word$ac_exec_ext"; then
7532   if as_fn_executable_p "$as_dir/$ac_word$ac_exec_ext"; then
7612   if as_fn_executable_p "$as_dir/$ac_word$ac_exec_ext"; then
7652   if as_fn_executable_p "$as_dir/$ac_word$ac_exec_ext"; then
7704   if as_fn_executable_p "$as_dir/$ac_word$ac_exec_ext"; then
7744   if as_fn_executable_p "$as_dir/$ac_word$ac_exec_ext"; then
7796   if as_fn_executable_p "$as_dir/$ac_word$ac_exec_ext"; then
7836   if as_fn_executable_p "$as_dir/$ac_word$ac_exec_ext"; then
7888   if as_fn_executable_p "$as_dir/$ac_word$ac_exec_ext"; then
7928   if as_fn_executable_p "$as_dir/$ac_word$ac_exec_ext"; then
7980   if as_fn_executable_p "$as_dir/$ac_word$ac_exec_ext"; then
8020   if as_fn_executable_p "$as_dir/$ac_word$ac_exec_ext"; then
8560   if as_fn_executable_p "$as_dir/$ac_word$ac_exec_ext"; then
8600   if as_fn_executable_p "$as_dir/$ac_word$ac_exec_ext"; then
8652   if as_fn_executable_p "$as_dir/$ac_word$ac_exec_ext"; then
8692   if as_fn_executable_p "$as_dir/$ac_word$ac_exec_ext"; then
8744   if as_fn_executable_p "$as_dir/$ac_word$ac_exec_ext"; then
8784   if as_fn_executable_p "$as_dir/$ac_word$ac_exec_ext"; then
13208   if as_fn_executable_p "$as_dir/$ac_word$ac_exec_ext"; then
13252   if as_fn_executable_p "$as_dir/$ac_word$ac_exec_ext"; then
16924   if as_fn_executable_p "$as_dir/$ac_word$ac_exec_ext"; then
16964   if as_fn_executable_p "$as_dir/$ac_word$ac_exec_ext"; then
17017   if as_fn_executable_p "$as_dir/$ac_word$ac_exec_ext"; then
17058   if as_fn_executable_p "$as_dir/$ac_word$ac_exec_ext"; then
17116   if as_fn_executable_p "$as_dir/$ac_word$ac_exec_ext"; then
17160   if as_fn_executable_p "$as_dir/$ac_word$ac_exec_ext"; then
19784   if as_fn_executable_p "$as_dir/$ac_word$ac_exec_ext"; then
19827   if as_fn_executable_p "$as_dir/$ac_word$ac_exec_ext"; then
22416   if as_fn_executable_p "$as_dir/$ac_word$ac_exec_ext"; then
23079 # as_fn_executable_p FILE
23082 as_fn_executable_p ()
23085 } # as_fn_executable_p
23087 as_executable_p=as_fn_executable_p