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

/seL4-l4v-10.1.1/HOL4/polyml/
H A Dconfigure2358 # ac_fn_c_compute_int LINENO EXPR VAR INCLUDES
2363 ac_fn_c_compute_int () function
2539 } # ac_fn_c_compute_int
21004 if ac_fn_c_compute_int "$LINENO" "(long int) (sizeof (void*))" "ac_cv_sizeof_voidp" "$ac_includes_default"; then :
21037 if ac_fn_c_compute_int "$LINENO" "(long int) (sizeof (long))" "ac_cv_sizeof_long" "$ac_includes_default"; then :
21070 if ac_fn_c_compute_int "$LINENO" "(long int) (sizeof (int))" "ac_cv_sizeof_int" "$ac_includes_default"; then :
21103 if ac_fn_c_compute_int "$LINENO" "(long int) (sizeof (long long))" "ac_cv_sizeof_long_long" "$ac_includes_default"; then :
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/
H A Dconfigure2050 # ac_fn_c_compute_int LINENO EXPR VAR INCLUDES
2055 ac_fn_c_compute_int () function
2231 } # ac_fn_c_compute_int
16492 if ac_fn_c_compute_int "$LINENO" "(long int) (sizeof (size_t))" "ac_cv_sizeof_size_t" "$ac_includes_default"; then :
18574 if ac_fn_c_compute_int "$LINENO" "(long int) (sizeof (double))" "ac_cv_sizeof_double" "$ac_includes_default"; then :
18607 if ac_fn_c_compute_int "$LINENO" "(long int) (sizeof (long double))" "ac_cv_sizeof_long_double" "$ac_includes_default"; then :

Completed in 93 milliseconds