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

/seL4-l4v-master/HOL4/polyml/
H A Dconfigure585 cross_compiling=no
1320 cross_compiling=maybe
1322 cross_compiling=yes
1855 test "$cross_compiling" = yes ||
2043 test "$cross_compiling" = yes ||
2403 if test "$cross_compiling" = yes; then
3163 if test "$cross_compiling" != no; then
3244 case $cross_compiling:$ac_tool_warned in
3785 case $cross_compiling:$ac_tool_warned in
3985 case $cross_compiling
[all...]

Completed in 44 milliseconds