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

/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/
H A Dconfigure2260 ac_header_compiler=yes
2262 ac_header_compiler=no
2265 { $as_echo "$as_me:${as_lineno-$LINENO}: result: $ac_header_compiler" >&5
2266 $as_echo "$ac_header_compiler" >&6; }
2285 case $ac_header_compiler:$ac_header_preproc:$ac_c_preproc_warn_flag in #((
2314 eval "$3=\$ac_header_compiler"
/seL4-l4v-10.1.1/HOL4/polyml/
H A Dconfigure2107 ac_header_compiler=yes
2109 ac_header_compiler=no
2112 { $as_echo "$as_me:${as_lineno-$LINENO}: result: $ac_header_compiler" >&5
2113 $as_echo "$ac_header_compiler" >&6; }
2132 case $ac_header_compiler:$ac_header_preproc:$ac_c_preproc_warn_flag in #((
2161 eval "$3=\$ac_header_compiler"

Completed in 90 milliseconds