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

/seL4-l4v-master/HOL4/polyml/
H A Dconfigure1637 # Try to compile conftest.$ac_ext, and return whether this succeeded.
1664 sed 's/^/| /' conftest.$ac_ext >&5
1687 cat confdefs.h - <<_ACEOF >conftest.$ac_ext
1710 rm -f core conftest.err conftest.$ac_objext conftest.$ac_ext
1721 # Try to preprocess conftest.$ac_ext, and return whether this succeeded.
1725 if { { ac_try="$ac_cpp conftest.$ac_ext"
1732 (eval "$ac_cpp conftest.$ac_ext") 2>conftest.err
1747 sed 's/^/| /' conftest.$ac_ext >&5
1758 # Try to link conftest.$ac_ext, and return whether this succeeded. Assumes
1788 sed 's/^/| /' conftest.$ac_ext >
[all...]

Completed in 91 milliseconds