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

/seL4-l4v-master/HOL4/polyml/
H A Dconfigure1798 # ac_fn_c_check_header_compile LINENO HEADER VAR INCLUDES
1802 ac_fn_c_check_header_compile () function
1827 } # ac_fn_c_check_header_compile
5062 ac_fn_c_check_header_compile "$LINENO" "$ac_header" "$as_ac_Header" "$ac_includes_default
8389 ac_fn_c_check_header_compile "$LINENO" "dlfcn.h" "ac_cv_header_dlfcn_h" "$ac_includes_default

Completed in 64 milliseconds