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

823 host_os
2827 host_os=$*
2829 case $host_os in *\ *) host_os=`echo "$host_os" | sed 's/ /-/g'`;; esac
6127 case $host_os in
6271 case $host_os in
6458   case $host_os in
6604 case $host_os in
7011   case $host_os in
7022 case $host_os in
7094 case $host_os in
7893   case $host_os in
8484     case $host_os in
9120 case $host_os in
9429     case $host_os in
9464       case $host_os in
9536     case $host_os in
9565       case $host_os in
9752 case $host_os in
10062   case $host_os in
10089     case $host_os in
10137     case $host_os in
10258       if test linux-dietlibc = "$host_os"; then
10422     case $host_os in
10475 	case $host_os in aix4.[23]|aix4.[23].*|aix[5-9]*)
10518 	case $host_os in aix4.[012]|aix4.[012].*)
10980 	{ $as_echo "$as_me:${as_lineno-$LINENO}: checking whether the $host_os linker accepts -exported_symbol" >&5
10981 $as_echo_n "checking whether the $host_os linker accepts -exported_symbol... " >&6; }
11152       case $host_os in
11526   case $host_os in
11530   case $host_os in
11588   case $host_os in
11607 dynamic_linker="$host_os ld.so"
11618 case $host_os in
11643     case $host_os in
11739   dynamic_linker="$host_os ld.so"
11782     case $host_os in
11868   dynamic_linker="$host_os dyld"
11897     case $host_os in
11916   case $host_os in
11940   dynamic_linker="$host_os runtime_loader"
11959     dynamic_linker="$host_os dld.so"
11975     dynamic_linker="$host_os dld.sl"
11985     dynamic_linker="$host_os dld.sl"
12011   case $host_os in
12024   case $host_os in
12321     case $host_os in
12525   case $host_os in
13055 # FIXME - insert some real tests, host_os isn't really good enough
13056   case $host_os in
13098   case $host_os in
13556     case $host_os in
13586           case $host_os in aix4.[23]|aix4.[23].*|aix[5-9]*)
13631           case $host_os in aix4.[012]|aix4.[012].*)
14486 	    case $host_os in
14539 	      case $host_os in
14761 case $host_os in
14820     case $host_os in
14854       case $host_os in
14905     case $host_os in
15136 case $host_os in
15393   case $host_os in
15586 dynamic_linker="$host_os ld.so"
15597 case $host_os in
15622     case $host_os in
15718   dynamic_linker="$host_os ld.so"
15761     case $host_os in
15846   dynamic_linker="$host_os dyld"
15874     case $host_os in
15893   case $host_os in
15917   dynamic_linker="$host_os runtime_loader"
15936     dynamic_linker="$host_os dld.so"
15952     dynamic_linker="$host_os dld.sl"
15962     dynamic_linker="$host_os dld.sl"
15988   case $host_os in
16001   case $host_os in
16298     case $host_os in
17577    case "$host_os" in
17601    case "$host_os" in
17658    case "$host_os" in
20310 host_os='`$ECHO "$host_os" | $SED "$delay_single_quote_subst"`'
21639 host_os=$host_os
22083   case $host_os in