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

/seL4-l4v-master/HOL4/polyml/
H A Dconfigure5058 for ac_header in sys/types.h sys/stat.h stdlib.h string.h memory.h strings.h \
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
5066 #define `$as_echo "HAVE_$ac_header" | $as_tr_cpp` 1
8387 for ac_header in dlfcn.h
18798 for ac_header in stdio.h time.h fcntl.h float.h limits.h locale.h malloc.h netdb.h netinet/in.h stddef.h
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"
18804 #define `$as_echo "HAVE_$ac_header" | $as_tr_cpp` 1
18811 for ac_header i
[all...]

Completed in 91 milliseconds