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

/seL4-l4v-10.1.1/HOL4/polyml/
H A Dconfigure1332 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}windre
[all...]
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/
H A Dconfigure1372 ac_tool_prefix=
1373 test -n "$host_alias" && ac_tool_prefix=$host_alias-
3188 if test -n "$ac_tool_prefix"; then
3189 # Extract the first word of "${ac_tool_prefix}strip", so it can be a program name with args.
3190 set dummy ${ac_tool_prefix}strip; ac_word=$2
3206 ac_cv_prog_STRIP="${ac_tool_prefix}strip"
3577 if test -n "$ac_tool_prefix"; then
3578 # Extract the first word of "${ac_tool_prefix}gcc", so it can be a program name with args.
3579 set dummy ${ac_tool_prefix}gcc; ac_word=$2
3595 ac_cv_prog_CC="${ac_tool_prefix}gc
[all...]

Completed in 47 milliseconds