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

/seL4-l4v-master/HOL4/polyml/
H A Dconfigure1642 if { { ac_try="$ac_compile"
1649 (eval "$ac_compile") 2>conftest.err
1949 if { { ac_try="$ac_compile"
1956 (eval "$ac_compile") 2>conftest.err
2924 ac_compile='$CC -c $CFLAGS $CPPFLAGS conftest.$ac_ext >&5'
3702 ac_compile='$CC -c $CFLAGS $CPPFLAGS conftest.$ac_ext >&5'
4005 set X $ac_compile
4244 if { { ac_try="$ac_compile"
4251 (eval "$ac_compile") 2>&5
4485 ac_compile
[all...]

Completed in 49 milliseconds