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

/seL4-l4v-10.1.1/HOL4/polyml/
H A Dconfigure3970 if ${ac_cv_prog_CC+:} false; then :
3974 ac_cv_prog_CC="$CC" # Let the user override the test.
3983 ac_cv_prog_CC="${ac_tool_prefix}gcc"
3993 CC=$ac_cv_prog_CC
4004 if test -z "$ac_cv_prog_CC"; then
4054 CC="$ac_cv_prog_CC"
4063 if ${ac_cv_prog_CC+:} false; then :
4067 ac_cv_prog_CC="$CC" # Let the user override the test.
4076 ac_cv_prog_CC="${ac_tool_prefix}cc"
4086 CC=$ac_cv_prog_CC
[all...]
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/
H A Dconfigure3582 if ${ac_cv_prog_CC+:} false; then :
3586 ac_cv_prog_CC="$CC" # Let the user override the test.
3595 ac_cv_prog_CC="${ac_tool_prefix}gcc"
3605 CC=$ac_cv_prog_CC
3616 if test -z "$ac_cv_prog_CC"; then
3666 CC="$ac_cv_prog_CC"
3675 if ${ac_cv_prog_CC+:} false; then :
3679 ac_cv_prog_CC="$CC" # Let the user override the test.
3688 ac_cv_prog_CC="${ac_tool_prefix}cc"
3698 CC=$ac_cv_prog_CC
[all...]

Completed in 37 milliseconds