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

/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/
H A Dconfigure1751 if { { ac_try="$ac_link"
1758 (eval "$ac_link") 2>conftest.err
1865 if { { ac_try="$ac_link"
1872 (eval "$ac_link") 2>&5
2011 if { { ac_try="$ac_link"
2018 (eval "$ac_link") 2>conftest.err
2725 ac_link='$CC -o conftest$ac_exeext $CFLAGS $CPPFLAGS $LDFLAGS conftest.$ac_ext $LIBS >&5'
3575 ac_link='$CC -o conftest$ac_exeext $CFLAGS $CPPFLAGS $LDFLAGS conftest.$ac_ext $LIBS >&5'
3918 ac_link_default=`$as_echo "$ac_link" | sed 's/ -o *conftest[^ ]*//'`
4003 if { { ac_try="$ac_link"
[all...]
/seL4-l4v-10.1.1/HOL4/polyml/
H A Dconfigure1689 if { { ac_try="$ac_link"
1696 (eval "$ac_link") 2>conftest.err
1803 if { { ac_try="$ac_link"
1810 (eval "$ac_link") 2>&5
1987 if { { ac_try="$ac_link"
1994 (eval "$ac_link") 2>conftest.err
2934 ac_link='$CC -o conftest$ac_exeext $CFLAGS $CPPFLAGS $LDFLAGS conftest.$ac_ext $LIBS >&5'
3963 ac_link='$CC -o conftest$ac_exeext $CFLAGS $CPPFLAGS $LDFLAGS conftest.$ac_ext $LIBS >&5'
4306 ac_link_default=`$as_echo "$ac_link" | sed 's/ -o *conftest[^ ]*//'`
4391 if { { ac_try="$ac_link"
[all...]

Completed in 86 milliseconds