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

/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/
H A Dconfigure1790 # ac_fn_c_check_header_compile LINENO HEADER VAR INCLUDES
1794 ac_fn_c_check_header_compile () function
1819 } # ac_fn_c_check_header_compile
8809 ac_fn_c_check_header_compile "$LINENO" "$ac_header" "$as_ac_Header" "$ac_includes_default
8823 ac_fn_c_check_header_compile "$LINENO" "dlfcn.h" "ac_cv_header_dlfcn_h" "$ac_includes_default
/seL4-l4v-10.1.1/HOL4/polyml/
H A Dconfigure1728 # ac_fn_c_check_header_compile LINENO HEADER VAR INCLUDES
1732 ac_fn_c_check_header_compile () function
1757 } # ac_fn_c_check_header_compile
8509 ac_fn_c_check_header_compile "$LINENO" "$ac_header" "$as_ac_Header" "$ac_includes_default
8523 ac_fn_c_check_header_compile "$LINENO" "dlfcn.h" "ac_cv_header_dlfcn_h" "$ac_includes_default

Completed in 129 milliseconds