Cross Reference: /seL4-l4v-master/HOL4/polyml/configure

5061   as_ac_Header=`$as_echo "ac_cv_header_$ac_header" | $as_tr_sh`
5062 ac_fn_c_check_header_compile "$LINENO" "$ac_header" "$as_ac_Header" "$ac_includes_default
5064 if eval test \"x\$"$as_ac_Header"\" = x"yes"; then :
18489   as_ac_Header=`$as_echo "ac_cv_header_dirent_$ac_hdr" | $as_tr_sh`
18492 if eval \${$as_ac_Header+:} false; then :
18510   eval "$as_ac_Header=yes"
18512   eval "$as_ac_Header=no"
18516 eval ac_res=\$$as_ac_Header
18519 if eval test \"x\$"$as_ac_Header"\" = x"yes"; then :
18800   as_ac_Header=`$as_echo "ac_cv_header_$ac_header" | $as_tr_sh`
18801 ac_fn_c_check_header_mongrel "$LINENO" "$ac_header" "$as_ac_Header" "$ac_includes_default"
18802 if eval test \"x\$"$as_ac_Header"\" = x"yes"; then :
18813   as_ac_Header=`$as_echo "ac_cv_header_$ac_header" | $as_tr_sh`
18814 ac_fn_c_check_header_mongrel "$LINENO" "$ac_header" "$as_ac_Header" "$ac_includes_default"
18815 if eval test \"x\$"$as_ac_Header"\" = x"yes"; then :
18826   as_ac_Header=`$as_echo "ac_cv_header_$ac_header" | $as_tr_sh`
18827 ac_fn_c_check_header_mongrel "$LINENO" "$ac_header" "$as_ac_Header" "$ac_includes_default"
18828 if eval test \"x\$"$as_ac_Header"\" = x"yes"; then :
18839   as_ac_Header=`$as_echo "ac_cv_header_$ac_header" | $as_tr_sh`
18840 ac_fn_c_check_header_mongrel "$LINENO" "$ac_header" "$as_ac_Header" "$ac_includes_default"
18841 if eval test \"x\$"$as_ac_Header"\" = x"yes"; then :
18852   as_ac_Header=`$as_echo "ac_cv_header_$ac_header" | $as_tr_sh`
18853 ac_fn_c_check_header_mongrel "$LINENO" "$ac_header" "$as_ac_Header" "$ac_includes_default"
18854 if eval test \"x\$"$as_ac_Header"\" = x"yes"; then :
18865   as_ac_Header=`$as_echo "ac_cv_header_$ac_header" | $as_tr_sh`
18866 ac_fn_c_check_header_mongrel "$LINENO" "$ac_header" "$as_ac_Header" "$ac_includes_default"
18867 if eval test \"x\$"$as_ac_Header"\" = x"yes"; then :
18878   as_ac_Header=`$as_echo "ac_cv_header_$ac_header" | $as_tr_sh`
18879 ac_fn_c_check_header_mongrel "$LINENO" "$ac_header" "$as_ac_Header" "$ac_includes_default"
18880 if eval test \"x\$"$as_ac_Header"\" = x"yes"; then :
18891   as_ac_Header=`$as_echo "ac_cv_header_$ac_header" | $as_tr_sh`
18892 ac_fn_c_check_header_mongrel "$LINENO" "$ac_header" "$as_ac_Header" "$ac_includes_default"
18893 if eval test \"x\$"$as_ac_Header"\" = x"yes"; then :
18904   as_ac_Header=`$as_echo "ac_cv_header_$ac_header" | $as_tr_sh`
18905 ac_fn_c_check_header_mongrel "$LINENO" "$ac_header" "$as_ac_Header" "$ac_includes_default"
18906 if eval test \"x\$"$as_ac_Header"\" = x"yes"; then :
18917   as_ac_Header=`$as_echo "ac_cv_header_$ac_header" | $as_tr_sh`
18918 ac_fn_c_check_header_mongrel "$LINENO" "$ac_header" "$as_ac_Header" "$ac_includes_default"
18919 if eval test \"x\$"$as_ac_Header"\" = x"yes"; then :
18930   as_ac_Header=`$as_echo "ac_cv_header_$ac_header" | $as_tr_sh`
18931 ac_fn_c_check_header_mongrel "$LINENO" "$ac_header" "$as_ac_Header" "$ac_includes_default"
18932 if eval test \"x\$"$as_ac_Header"\" = x"yes"; then :
18946   as_ac_Header=`$as_echo "ac_cv_header_$ac_header" | $as_tr_sh`
18947 ac_fn_c_check_header_mongrel "$LINENO" "$ac_header" "$as_ac_Header" "$ac_includes_default"
18948 if eval test \"x\$"$as_ac_Header"\" = x"yes"; then :
20131   as_ac_Header=`$as_echo "ac_cv_header_$ac_header" | $as_tr_sh`
20132 ac_fn_c_check_header_mongrel "$LINENO" "$ac_header" "$as_ac_Header" "$ac_includes_default"
20133 if eval test \"x\$"$as_ac_Header"\" = x"yes"; then :
21527   as_ac_Header=`$as_echo "ac_cv_header_$ac_header" | $as_tr_sh`
21528 ac_fn_c_check_header_mongrel "$LINENO" "$ac_header" "$as_ac_Header" "$ac_includes_default"
21529 if eval test \"x\$"$as_ac_Header"\" = x"yes"; then :