Cross Reference: /seL4-l4v-10.1.1/HOL4/polyml/configure

585 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:$ac_tool_warned in
4245     case $cross_compiling:$ac_tool_warned in
4446 if test "$cross_compiling" != yes; then
4469     cross_compiling=no
4471     if test "$cross_compiling" = maybe; then
4472 	cross_compiling=yes
4482 { $as_echo "$as_me:${as_lineno-$LINENO}: result: $cross_compiling" >&5
4483 $as_echo "$cross_compiling" >&6; }
5499     case $cross_compiling:$ac_tool_warned in
5936     case $cross_compiling:$ac_tool_warned in
6277     case $cross_compiling:$ac_tool_warned in
6426     case $cross_compiling:$ac_tool_warned in
6587     case $cross_compiling:$ac_tool_warned in
6686     case $cross_compiling:$ac_tool_warned in
7555     case $cross_compiling:$ac_tool_warned in
7675     case $cross_compiling:$ac_tool_warned in
7767     case $cross_compiling:$ac_tool_warned in
7859     case $cross_compiling:$ac_tool_warned in
7951     case $cross_compiling:$ac_tool_warned in
8043     case $cross_compiling:$ac_tool_warned in
8455   if test "$cross_compiling" = yes; then :
8623     case $cross_compiling:$ac_tool_warned in
8715     case $cross_compiling:$ac_tool_warned in
8807     case $cross_compiling:$ac_tool_warned in
12793   	  if test yes = "$cross_compiling"; then :
12899   	  if test yes = "$cross_compiling"; then :
13279     case $cross_compiling:$ac_tool_warned in
16987     case $cross_compiling:$ac_tool_warned in
17187     case $cross_compiling:$ac_tool_warned in
19243   if test "$cross_compiling" = yes; then :
19506   if test "$cross_compiling" = yes; then :
19851     case $cross_compiling:$ac_tool_warned in
21260       if test "$cross_compiling" = yes; then :
21394   if test "$cross_compiling" = yes; then :
21516   if test "$cross_compiling" = yes; then :
21712   if test "$cross_compiling" = yes; then :
21771   if test "$cross_compiling" = yes; then :
21817   if test "$cross_compiling" = yes; then :