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

1332 ac_tool_prefix=
1333 test -n "$host_alias" && ac_tool_prefix=$host_alias-
3173   if test -n "$ac_tool_prefix"; then
3174   # Extract the first word of "${ac_tool_prefix}strip", so it can be a program name with args.
3175 set dummy ${ac_tool_prefix}strip; ac_word=$2
3191     ac_cv_prog_STRIP="${ac_tool_prefix}strip"
3665         if test -n "$ac_tool_prefix"; then
3666   # Extract the first word of "${ac_tool_prefix}windres", so it can be a program name with args.
3667 set dummy ${ac_tool_prefix}windres; ac_word=$2
3683     ac_cv_prog_WINDRES="${ac_tool_prefix}windres"
3965 if test -n "$ac_tool_prefix"; then
3966   # Extract the first word of "${ac_tool_prefix}gcc", so it can be a program name with args.
3967 set dummy ${ac_tool_prefix}gcc; ac_word=$2
3983     ac_cv_prog_CC="${ac_tool_prefix}gcc"
4058           if test -n "$ac_tool_prefix"; then
4059     # Extract the first word of "${ac_tool_prefix}cc", so it can be a program name with args.
4060 set dummy ${ac_tool_prefix}cc; ac_word=$2
4076     ac_cv_prog_CC="${ac_tool_prefix}cc"
4155   if test -n "$ac_tool_prefix"; then
4158     # Extract the first word of "$ac_tool_prefix$ac_prog", so it can be a program name with args.
4159 set dummy $ac_tool_prefix$ac_prog; ac_word=$2
4175     ac_cv_prog_CC="$ac_tool_prefix$ac_prog"
5355   lt_nm_to_check=${ac_tool_prefix}nm
5356   if test -n "$ac_tool_prefix" && test "$build" = "$host"; then
5409     if test -n "$ac_tool_prefix"; then
5412     # Extract the first word of "$ac_tool_prefix$ac_prog", so it can be a program name with args.
5413 set dummy $ac_tool_prefix$ac_prog; ac_word=$2
5429     ac_cv_prog_DUMPBIN="$ac_tool_prefix$ac_prog"
5856 if test -n "$ac_tool_prefix"; then
5857   # Extract the first word of "${ac_tool_prefix}objdump", so it can be a program name with args.
5858 set dummy ${ac_tool_prefix}objdump; ac_word=$2
5874     ac_cv_prog_OBJDUMP="${ac_tool_prefix}objdump"
6197 if test -n "$ac_tool_prefix"; then
6198   # Extract the first word of "${ac_tool_prefix}dlltool", so it can be a program name with args.
6199 set dummy ${ac_tool_prefix}dlltool; ac_word=$2
6215     ac_cv_prog_DLLTOOL="${ac_tool_prefix}dlltool"
6336 if test -n "$ac_tool_prefix"; then
6339     # Extract the first word of "$ac_tool_prefix$ac_prog", so it can be a program name with args.
6340 set dummy $ac_tool_prefix$ac_prog; ac_word=$2
6356     ac_cv_prog_AR="$ac_tool_prefix$ac_prog"
6507 if test -n "$ac_tool_prefix"; then
6508   # Extract the first word of "${ac_tool_prefix}strip", so it can be a program name with args.
6509 set dummy ${ac_tool_prefix}strip; ac_word=$2
6525     ac_cv_prog_STRIP="${ac_tool_prefix}strip"
6606 if test -n "$ac_tool_prefix"; then
6607   # Extract the first word of "${ac_tool_prefix}ranlib", so it can be a program name with args.
6608 set dummy ${ac_tool_prefix}ranlib; ac_word=$2
6624     ac_cv_prog_RANLIB="${ac_tool_prefix}ranlib"
7475 if test -n "$ac_tool_prefix"; then
7476   # Extract the first word of "${ac_tool_prefix}mt", so it can be a program name with args.
7477 set dummy ${ac_tool_prefix}mt; ac_word=$2
7493     ac_cv_prog_MANIFEST_TOOL="${ac_tool_prefix}mt"
7595     if test -n "$ac_tool_prefix"; then
7596   # Extract the first word of "${ac_tool_prefix}dsymutil", so it can be a program name with args.
7597 set dummy ${ac_tool_prefix}dsymutil; ac_word=$2
7613     ac_cv_prog_DSYMUTIL="${ac_tool_prefix}dsymutil"
7687     if test -n "$ac_tool_prefix"; then
7688   # Extract the first word of "${ac_tool_prefix}nmedit", so it can be a program name with args.
7689 set dummy ${ac_tool_prefix}nmedit; ac_word=$2
7705     ac_cv_prog_NMEDIT="${ac_tool_prefix}nmedit"
7779     if test -n "$ac_tool_prefix"; then
7780   # Extract the first word of "${ac_tool_prefix}lipo", so it can be a program name with args.
7781 set dummy ${ac_tool_prefix}lipo; ac_word=$2
7797     ac_cv_prog_LIPO="${ac_tool_prefix}lipo"
7871     if test -n "$ac_tool_prefix"; then
7872   # Extract the first word of "${ac_tool_prefix}otool", so it can be a program name with args.
7873 set dummy ${ac_tool_prefix}otool; ac_word=$2
7889     ac_cv_prog_OTOOL="${ac_tool_prefix}otool"
7963     if test -n "$ac_tool_prefix"; then
7964   # Extract the first word of "${ac_tool_prefix}otool64", so it can be a program name with args.
7965 set dummy ${ac_tool_prefix}otool64; ac_word=$2
7981     ac_cv_prog_OTOOL64="${ac_tool_prefix}otool64"
8543   if test -n "$ac_tool_prefix"; then
8544   # Extract the first word of "${ac_tool_prefix}as", so it can be a program name with args.
8545 set dummy ${ac_tool_prefix}as; ac_word=$2
8561     ac_cv_prog_AS="${ac_tool_prefix}as"
8635   if test -n "$ac_tool_prefix"; then
8636   # Extract the first word of "${ac_tool_prefix}dlltool", so it can be a program name with args.
8637 set dummy ${ac_tool_prefix}dlltool; ac_word=$2
8653     ac_cv_prog_DLLTOOL="${ac_tool_prefix}dlltool"
8727   if test -n "$ac_tool_prefix"; then
8728   # Extract the first word of "${ac_tool_prefix}objdump", so it can be a program name with args.
8729 set dummy ${ac_tool_prefix}objdump; ac_word=$2
8745     ac_cv_prog_OBJDUMP="${ac_tool_prefix}objdump"
9148     { $as_echo "$as_me:${as_lineno-$LINENO}: checking for ${ac_tool_prefix}file" >&5
9149 $as_echo_n "checking for ${ac_tool_prefix}file... " >&6; }
9164     if test -f "$ac_dir/${ac_tool_prefix}file"; then
9165       lt_cv_path_MAGIC_CMD=$ac_dir/"${ac_tool_prefix}file"
9213   if test -n "$ac_tool_prefix"; then
13189     if test -n "$ac_tool_prefix"; then
13192     # Extract the first word of "$ac_tool_prefix$ac_prog", so it can be a program name with args.
13193 set dummy $ac_tool_prefix$ac_prog; ac_word=$2
13209     ac_cv_prog_CXX="$ac_tool_prefix$ac_prog"
16907 if test -n "$ac_tool_prefix"; then
16908   # Extract the first word of "${ac_tool_prefix}gcc", so it can be a program name with args.
16909 set dummy ${ac_tool_prefix}gcc; ac_word=$2
16925     ac_cv_prog_CC="${ac_tool_prefix}gcc"
17000           if test -n "$ac_tool_prefix"; then
17001     # Extract the first word of "${ac_tool_prefix}cc", so it can be a program name with args.
17002 set dummy ${ac_tool_prefix}cc; ac_word=$2
17018     ac_cv_prog_CC="${ac_tool_prefix}cc"
17097   if test -n "$ac_tool_prefix"; then
17100     # Extract the first word of "$ac_tool_prefix$ac_prog", so it can be a program name with args.
17101 set dummy $ac_tool_prefix$ac_prog; ac_word=$2
17117     ac_cv_prog_CC="$ac_tool_prefix$ac_prog"
19765 	if test -n "$ac_tool_prefix"; then
19766   # Extract the first word of "${ac_tool_prefix}pkg-config", so it can be a program name with args.
19767 set dummy ${ac_tool_prefix}pkg-config; ac_word=$2