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

/seL4-l4v-master/HOL4/polyml/modules/IntInfAsInt/
H A DMakefile.in212 ac_ct_CC = @ac_ct_CC@
/seL4-l4v-master/HOL4/polyml/
H A Dconfigure731 ac_ct_CC
3745 ac_ct_CC=$CC
3753 if test -n "$ac_ct_CC"; then
3754 ac_cv_prog_ac_ct_CC="$ac_ct_CC" # Let the user override the test.
3773 ac_ct_CC=$ac_cv_prog_ac_ct_CC
3774 if test -n "$ac_ct_CC"; then
3775 { $as_echo "$as_me:${as_lineno-$LINENO}: result: $ac_ct_CC" >&5
3776 $as_echo "$ac_ct_CC" >&6; }
3782 if test "x$ac_ct_CC" = x; then
3791 CC=$ac_ct_CC
[all...]
H A DMakefile.in385 ac_ct_CC = @ac_ct_CC@
/seL4-l4v-master/HOL4/polyml/modules/
H A DMakefile.in272 ac_ct_CC = @ac_ct_CC@
/seL4-l4v-master/HOL4/polyml/libpolyml/
H A DMakefile.in400 ac_ct_CC = @ac_ct_CC@
/seL4-l4v-master/HOL4/polyml/libpolymain/
H A DMakefile.in294 ac_ct_CC = @ac_ct_CC@

Completed in 205 milliseconds