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

/seL4-l4v-master/HOL4/polyml/
H A Dconfigure1326 ac_tool_prefix=
1327 test -n "$host_alias" && ac_tool_prefix=$host_alias-
3164 if test -n "$ac_tool_prefix"; then
3165 # Extract the first word of "${ac_tool_prefix}strip", so it can be a program name with args.
3166 set dummy ${ac_tool_prefix}strip; ac_word=$2
3182 ac_cv_prog_STRIP="${ac_tool_prefix}strip"
3705 if test -n "$ac_tool_prefix"; then
3706 # Extract the first word of "${ac_tool_prefix}gcc", so it can be a program name with args.
3707 set dummy ${ac_tool_prefix}gcc; ac_word=$2
3723 ac_cv_prog_CC="${ac_tool_prefix}gc
[all...]

Completed in 45 milliseconds