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

/seL4-l4v-master/HOL4/polyml/
H A Dconfigure1763 if { { ac_try="$ac_link"
1770 (eval "$ac_link") 2>&5
1836 if { { ac_try="$ac_link"
1843 (eval "$ac_link") 2>conftest.err
2024 if { { ac_try="$ac_link"
2031 (eval "$ac_link") 2>conftest.err
2925 ac_link='$CC -o conftest$ac_exeext $CFLAGS $CPPFLAGS $LDFLAGS conftest.$ac_ext $LIBS >&5'
3703 ac_link='$CC -o conftest$ac_exeext $CFLAGS $CPPFLAGS $LDFLAGS conftest.$ac_ext $LIBS >&5'
4046 ac_link_default=`$as_echo "$ac_link" | sed 's/ -o *conftest[^ ]*//'`
4131 if { { ac_try="$ac_link"
[all...]

Completed in 84 milliseconds