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

/seL4-l4v-master/HOL4/polyml/
H A Dconfigure1673 # ac_fn_c_check_decl LINENO SYMBOL VAR INCLUDES
1677 ac_fn_c_check_decl () function
1717 } # ac_fn_c_check_decl
5074 ac_fn_c_check_decl "$LINENO" "_WIN32" "ac_cv_have_decl__WIN32" "$ac_includes_default"
21834 ac_fn_c_check_decl "$LINENO" "fpsetmask" "ac_cv_have_decl_fpsetmask" "#include <ieeefp.h>

Completed in 71 milliseconds