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

/seL4-l4v-10.1.1/HOL4/polyml/
H A Dconfigure585 cross_compiling=no
1326 cross_compiling=maybe
1328 cross_compiling=yes
1708 test "$cross_compiling" = yes ||
2006 test "$cross_compiling" = yes ||
2366 if test "$cross_compiling" = yes; then
3172 if test "$cross_compiling" != no; then
3253 case $cross_compiling:$ac_tool_warned in
3745 case $cross_compiling:$ac_tool_warned in
4045 case $cross_compiling
[all...]
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/
H A Dconfigure585 cross_compiling=no
1366 cross_compiling=maybe
1368 cross_compiling=yes
1770 test "$cross_compiling" = yes ||
2030 test "$cross_compiling" = yes ||
2058 if test "$cross_compiling" = yes; then
3187 if test "$cross_compiling" != no; then
3268 case $cross_compiling:$ac_tool_warned in
3657 case $cross_compiling:$ac_tool_warned in
3857 case $cross_compiling
[all...]

Completed in 30 milliseconds