HOL4/polyml/ltmain.sh

2066        host-triplet:   $host
2158     echo "host: $host"
2418     case $host in
2753 # and $host is mingw, cygwin, or some other w32 environment. Relies on a
2785 # $host is mingw, cygwin, or some other w32 environment. Relies on a correctly
2822 # $build is MSYS and $host is Cygwin, or (3) $build is Cygwin. In case (1) or
2867 # Verify that ARG1 (a file name in $build format) was converted to $host
2875     func_error "Could not determine host file name corresponding to"
2886 # Verify that FROM_PATH (a path in $build format) was converted to $host
2894     func_error "Could not determine the host path corresponding to"
2931 # $build to $host FILE NAME CONVERSION FUNCTIONS #
2935 # In each case, ARG is the path to be converted from $build to $host format.
2940 # Converts the file name ARG from $build format to $host format. Return result
3073 # $build to $host PATH CONVERSION FUNCTIONS #
3077 # In each case, ARG is the path to be converted from $build to $host format.
3080 # Path separators are also converted from $build format to $host format.  If
3082 # converted to $host format) on output.
3087 # where, for any given $build/$host combination the 'X_to_Y' value is the
3088 # same.  If conversion functions are added for new $build/$host combinations,
3109 # Converts the path ARG from $build format to $host format. Return result
4070       case $host in
4428 	case $host in
4503 	case $install_prog,$host in
4656 	      case $host in
4668 	      case $host in
4682           case $host in
4825 	  case $host in
4857 	case $host in
5146       case $host in
5331   case $host in
5755 	    case $host in
6494     case $host in
6686 	  case $host in
6950 	case $with_gcc/$host in
6993 	case $host in
7013 	  case $host in
7041 	 case $host in
7096 	case $host in
7100 	  func_warning "'-no-install' is ignored for $host"
7291         if test os2 = "`expr $host : '.*\(os2\)'`"; then
7995 	  case $host in
8140 	  case $host in
8210 	      case $host in
8255 		case $host in
8280 		case $host in
8504 		case $host in
8749 	  func_fatal_error "cannot build libtool library '$output' from non-libtool objects on this host:$objs"
9028 	      func_warning "undefined symbols not allowed in $host shared libraries; building static only"
9031 	      func_fatal_error "can't build $host shared library unless -no-undefined is specified"
9123 	  case $host in
9444 	case $host in
9497       case $host in
10196       case $host in
10210       case $host in
10218       case $host in
10307 	case $host in
10381       case $host in
10531 	case $host in
10538 	case $host in
10550 	    # The wrapper executable is built using the $host compiler,
10551 	    # because it contains $host paths and files. If cross-
10553 	    # executed on the $host or under an emulation environment.
10565 	      if test "x$build" = "x$host"; then
10870 	  case $host,$output,$installed,$module,$dlname in