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

/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/
H A Dconfigure4615 ac_compiler_gnu=$ac_cv_cxx_compiler_gnu
4749 if ${ac_cv_cxx_compiler_gnu+:} false; then :
4772 ac_cv_cxx_compiler_gnu=$ac_compiler_gnu
4775 { $as_echo "$as_me:${as_lineno-$LINENO}: result: $ac_cv_cxx_compiler_gnu" >&5
4776 $as_echo "$ac_cv_cxx_compiler_gnu" >&6; }
13146 ac_compiler_gnu=$ac_cv_cxx_compiler_gnu
13283 ac_compiler_gnu=$ac_cv_cxx_compiler_gnu
/seL4-l4v-10.1.1/HOL4/polyml/
H A Dconfigure13184 ac_compiler_gnu=$ac_cv_cxx_compiler_gnu
13318 if ${ac_cv_cxx_compiler_gnu+:} false; then :
13341 ac_cv_cxx_compiler_gnu=$ac_compiler_gnu
13344 { $as_echo "$as_me:${as_lineno-$LINENO}: result: $ac_cv_cxx_compiler_gnu" >&5
13345 $as_echo "$ac_cv_cxx_compiler_gnu" >&6; }
13582 ac_compiler_gnu=$ac_cv_cxx_compiler_gnu
13719 ac_compiler_gnu=$ac_cv_cxx_compiler_gnu

Completed in 63 milliseconds