Cross Reference: /seL4-l4v-master/HOL4/polyml/configure

2995     for ac_prog in ginstall scoinst install; do
2997 	if as_fn_executable_p "$as_dir/$ac_prog$ac_exec_ext"; then
2998 	  if test $ac_prog = install &&
2999 	    grep dspmsg "$as_dir/$ac_prog$ac_exec_ext" >/dev/null 2>&1; then
3002 	  elif test $ac_prog = install &&
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"
3270     for ac_prog in mkdir gmkdir; do
3272 	   as_fn_executable_p "$as_dir/$ac_prog$ac_exec_ext" || continue
3273 	   case `"$as_dir/$ac_prog$ac_exec_ext" --version 2>&1` in #(
3277 	       ac_cv_path_mkdir=$as_dir/$ac_prog$ac_exec_ext
3301 for ac_prog in gawk mawk nawk awk
3303   # Extract the first word of "$ac_prog", so it can be a program name with args.
3304 set dummy $ac_prog; ac_word=$2
3320     ac_cv_prog_AWK="$ac_prog"
3896   for ac_prog in cl.exe
3898     # Extract the first word of "$ac_tool_prefix$ac_prog", so it can be a program name with args.
3899 set dummy $ac_tool_prefix$ac_prog; ac_word=$2
3915     ac_cv_prog_CC="$ac_tool_prefix$ac_prog"
3940   for ac_prog in cl.exe
3942   # Extract the first word of "$ac_prog", so it can be a program name with args.
3943 set dummy $ac_prog; ac_word=$2
3959     ac_cv_prog_ac_ct_CC="$ac_prog"
4828     for ac_prog in grep ggrep; do
4830       ac_path_GREP="$as_dir/$ac_prog$ac_exec_ext"
4894     for ac_prog in egrep; do
4896       ac_path_EGREP="$as_dir/$ac_prog$ac_exec_ext"
5219     for ac_prog in sed gsed; do
5221       ac_path_SED="$as_dir/$ac_prog$ac_exec_ext"
5298     for ac_prog in fgrep; do
5300       ac_path_FGREP="$as_dir/$ac_prog$ac_exec_ext"
5376 ac_prog=ld
5384     ac_prog=`($CC -print-prog-name=ld) 2>&5 | tr -d '\015'` ;;
5386     ac_prog=`($CC -print-prog-name=ld) 2>&5` ;;
5388   case $ac_prog in
5393       ac_prog=`$ECHO "$ac_prog"| $SED 's%\\\\%/%g'`
5394       while $ECHO "$ac_prog" | $GREP "$re_direlt" > /dev/null 2>&1; do
5395 	ac_prog=`$ECHO $ac_prog| $SED "s%$re_direlt%/%"`
5397       test -z "$LD" && LD=$ac_prog
5401     ac_prog=ld
5423     if test -f "$ac_dir/$ac_prog" || test -f "$ac_dir/$ac_prog$ac_exeext"; then
5424       lt_cv_path_LD=$ac_dir/$ac_prog
5544   for ac_prog in dumpbin "link -dump"
5546     # Extract the first word of "$ac_tool_prefix$ac_prog", so it can be a program name with args.
5547 set dummy $ac_tool_prefix$ac_prog; ac_word=$2
5563     ac_cv_prog_DUMPBIN="$ac_tool_prefix$ac_prog"
5588   for ac_prog in dumpbin "link -dump"
5590   # Extract the first word of "$ac_prog", so it can be a program name with args.
5591 set dummy $ac_prog; ac_word=$2
5607     ac_cv_prog_ac_ct_DUMPBIN="$ac_prog"
6470   for ac_prog in ar
6472     # Extract the first word of "$ac_tool_prefix$ac_prog", so it can be a program name with args.
6473 set dummy $ac_tool_prefix$ac_prog; ac_word=$2
6489     ac_cv_prog_AR="$ac_tool_prefix$ac_prog"
6514   for ac_prog in ar
6516   # Extract the first word of "$ac_prog", so it can be a program name with args.
6517 set dummy $ac_prog; ac_word=$2
6533     ac_cv_prog_ac_ct_AR="$ac_prog"
7281     for ac_prog in dd; do
7283       ac_path_lt_DD="$as_dir/$ac_prog$ac_exec_ext"
13056   for ac_prog in g++ c++ gpp aCC CC cxx cc++ cl.exe FCC KCC RCC xlC_r xlC
13058     # Extract the first word of "$ac_tool_prefix$ac_prog", so it can be a program name with args.
13059 set dummy $ac_tool_prefix$ac_prog; ac_word=$2
13075     ac_cv_prog_CXX="$ac_tool_prefix$ac_prog"
13100   for ac_prog in g++ c++ gpp aCC CC cxx cc++ cl.exe FCC KCC RCC xlC_r xlC
13102   # Extract the first word of "$ac_prog", so it can be a program name with args.
13103 set dummy $ac_prog; ac_word=$2
13119     ac_cv_prog_ac_ct_CXX="$ac_prog"
13708 ac_prog=ld
13716     ac_prog=`($CC -print-prog-name=ld) 2>&5 | tr -d '\015'` ;;
13718     ac_prog=`($CC -print-prog-name=ld) 2>&5` ;;
13720   case $ac_prog in
13725       ac_prog=`$ECHO "$ac_prog"| $SED 's%\\\\%/%g'`
13726       while $ECHO "$ac_prog" | $GREP "$re_direlt" > /dev/null 2>&1; do
13727 	ac_prog=`$ECHO $ac_prog| $SED "s%$re_direlt%/%"`
13729       test -z "$LD" && LD=$ac_prog
13733     ac_prog=ld
13755     if test -f "$ac_dir/$ac_prog" || test -f "$ac_dir/$ac_prog$ac_exeext"; then
13756       lt_cv_path_LD=$ac_dir/$ac_prog
16964   for ac_prog in cl.exe
16966     # Extract the first word of "$ac_tool_prefix$ac_prog", so it can be a program name with args.
16967 set dummy $ac_tool_prefix$ac_prog; ac_word=$2
16983     ac_cv_prog_CC="$ac_tool_prefix$ac_prog"
17008   for ac_prog in cl.exe
17010   # Extract the first word of "$ac_prog", so it can be a program name with args.
17011 set dummy $ac_prog; ac_word=$2
17027     ac_cv_prog_ac_ct_CC="$ac_prog"