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

/seL4-l4v-master/HOL4/polyml/
H A Dconfigure4947 if ${ac_cv_header_stdc+:} false; then :
4966 ac_cv_header_stdc=yes
4968 ac_cv_header_stdc=no
4972 if test $ac_cv_header_stdc = yes; then
4983 ac_cv_header_stdc=no
4989 if test $ac_cv_header_stdc = yes; then
5000 ac_cv_header_stdc=no
5006 if test $ac_cv_header_stdc = yes; then
5041 ac_cv_header_stdc=no
5049 { $as_echo "$as_me:${as_lineno-$LINENO}: result: $ac_cv_header_stdc" >
[all...]

Completed in 100 milliseconds