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

/seL4-l4v-master/HOL4/polyml/
H A Dconfigure1942 # ac_fn_cxx_try_compile LINENO
1945 ac_fn_cxx_try_compile () function
1978 } # ac_fn_cxx_try_compile
13201 if ac_fn_cxx_try_compile "$LINENO"; then :
13239 if ac_fn_cxx_try_compile "$LINENO"; then :
13254 if ac_fn_cxx_try_compile "$LINENO"; then :
13270 if ac_fn_cxx_try_compile "$LINENO"; then :

Completed in 66 milliseconds