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

3970 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
4103 if ${ac_cv_prog_CC+:} false; then :
4107   ac_cv_prog_CC="$CC" # Let the user override the test.
4121     ac_cv_prog_CC="cc"
4131   set dummy $ac_cv_prog_CC
4138     ac_cv_prog_CC="$as_dir/$ac_word${1+' '}$@"
4143 CC=$ac_cv_prog_CC
4162 if ${ac_cv_prog_CC+:} false; then :
4166   ac_cv_prog_CC="$CC" # Let the user override the test.
4175     ac_cv_prog_CC="$ac_tool_prefix$ac_prog"
4185 CC=$ac_cv_prog_CC
16912 if ${ac_cv_prog_CC+:} false; then :
16916   ac_cv_prog_CC="$CC" # Let the user override the test.
16925     ac_cv_prog_CC="${ac_tool_prefix}gcc"
16935 CC=$ac_cv_prog_CC
16946 if test -z "$ac_cv_prog_CC"; then
16996   CC="$ac_cv_prog_CC"
17005 if ${ac_cv_prog_CC+:} false; then :
17009   ac_cv_prog_CC="$CC" # Let the user override the test.
17018     ac_cv_prog_CC="${ac_tool_prefix}cc"
17028 CC=$ac_cv_prog_CC
17045 if ${ac_cv_prog_CC+:} false; then :
17049   ac_cv_prog_CC="$CC" # Let the user override the test.
17063     ac_cv_prog_CC="cc"
17073   set dummy $ac_cv_prog_CC
17080     ac_cv_prog_CC="$as_dir/$ac_word${1+' '}$@"
17085 CC=$ac_cv_prog_CC
17104 if ${ac_cv_prog_CC+:} false; then :
17108   ac_cv_prog_CC="$CC" # Let the user override the test.
17117     ac_cv_prog_CC="$ac_tool_prefix$ac_prog"
17127 CC=$ac_cv_prog_CC