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

741 host_os
3638 host_os=$*
3640 case $host_os in *\ *) host_os=`echo "$host_os" | sed 's/ /-/g'`;; esac
3652 case "${host_os}" in
5833 case $host_os in
5974 case $host_os in
6161   case $host_os in
6304 case $host_os in
6711   case $host_os in
6722 case $host_os in
6794 case $host_os in
7593   case $host_os in
8184     case $host_os in
9107 case $host_os in
9416     case $host_os in
9451       case $host_os in
9523     case $host_os in
9552       case $host_os in
9739 case $host_os in
10049   case $host_os in
10076     case $host_os in
10124     case $host_os in
10245       if test linux-dietlibc = "$host_os"; then
10409     case $host_os in
10462 	case $host_os in aix4.[23]|aix4.[23].*|aix[5-9]*)
10505 	case $host_os in aix4.[012]|aix4.[012].*)
10967 	{ $as_echo "$as_me:${as_lineno-$LINENO}: checking whether the $host_os linker accepts -exported_symbol" >&5
10968 $as_echo_n "checking whether the $host_os linker accepts -exported_symbol... " >&6; }
11139       case $host_os in
11513   case $host_os in
11517   case $host_os in
11575   case $host_os in
11594 dynamic_linker="$host_os ld.so"
11605 case $host_os in
11630     case $host_os in
11726   dynamic_linker="$host_os ld.so"
11769     case $host_os in
11855   dynamic_linker="$host_os dyld"
11884     case $host_os in
11903   case $host_os in
11927   dynamic_linker="$host_os runtime_loader"
11946     dynamic_linker="$host_os dld.so"
11962     dynamic_linker="$host_os dld.sl"
11972     dynamic_linker="$host_os dld.sl"
11998   case $host_os in
12011   case $host_os in
12308     case $host_os in
12512   case $host_os in
13042 # FIXME - insert some real tests, host_os isn't really good enough
13043   case $host_os in
13085   case $host_os in
13992     case $host_os in
14022           case $host_os in aix4.[23]|aix4.[23].*|aix[5-9]*)
14067           case $host_os in aix4.[012]|aix4.[012].*)
14922 	    case $host_os in
14975 	      case $host_os in
15197 case $host_os in
15256     case $host_os in
15290       case $host_os in
15341     case $host_os in
15572 case $host_os in
15829   case $host_os in
16022 dynamic_linker="$host_os ld.so"
16033 case $host_os in
16058     case $host_os in
16154   dynamic_linker="$host_os ld.so"
16197     case $host_os in
16282   dynamic_linker="$host_os dyld"
16310     case $host_os in
16329   case $host_os in
16353   dynamic_linker="$host_os runtime_loader"
16372     dynamic_linker="$host_os dld.so"
16388     dynamic_linker="$host_os dld.sl"
16398     dynamic_linker="$host_os dld.sl"
16424   case $host_os in
16437   case $host_os in
16734     case $host_os in
23318 host_os='`$ECHO "$host_os" | $SED "$delay_single_quote_subst"`'
24477 host_os=$host_os
24915   case $host_os in