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

/seL4-l4v-10.1.1/HOL4/polyml/
H A Dconfigure2935 ac_compiler_gnu=$ac_cv_c_compiler_gnu
3766 if test "$ac_cv_c_compiler_gnu" = "yes"; then
3964 ac_compiler_gnu=$ac_cv_c_compiler_gnu
4540 if ${ac_cv_c_compiler_gnu+:} false; then :
4563 ac_cv_c_compiler_gnu=$ac_compiler_gnu
4566 { $as_echo "$as_me:${as_lineno-$LINENO}: result: $ac_cv_c_compiler_gnu" >&5
4567 $as_echo "$ac_cv_c_compiler_gnu" >&6; }
4747 ac_compiler_gnu=$ac_cv_c_compiler_gnu
4753 ac_compiler_gnu=$ac_cv_c_compiler_gnu
4805 ac_compiler_gnu=$ac_cv_c_compiler_gnu
[all...]
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/
H A Dconfigure2726 ac_compiler_gnu=$ac_cv_c_compiler_gnu
3576 ac_compiler_gnu=$ac_cv_c_compiler_gnu
4152 if ${ac_cv_c_compiler_gnu+:} false; then :
4175 ac_cv_c_compiler_gnu=$ac_compiler_gnu
4178 { $as_echo "$as_me:${as_lineno-$LINENO}: result: $ac_cv_c_compiler_gnu" >&5
4179 $as_echo "$ac_cv_c_compiler_gnu" >&6; }
4359 ac_compiler_gnu=$ac_cv_c_compiler_gnu
4365 ac_compiler_gnu=$ac_cv_c_compiler_gnu
4417 ac_compiler_gnu=$ac_cv_c_compiler_gnu
4866 ac_compiler_gnu=$ac_cv_c_compiler_gnu
[all...]

Completed in 32 milliseconds