clustalomega: clustalomega/clustal-omega-0.2.0/config.sub annotate

annotate clustalomega/clustal-omega-0.2.0/config.sub @ 0:ff1768533a07

Migrated tool version 0.2 from old tool shed archive to new tool shed repository

author	clustalomega
date	Tue, 07 Jun 2011 17:04:25 -0400
parents
children

rev	line source
0 ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1 #! /bin/sh
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	2 # Configuration validation subroutine script.
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	3 # Copyright (C) 1992, 1993, 1994, 1995, 1996, 1997, 1998, 1999,
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	4 # 2000, 2001, 2002, 2003, 2004, 2005, 2006, 2007, 2008, 2009
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	5 # Free Software Foundation, Inc.
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	6
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	7 timestamp='2009-06-11'
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	8
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	9 # This file is (in principle) common to ALL GNU software.
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	10 # The presence of a machine in this file suggests that SOME GNU software
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	11 # can handle that machine. It does not imply ALL GNU software can.
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	12 #
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	13 # This file is free software; you can redistribute it and/or modify
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	14 # it under the terms of the GNU General Public License as published by
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	15 # the Free Software Foundation; either version 2 of the License, or
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	16 # (at your option) any later version.
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	17 #
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	18 # This program is distributed in the hope that it will be useful,
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	19 # but WITHOUT ANY WARRANTY; without even the implied warranty of
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	20 # MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	21 # GNU General Public License for more details.
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	22 #
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	23 # You should have received a copy of the GNU General Public License
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	24 # along with this program; if not, write to the Free Software
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	25 # Foundation, Inc., 51 Franklin Street - Fifth Floor, Boston, MA
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	26 # 02110-1301, USA.
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	27 #
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	28 # As a special exception to the GNU General Public License, if you
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	29 # distribute this file as part of a program that contains a
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	30 # configuration script generated by Autoconf, you may include it under
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	31 # the same distribution terms that you use for the rest of that program.
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	32
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	33
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	34 # Please send patches to <config-patches@gnu.org>. Submit a context
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	35 # diff and a properly formatted ChangeLog entry.
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	36 #
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	37 # Configuration subroutine to validate and canonicalize a configuration type.
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	38 # Supply the specified configuration type as an argument.
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	39 # If it is invalid, we print an error message on stderr and exit with code 1.
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	40 # Otherwise, we print the canonical config type on stdout and succeed.
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	41
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	42 # This file is supposed to be the same for all GNU packages
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	43 # and recognize all the CPU types, system types and aliases
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	44 # that are meaningful with any GNU software.
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	45 # Each package is responsible for reporting which valid configurations
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	46 # it does not support. The user should be able to distinguish
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	47 # a failure to support a valid configuration from a meaningless
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	48 # configuration.
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	49
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	50 # The goal of this file is to map all the various variations of a given
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	51 # machine specification into a single specification in the form:
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	52 # CPU_TYPE-MANUFACTURER-OPERATING_SYSTEM
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	53 # or in some cases, the newer four-part form:
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	54 # CPU_TYPE-MANUFACTURER-KERNEL-OPERATING_SYSTEM
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	55 # It is wrong to echo any other type of specification.
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	56
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	57 me=`echo "$0" \| sed -e 's,.*/,,'`
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	58
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	59 usage="\
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	60 Usage: $0 [OPTION] CPU-MFR-OPSYS
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	61 $0 [OPTION] ALIAS
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	62
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	63 Canonicalize a configuration name.
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	64
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	65 Operation modes:
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	66 -h, --help print this help, then exit
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	67 -t, --time-stamp print date of last modification, then exit
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	68 -v, --version print version number, then exit
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	69
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	70 Report bugs and patches to <config-patches@gnu.org>."
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	71
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	72 version="\
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	73 GNU config.sub ($timestamp)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	74
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	75 Copyright (C) 1992, 1993, 1994, 1995, 1996, 1997, 1998, 1999, 2000, 2001,
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	76 2002, 2003, 2004, 2005, 2006, 2007, 2008 Free Software Foundation, Inc.
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	77
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	78 This is free software; see the source for copying conditions. There is NO
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	79 warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE."
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	80
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	81 help="
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	82 Try \`$me --help' for more information."
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	83
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	84 # Parse command line
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	85 while test $# -gt 0 ; do
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	86 case $1 in
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	87 --time-stamp \| --time* \| -t )
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	88 echo "$timestamp" ; exit ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	89 --version \| -v )
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	90 echo "$version" ; exit ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	91 --help \| --h* \| -h )
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	92 echo "$usage"; exit ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	93 -- ) # Stop option processing
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	94 shift; break ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	95 - ) # Use stdin as input.
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	96 break ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	97 -* )
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	98 echo "$me: invalid option $1$help"
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	99 exit 1 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	100
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	101 local)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	102 # First pass through any local machine types.
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	103 echo $1
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	104 exit ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	105
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	106 * )
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	107 break ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	108 esac
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	109 done
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	110
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	111 case $# in
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	112 0) echo "$me: missing argument$help" >&2
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	113 exit 1;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	114 1) ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	115 *) echo "$me: too many arguments$help" >&2
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	116 exit 1;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	117 esac
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	118
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	119 # Separate what the user gave into CPU-COMPANY and OS or KERNEL-OS (if any).
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	120 # Here we must recognize all the valid KERNEL-OS combinations.
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	121 maybe_os=`echo $1 \| sed 's/^$.$-$[^-]-[^-]*$$/\2/'`
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	122 case $maybe_os in
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	123 nto-qnx* \| linux-gnu* \| linux-dietlibc \| linux-newlib* \| linux-uclibc* \| \
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	124 uclinux-uclibc* \| uclinux-gnu* \| kfreebsd-gnu \| knetbsd-gnu \| netbsd-gnu \| \
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	125 kopensolaris-gnu \| \
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	126 storm-chaos* \| os2-emx* \| rtmk-nova*)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	127 os=-$maybe_os
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	128 basic_machine=`echo $1 \| sed 's/^$.$-$[^-]-[^-]*$$/\1/'`
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	129 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	130 *)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	131 basic_machine=`echo $1 \| sed 's/-[^-]*$//'`
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	132 if [ $basic_machine != $1 ]
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	133 then os=`echo $1 \| sed 's/.*-/-/'`
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	134 else os=; fi
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	135 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	136 esac
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	137
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	138 ### Let's recognize common machines as not being operating systems so
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	139 ### that things like config.sub decstation-3100 work. We also
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	140 ### recognize some manufacturers as not being operating systems, so we
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	141 ### can provide default operating systems below.
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	142 case $os in
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	143 -sunos)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	144 # Prevent following clause from handling this invalid input.
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	145 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	146 -dec* \| -mips* \| -sequent* \| -encore* \| -pc532* \| -sgi* \| -sony* \| \
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	147 -att* \| -7300* \| -3300* \| -delta* \| -motorola* \| -sun[234]* \| \
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	148 -unicom* \| -ibm* \| -next \| -hp \| -isi* \| -apollo \| -altos* \| \
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	149 -convergent* \| -ncr* \| -news \| -32* \| -3600* \| -3100* \| -hitachi* \|\
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	150 -c[123]* \| -convex* \| -sun \| -crds \| -omron* \| -dg \| -ultra \| -tti* \| \
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	151 -harris \| -dolphin \| -highlevel \| -gould \| -cbm \| -ns \| -masscomp \| \
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	152 -apple \| -axis \| -knuth \| -cray)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	153 os=
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	154 basic_machine=$1
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	155 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	156 -bluegene*)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	157 os=-cnk
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	158 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	159 -sim \| -cisco \| -oki \| -wec \| -winbond)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	160 os=
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	161 basic_machine=$1
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	162 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	163 -scout)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	164 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	165 -wrs)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	166 os=-vxworks
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	167 basic_machine=$1
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	168 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	169 -chorusos*)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	170 os=-chorusos
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	171 basic_machine=$1
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	172 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	173 -chorusrdb)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	174 os=-chorusrdb
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	175 basic_machine=$1
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	176 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	177 -hiux*)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	178 os=-hiuxwe2
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	179 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	180 -sco6)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	181 os=-sco5v6
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	182 basic_machine=`echo $1 \| sed -e 's/86-.*/86-pc/'`
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	183 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	184 -sco5)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	185 os=-sco3.2v5
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	186 basic_machine=`echo $1 \| sed -e 's/86-.*/86-pc/'`
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	187 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	188 -sco4)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	189 os=-sco3.2v4
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	190 basic_machine=`echo $1 \| sed -e 's/86-.*/86-pc/'`
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	191 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	192 -sco3.2.[4-9]*)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	193 os=`echo $os \| sed -e 's/sco3.2./sco3.2v/'`
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	194 basic_machine=`echo $1 \| sed -e 's/86-.*/86-pc/'`
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	195 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	196 -sco3.2v[4-9]*)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	197 # Don't forget version if it is 3.2v4 or newer.
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	198 basic_machine=`echo $1 \| sed -e 's/86-.*/86-pc/'`
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	199 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	200 -sco5v6*)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	201 # Don't forget version if it is 3.2v4 or newer.
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	202 basic_machine=`echo $1 \| sed -e 's/86-.*/86-pc/'`
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	203 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	204 -sco*)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	205 os=-sco3.2v2
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	206 basic_machine=`echo $1 \| sed -e 's/86-.*/86-pc/'`
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	207 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	208 -udk*)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	209 basic_machine=`echo $1 \| sed -e 's/86-.*/86-pc/'`
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	210 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	211 -isc)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	212 os=-isc2.2
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	213 basic_machine=`echo $1 \| sed -e 's/86-.*/86-pc/'`
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	214 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	215 -clix*)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	216 basic_machine=clipper-intergraph
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	217 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	218 -isc*)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	219 basic_machine=`echo $1 \| sed -e 's/86-.*/86-pc/'`
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	220 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	221 -lynx*)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	222 os=-lynxos
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	223 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	224 -ptx*)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	225 basic_machine=`echo $1 \| sed -e 's/86-.*/86-sequent/'`
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	226 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	227 -windowsnt*)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	228 os=`echo $os \| sed -e 's/windowsnt/winnt/'`
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	229 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	230 -psos*)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	231 os=-psos
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	232 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	233 -mint \| -mint[0-9]*)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	234 basic_machine=m68k-atari
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	235 os=-mint
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	236 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	237 esac
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	238
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	239 # Decode aliases for certain CPU-COMPANY combinations.
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	240 case $basic_machine in
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	241 # Recognize the basic CPU types without company name.
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	242 # Some are omitted here because they have special meanings below.
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	243 1750a \| 580 \
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	244 \| a29k \
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	245 \| alpha \| alphaev[4-8] \| alphaev56 \| alphaev6[78] \| alphapca5[67] \
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	246 \| alpha64 \| alpha64ev[4-8] \| alpha64ev56 \| alpha64ev6[78] \| alpha64pca5[67] \
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	247 \| am33_2.0 \
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	248 \| arc \| arm \| arm[bl]e \| arme[lb] \| armv[2345] \| armv[345][lb] \| avr \| avr32 \
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	249 \| bfin \
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	250 \| c4x \| clipper \
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	251 \| d10v \| d30v \| dlx \| dsp16xx \
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	252 \| fido \| fr30 \| frv \
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	253 \| h8300 \| h8500 \| hppa \| hppa1.[01] \| hppa2.0 \| hppa2.0[nw] \| hppa64 \
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	254 \| i370 \| i860 \| i960 \| ia64 \
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	255 \| ip2k \| iq2000 \
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	256 \| lm32 \
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	257 \| m32c \| m32r \| m32rle \| m68000 \| m68k \| m88k \
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	258 \| maxq \| mb \| microblaze \| mcore \| mep \| metag \
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	259 \| mips \| mipsbe \| mipseb \| mipsel \| mipsle \
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	260 \| mips16 \
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	261 \| mips64 \| mips64el \
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	262 \| mips64octeon \| mips64octeonel \
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	263 \| mips64orion \| mips64orionel \
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	264 \| mips64r5900 \| mips64r5900el \
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	265 \| mips64vr \| mips64vrel \
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	266 \| mips64vr4100 \| mips64vr4100el \
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	267 \| mips64vr4300 \| mips64vr4300el \
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	268 \| mips64vr5000 \| mips64vr5000el \
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	269 \| mips64vr5900 \| mips64vr5900el \
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	270 \| mipsisa32 \| mipsisa32el \
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	271 \| mipsisa32r2 \| mipsisa32r2el \
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	272 \| mipsisa64 \| mipsisa64el \
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	273 \| mipsisa64r2 \| mipsisa64r2el \
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	274 \| mipsisa64sb1 \| mipsisa64sb1el \
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	275 \| mipsisa64sr71k \| mipsisa64sr71kel \
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	276 \| mipstx39 \| mipstx39el \
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	277 \| mn10200 \| mn10300 \
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	278 \| moxie \
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	279 \| mt \
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	280 \| msp430 \
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	281 \| nios \| nios2 \
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	282 \| ns16k \| ns32k \
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	283 \| or32 \
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	284 \| pdp10 \| pdp11 \| pj \| pjl \
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	285 \| powerpc \| powerpc64 \| powerpc64le \| powerpcle \| ppcbe \
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	286 \| pyramid \
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	287 \| score \
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	288 \| sh \| sh[1234] \| sh[24]a \| sh[24]aeb \| sh[23]e \| sh[34]eb \| sheb \| shbe \| shle \| sh[1234]le \| sh3ele \
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	289 \| sh64 \| sh64le \
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	290 \| sparc \| sparc64 \| sparc64b \| sparc64v \| sparc86x \| sparclet \| sparclite \
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	291 \| sparcv8 \| sparcv9 \| sparcv9b \| sparcv9v \
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	292 \| spu \| strongarm \
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	293 \| tahoe \| thumb \| tic4x \| tic80 \| tron \
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	294 \| v850 \| v850e \
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	295 \| we32k \
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	296 \| x86 \| xc16x \| xscale \| xscalee[bl] \| xstormy16 \| xtensa \
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	297 \| z8k \| z80)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	298 basic_machine=$basic_machine-unknown
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	299 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	300 m6811 \| m68hc11 \| m6812 \| m68hc12)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	301 # Motorola 68HC11/12.
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	302 basic_machine=$basic_machine-unknown
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	303 os=-none
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	304 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	305 m88110 \| m680[12346]0 \| m683?2 \| m68360 \| m5200 \| v70 \| w65 \| z8k)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	306 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	307 ms1)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	308 basic_machine=mt-unknown
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	309 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	310
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	311 # We use `pc' rather than `unknown'
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	312 # because (1) that's what they normally are, and
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	313 # (2) the word "unknown" tends to confuse beginning users.
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	314 i*86 \| x86_64)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	315 basic_machine=$basic_machine-pc
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	316 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	317 # Object if more than one company name word.
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	318 --*)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	319 echo Invalid configuration \`$1\': machine \`$basic_machine\' not recognized 1>&2
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	320 exit 1
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	321 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	322 # Recognize the basic CPU types with company name.
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	323 580-* \
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	324 \| a29k-* \
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	325 \| alpha-* \| alphaev[4-8]-* \| alphaev56-* \| alphaev6[78]-* \
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	326 \| alpha64-* \| alpha64ev[4-8]-* \| alpha64ev56-* \| alpha64ev6[78]-* \
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	327 \| alphapca5[67]-* \| alpha64pca5[67]-* \| arc-* \
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	328 \| arm-* \| armbe-* \| armle-* \| armeb-* \| armv- \
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	329 \| avr-* \| avr32-* \
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	330 \| bfin-* \| bs2000-* \
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	331 \| c[123]* \| c30-* \| [cjt]90-* \| c4x-* \| c54x-* \| c55x-* \| c6x-* \
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	332 \| clipper-* \| craynv-* \| cydra-* \
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	333 \| d10v-* \| d30v-* \| dlx-* \
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	334 \| elxsi-* \
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	335 \| f30[01]-* \| f700-* \| fido-* \| fr30-* \| frv-* \| fx80-* \
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	336 \| h8300-* \| h8500-* \
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	337 \| hppa-* \| hppa1.[01]-* \| hppa2.0-* \| hppa2.0[nw]-* \| hppa64-* \
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	338 \| i86- \| i860-* \| i960-* \| ia64-* \
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	339 \| ip2k-* \| iq2000-* \
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	340 \| lm32-* \
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	341 \| m32c-* \| m32r-* \| m32rle-* \
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	342 \| m68000-* \| m680[012346]0-* \| m68360-* \| m683?2-* \| m68k-* \
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	343 \| m88110-* \| m88k-* \| maxq-* \| mcore-* \| metag-* \
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	344 \| mips-* \| mipsbe-* \| mipseb-* \| mipsel-* \| mipsle-* \
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	345 \| mips16-* \
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	346 \| mips64-* \| mips64el-* \
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	347 \| mips64octeon-* \| mips64octeonel-* \
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	348 \| mips64orion-* \| mips64orionel-* \
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	349 \| mips64r5900-* \| mips64r5900el-* \
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	350 \| mips64vr-* \| mips64vrel-* \
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	351 \| mips64vr4100-* \| mips64vr4100el-* \
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	352 \| mips64vr4300-* \| mips64vr4300el-* \
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	353 \| mips64vr5000-* \| mips64vr5000el-* \
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	354 \| mips64vr5900-* \| mips64vr5900el-* \
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	355 \| mipsisa32-* \| mipsisa32el-* \
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	356 \| mipsisa32r2-* \| mipsisa32r2el-* \
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	357 \| mipsisa64-* \| mipsisa64el-* \
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	358 \| mipsisa64r2-* \| mipsisa64r2el-* \
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	359 \| mipsisa64sb1-* \| mipsisa64sb1el-* \
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	360 \| mipsisa64sr71k-* \| mipsisa64sr71kel-* \
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	361 \| mipstx39-* \| mipstx39el-* \
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	362 \| mmix-* \
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	363 \| mt-* \
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	364 \| msp430-* \
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	365 \| nios-* \| nios2-* \
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	366 \| none-* \| np1-* \| ns16k-* \| ns32k-* \
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	367 \| orion-* \
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	368 \| pdp10-* \| pdp11-* \| pj-* \| pjl-* \| pn-* \| power-* \
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	369 \| powerpc-* \| powerpc64-* \| powerpc64le-* \| powerpcle-* \| ppcbe-* \
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	370 \| pyramid-* \
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	371 \| romp-* \| rs6000-* \
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	372 \| sh-* \| sh[1234]-* \| sh[24]a-* \| sh[24]aeb-* \| sh[23]e-* \| sh[34]eb-* \| sheb-* \| shbe-* \
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	373 \| shle-* \| sh[1234]le-* \| sh3ele-* \| sh64-* \| sh64le-* \
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	374 \| sparc-* \| sparc64-* \| sparc64b-* \| sparc64v-* \| sparc86x-* \| sparclet-* \
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	375 \| sparclite-* \
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	376 \| sparcv8-* \| sparcv9-* \| sparcv9b-* \| sparcv9v-* \| strongarm-* \| sv1-* \| sx?-* \
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	377 \| tahoe-* \| thumb-* \
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	378 \| tic30-* \| tic4x-* \| tic54x-* \| tic55x-* \| tic6x-* \| tic80-* \| tile-* \
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	379 \| tron-* \
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	380 \| v850-* \| v850e-* \| vax-* \
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	381 \| we32k-* \
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	382 \| x86-* \| x86_64-* \| xc16x-* \| xps100-* \| xscale-* \| xscalee[bl]-* \
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	383 \| xstormy16-* \| xtensa- \
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	384 \| ymp-* \
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	385 \| z8k-* \| z80-*)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	386 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	387 # Recognize the basic CPU types without company name, with glob match.
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	388 xtensa*)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	389 basic_machine=$basic_machine-unknown
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	390 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	391 # Recognize the various machine names and aliases which stand
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	392 # for a CPU type and a company and sometimes even an OS.
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	393 386bsd)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	394 basic_machine=i386-unknown
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	395 os=-bsd
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	396 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	397 3b1 \| 7300 \| 7300-att \| att-7300 \| pc7300 \| safari \| unixpc)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	398 basic_machine=m68000-att
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	399 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	400 3b*)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	401 basic_machine=we32k-att
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	402 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	403 a29khif)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	404 basic_machine=a29k-amd
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	405 os=-udi
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	406 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	407 abacus)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	408 basic_machine=abacus-unknown
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	409 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	410 adobe68k)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	411 basic_machine=m68010-adobe
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	412 os=-scout
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	413 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	414 alliant \| fx80)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	415 basic_machine=fx80-alliant
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	416 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	417 altos \| altos3068)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	418 basic_machine=m68k-altos
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	419 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	420 am29k)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	421 basic_machine=a29k-none
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	422 os=-bsd
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	423 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	424 amd64)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	425 basic_machine=x86_64-pc
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	426 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	427 amd64-*)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	428 basic_machine=x86_64-`echo $basic_machine \| sed 's/^[^-]*-//'`
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	429 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	430 amdahl)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	431 basic_machine=580-amdahl
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	432 os=-sysv
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	433 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	434 amiga \| amiga-*)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	435 basic_machine=m68k-unknown
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	436 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	437 amigaos \| amigados)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	438 basic_machine=m68k-unknown
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	439 os=-amigaos
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	440 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	441 amigaunix \| amix)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	442 basic_machine=m68k-unknown
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	443 os=-sysv4
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	444 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	445 apollo68)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	446 basic_machine=m68k-apollo
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	447 os=-sysv
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	448 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	449 apollo68bsd)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	450 basic_machine=m68k-apollo
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	451 os=-bsd
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	452 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	453 aros)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	454 basic_machine=i386-pc
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	455 os=-aros
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	456 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	457 aux)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	458 basic_machine=m68k-apple
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	459 os=-aux
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	460 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	461 balance)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	462 basic_machine=ns32k-sequent
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	463 os=-dynix
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	464 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	465 blackfin)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	466 basic_machine=bfin-unknown
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	467 os=-linux
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	468 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	469 blackfin-*)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	470 basic_machine=bfin-`echo $basic_machine \| sed 's/^[^-]*-//'`
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	471 os=-linux
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	472 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	473 bluegene*)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	474 basic_machine=powerpc-ibm
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	475 os=-cnk
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	476 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	477 c90)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	478 basic_machine=c90-cray
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	479 os=-unicos
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	480 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	481 cegcc)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	482 basic_machine=arm-unknown
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	483 os=-cegcc
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	484 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	485 convex-c1)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	486 basic_machine=c1-convex
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	487 os=-bsd
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	488 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	489 convex-c2)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	490 basic_machine=c2-convex
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	491 os=-bsd
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	492 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	493 convex-c32)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	494 basic_machine=c32-convex
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	495 os=-bsd
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	496 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	497 convex-c34)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	498 basic_machine=c34-convex
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	499 os=-bsd
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	500 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	501 convex-c38)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	502 basic_machine=c38-convex
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	503 os=-bsd
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	504 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	505 cray \| j90)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	506 basic_machine=j90-cray
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	507 os=-unicos
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	508 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	509 craynv)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	510 basic_machine=craynv-cray
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	511 os=-unicosmp
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	512 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	513 cr16)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	514 basic_machine=cr16-unknown
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	515 os=-elf
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	516 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	517 crds \| unos)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	518 basic_machine=m68k-crds
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	519 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	520 crisv32 \| crisv32-* \| etraxfs*)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	521 basic_machine=crisv32-axis
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	522 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	523 cris \| cris-* \| etrax*)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	524 basic_machine=cris-axis
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	525 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	526 crx)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	527 basic_machine=crx-unknown
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	528 os=-elf
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	529 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	530 da30 \| da30-*)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	531 basic_machine=m68k-da30
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	532 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	533 decstation \| decstation-3100 \| pmax \| pmax-* \| pmin \| dec3100 \| decstatn)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	534 basic_machine=mips-dec
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	535 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	536 decsystem10* \| dec10*)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	537 basic_machine=pdp10-dec
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	538 os=-tops10
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	539 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	540 decsystem20* \| dec20*)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	541 basic_machine=pdp10-dec
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	542 os=-tops20
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	543 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	544 delta \| 3300 \| motorola-3300 \| motorola-delta \
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	545 \| 3300-motorola \| delta-motorola)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	546 basic_machine=m68k-motorola
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	547 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	548 delta88)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	549 basic_machine=m88k-motorola
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	550 os=-sysv3
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	551 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	552 dicos)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	553 basic_machine=i686-pc
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	554 os=-dicos
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	555 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	556 djgpp)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	557 basic_machine=i586-pc
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	558 os=-msdosdjgpp
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	559 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	560 dpx20 \| dpx20-*)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	561 basic_machine=rs6000-bull
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	562 os=-bosx
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	563 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	564 dpx2* \| dpx2*-bull)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	565 basic_machine=m68k-bull
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	566 os=-sysv3
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	567 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	568 ebmon29k)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	569 basic_machine=a29k-amd
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	570 os=-ebmon
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	571 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	572 elxsi)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	573 basic_machine=elxsi-elxsi
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	574 os=-bsd
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	575 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	576 encore \| umax \| mmax)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	577 basic_machine=ns32k-encore
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	578 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	579 es1800 \| OSE68k \| ose68k \| ose \| OSE)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	580 basic_machine=m68k-ericsson
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	581 os=-ose
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	582 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	583 fx2800)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	584 basic_machine=i860-alliant
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	585 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	586 genix)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	587 basic_machine=ns32k-ns
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	588 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	589 gmicro)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	590 basic_machine=tron-gmicro
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	591 os=-sysv
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	592 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	593 go32)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	594 basic_machine=i386-pc
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	595 os=-go32
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	596 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	597 h3050r* \| hiux*)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	598 basic_machine=hppa1.1-hitachi
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	599 os=-hiuxwe2
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	600 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	601 h8300hms)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	602 basic_machine=h8300-hitachi
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	603 os=-hms
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	604 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	605 h8300xray)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	606 basic_machine=h8300-hitachi
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	607 os=-xray
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	608 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	609 h8500hms)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	610 basic_machine=h8500-hitachi
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	611 os=-hms
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	612 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	613 harris)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	614 basic_machine=m88k-harris
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	615 os=-sysv3
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	616 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	617 hp300-*)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	618 basic_machine=m68k-hp
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	619 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	620 hp300bsd)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	621 basic_machine=m68k-hp
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	622 os=-bsd
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	623 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	624 hp300hpux)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	625 basic_machine=m68k-hp
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	626 os=-hpux
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	627 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	628 hp3k9[0-9][0-9] \| hp9[0-9][0-9])
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	629 basic_machine=hppa1.0-hp
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	630 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	631 hp9k2[0-9][0-9] \| hp9k31[0-9])
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	632 basic_machine=m68000-hp
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	633 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	634 hp9k3[2-9][0-9])
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	635 basic_machine=m68k-hp
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	636 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	637 hp9k6[0-9][0-9] \| hp6[0-9][0-9])
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	638 basic_machine=hppa1.0-hp
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	639 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	640 hp9k7[0-79][0-9] \| hp7[0-79][0-9])
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	641 basic_machine=hppa1.1-hp
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	642 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	643 hp9k78[0-9] \| hp78[0-9])
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	644 # FIXME: really hppa2.0-hp
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	645 basic_machine=hppa1.1-hp
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	646 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	647 hp9k8[67]1 \| hp8[67]1 \| hp9k80[24] \| hp80[24] \| hp9k8[78]9 \| hp8[78]9 \| hp9k893 \| hp893)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	648 # FIXME: really hppa2.0-hp
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	649 basic_machine=hppa1.1-hp
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	650 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	651 hp9k8[0-9][13679] \| hp8[0-9][13679])
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	652 basic_machine=hppa1.1-hp
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	653 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	654 hp9k8[0-9][0-9] \| hp8[0-9][0-9])
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	655 basic_machine=hppa1.0-hp
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	656 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	657 hppa-next)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	658 os=-nextstep3
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	659 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	660 hppaosf)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	661 basic_machine=hppa1.1-hp
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	662 os=-osf
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	663 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	664 hppro)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	665 basic_machine=hppa1.1-hp
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	666 os=-proelf
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	667 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	668 i370-ibm* \| ibm*)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	669 basic_machine=i370-ibm
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	670 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	671 # I'm not sure what "Sysv32" means. Should this be sysv3.2?
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	672 i*86v32)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	673 basic_machine=`echo $1 \| sed -e 's/86.*/86-pc/'`
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	674 os=-sysv32
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	675 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	676 i86v4)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	677 basic_machine=`echo $1 \| sed -e 's/86.*/86-pc/'`
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	678 os=-sysv4
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	679 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	680 i*86v)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	681 basic_machine=`echo $1 \| sed -e 's/86.*/86-pc/'`
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	682 os=-sysv
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	683 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	684 i*86sol2)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	685 basic_machine=`echo $1 \| sed -e 's/86.*/86-pc/'`
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	686 os=-solaris2
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	687 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	688 i386mach)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	689 basic_machine=i386-mach
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	690 os=-mach
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	691 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	692 i386-vsta \| vsta)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	693 basic_machine=i386-unknown
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	694 os=-vsta
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	695 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	696 iris \| iris4d)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	697 basic_machine=mips-sgi
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	698 case $os in
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	699 -irix*)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	700 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	701 *)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	702 os=-irix4
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	703 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	704 esac
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	705 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	706 isi68 \| isi)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	707 basic_machine=m68k-isi
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	708 os=-sysv
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	709 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	710 m68knommu)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	711 basic_machine=m68k-unknown
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	712 os=-linux
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	713 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	714 m68knommu-*)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	715 basic_machine=m68k-`echo $basic_machine \| sed 's/^[^-]*-//'`
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	716 os=-linux
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	717 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	718 m88k-omron*)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	719 basic_machine=m88k-omron
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	720 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	721 magnum \| m3230)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	722 basic_machine=mips-mips
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	723 os=-sysv
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	724 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	725 merlin)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	726 basic_machine=ns32k-utek
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	727 os=-sysv
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	728 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	729 mingw32)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	730 basic_machine=i386-pc
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	731 os=-mingw32
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	732 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	733 mingw32ce)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	734 basic_machine=arm-unknown
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	735 os=-mingw32ce
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	736 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	737 miniframe)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	738 basic_machine=m68000-convergent
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	739 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	740 mint \| -mint[0-9] \| MiNT \| MiNT[0-9]*)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	741 basic_machine=m68k-atari
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	742 os=-mint
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	743 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	744 mips3-)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	745 basic_machine=`echo $basic_machine \| sed -e 's/mips3/mips64/'`
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	746 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	747 mips3*)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	748 basic_machine=`echo $basic_machine \| sed -e 's/mips3/mips64/'`-unknown
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	749 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	750 monitor)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	751 basic_machine=m68k-rom68k
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	752 os=-coff
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	753 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	754 morphos)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	755 basic_machine=powerpc-unknown
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	756 os=-morphos
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	757 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	758 msdos)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	759 basic_machine=i386-pc
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	760 os=-msdos
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	761 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	762 ms1-*)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	763 basic_machine=`echo $basic_machine \| sed -e 's/ms1-/mt-/'`
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	764 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	765 mvs)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	766 basic_machine=i370-ibm
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	767 os=-mvs
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	768 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	769 ncr3000)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	770 basic_machine=i486-ncr
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	771 os=-sysv4
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	772 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	773 netbsd386)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	774 basic_machine=i386-unknown
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	775 os=-netbsd
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	776 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	777 netwinder)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	778 basic_machine=armv4l-rebel
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	779 os=-linux
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	780 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	781 news \| news700 \| news800 \| news900)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	782 basic_machine=m68k-sony
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	783 os=-newsos
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	784 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	785 news1000)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	786 basic_machine=m68030-sony
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	787 os=-newsos
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	788 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	789 news-3600 \| risc-news)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	790 basic_machine=mips-sony
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	791 os=-newsos
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	792 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	793 necv70)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	794 basic_machine=v70-nec
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	795 os=-sysv
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	796 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	797 next \| m*-next )
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	798 basic_machine=m68k-next
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	799 case $os in
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	800 -nextstep* )
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	801 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	802 -ns2*)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	803 os=-nextstep2
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	804 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	805 *)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	806 os=-nextstep3
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	807 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	808 esac
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	809 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	810 nh3000)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	811 basic_machine=m68k-harris
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	812 os=-cxux
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	813 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	814 nh[45]000)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	815 basic_machine=m88k-harris
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	816 os=-cxux
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	817 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	818 nindy960)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	819 basic_machine=i960-intel
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	820 os=-nindy
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	821 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	822 mon960)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	823 basic_machine=i960-intel
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	824 os=-mon960
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	825 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	826 nonstopux)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	827 basic_machine=mips-compaq
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	828 os=-nonstopux
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	829 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	830 np1)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	831 basic_machine=np1-gould
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	832 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	833 nsr-tandem)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	834 basic_machine=nsr-tandem
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	835 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	836 op50n-* \| op60c-*)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	837 basic_machine=hppa1.1-oki
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	838 os=-proelf
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	839 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	840 openrisc \| openrisc-*)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	841 basic_machine=or32-unknown
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	842 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	843 os400)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	844 basic_machine=powerpc-ibm
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	845 os=-os400
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	846 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	847 OSE68000 \| ose68000)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	848 basic_machine=m68000-ericsson
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	849 os=-ose
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	850 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	851 os68k)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	852 basic_machine=m68k-none
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	853 os=-os68k
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	854 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	855 pa-hitachi)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	856 basic_machine=hppa1.1-hitachi
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	857 os=-hiuxwe2
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	858 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	859 paragon)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	860 basic_machine=i860-intel
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	861 os=-osf
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	862 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	863 parisc)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	864 basic_machine=hppa-unknown
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	865 os=-linux
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	866 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	867 parisc-*)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	868 basic_machine=hppa-`echo $basic_machine \| sed 's/^[^-]*-//'`
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	869 os=-linux
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	870 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	871 pbd)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	872 basic_machine=sparc-tti
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	873 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	874 pbb)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	875 basic_machine=m68k-tti
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	876 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	877 pc532 \| pc532-*)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	878 basic_machine=ns32k-pc532
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	879 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	880 pc98)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	881 basic_machine=i386-pc
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	882 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	883 pc98-*)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	884 basic_machine=i386-`echo $basic_machine \| sed 's/^[^-]*-//'`
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	885 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	886 pentium \| p5 \| k5 \| k6 \| nexgen \| viac3)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	887 basic_machine=i586-pc
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	888 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	889 pentiumpro \| p6 \| 6x86 \| athlon \| athlon_*)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	890 basic_machine=i686-pc
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	891 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	892 pentiumii \| pentium2 \| pentiumiii \| pentium3)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	893 basic_machine=i686-pc
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	894 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	895 pentium4)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	896 basic_machine=i786-pc
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	897 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	898 pentium-* \| p5-* \| k5-* \| k6-* \| nexgen-* \| viac3-*)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	899 basic_machine=i586-`echo $basic_machine \| sed 's/^[^-]*-//'`
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	900 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	901 pentiumpro-* \| p6-* \| 6x86-* \| athlon-*)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	902 basic_machine=i686-`echo $basic_machine \| sed 's/^[^-]*-//'`
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	903 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	904 pentiumii-* \| pentium2-* \| pentiumiii-* \| pentium3-*)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	905 basic_machine=i686-`echo $basic_machine \| sed 's/^[^-]*-//'`
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	906 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	907 pentium4-*)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	908 basic_machine=i786-`echo $basic_machine \| sed 's/^[^-]*-//'`
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	909 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	910 pn)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	911 basic_machine=pn-gould
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	912 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	913 power) basic_machine=power-ibm
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	914 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	915 ppc) basic_machine=powerpc-unknown
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	916 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	917 ppc-) basic_machine=powerpc-`echo $basic_machine \| sed 's/^[^-]-//'`
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	918 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	919 ppcle \| powerpclittle \| ppc-le \| powerpc-little)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	920 basic_machine=powerpcle-unknown
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	921 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	922 ppcle-* \| powerpclittle-*)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	923 basic_machine=powerpcle-`echo $basic_machine \| sed 's/^[^-]*-//'`
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	924 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	925 ppc64) basic_machine=powerpc64-unknown
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	926 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	927 ppc64-) basic_machine=powerpc64-`echo $basic_machine \| sed 's/^[^-]-//'`
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	928 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	929 ppc64le \| powerpc64little \| ppc64-le \| powerpc64-little)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	930 basic_machine=powerpc64le-unknown
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	931 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	932 ppc64le-* \| powerpc64little-*)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	933 basic_machine=powerpc64le-`echo $basic_machine \| sed 's/^[^-]*-//'`
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	934 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	935 ps2)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	936 basic_machine=i386-ibm
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	937 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	938 pw32)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	939 basic_machine=i586-unknown
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	940 os=-pw32
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	941 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	942 rdos)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	943 basic_machine=i386-pc
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	944 os=-rdos
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	945 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	946 rom68k)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	947 basic_machine=m68k-rom68k
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	948 os=-coff
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	949 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	950 rm[46]00)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	951 basic_machine=mips-siemens
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	952 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	953 rtpc \| rtpc-*)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	954 basic_machine=romp-ibm
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	955 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	956 s390 \| s390-*)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	957 basic_machine=s390-ibm
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	958 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	959 s390x \| s390x-*)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	960 basic_machine=s390x-ibm
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	961 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	962 sa29200)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	963 basic_machine=a29k-amd
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	964 os=-udi
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	965 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	966 sb1)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	967 basic_machine=mipsisa64sb1-unknown
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	968 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	969 sb1el)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	970 basic_machine=mipsisa64sb1el-unknown
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	971 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	972 sde)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	973 basic_machine=mipsisa32-sde
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	974 os=-elf
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	975 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	976 sei)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	977 basic_machine=mips-sei
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	978 os=-seiux
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	979 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	980 sequent)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	981 basic_machine=i386-sequent
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	982 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	983 sh)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	984 basic_machine=sh-hitachi
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	985 os=-hms
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	986 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	987 sh5el)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	988 basic_machine=sh5le-unknown
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	989 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	990 sh64)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	991 basic_machine=sh64-unknown
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	992 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	993 sparclite-wrs \| simso-wrs)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	994 basic_machine=sparclite-wrs
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	995 os=-vxworks
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	996 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	997 sps7)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	998 basic_machine=m68k-bull
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	999 os=-sysv2
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1000 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1001 spur)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1002 basic_machine=spur-unknown
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1003 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1004 st2000)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1005 basic_machine=m68k-tandem
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1006 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1007 stratus)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1008 basic_machine=i860-stratus
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1009 os=-sysv4
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1010 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1011 sun2)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1012 basic_machine=m68000-sun
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1013 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1014 sun2os3)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1015 basic_machine=m68000-sun
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1016 os=-sunos3
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1017 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1018 sun2os4)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1019 basic_machine=m68000-sun
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1020 os=-sunos4
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1021 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1022 sun3os3)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1023 basic_machine=m68k-sun
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1024 os=-sunos3
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1025 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1026 sun3os4)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1027 basic_machine=m68k-sun
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1028 os=-sunos4
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1029 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1030 sun4os3)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1031 basic_machine=sparc-sun
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1032 os=-sunos3
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1033 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1034 sun4os4)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1035 basic_machine=sparc-sun
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1036 os=-sunos4
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1037 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1038 sun4sol2)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1039 basic_machine=sparc-sun
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1040 os=-solaris2
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1041 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1042 sun3 \| sun3-*)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1043 basic_machine=m68k-sun
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1044 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1045 sun4)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1046 basic_machine=sparc-sun
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1047 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1048 sun386 \| sun386i \| roadrunner)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1049 basic_machine=i386-sun
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1050 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1051 sv1)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1052 basic_machine=sv1-cray
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1053 os=-unicos
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1054 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1055 symmetry)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1056 basic_machine=i386-sequent
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1057 os=-dynix
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1058 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1059 t3e)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1060 basic_machine=alphaev5-cray
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1061 os=-unicos
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1062 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1063 t90)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1064 basic_machine=t90-cray
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1065 os=-unicos
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1066 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1067 tic54x \| c54x*)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1068 basic_machine=tic54x-unknown
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1069 os=-coff
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1070 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1071 tic55x \| c55x*)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1072 basic_machine=tic55x-unknown
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1073 os=-coff
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1074 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1075 tic6x \| c6x*)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1076 basic_machine=tic6x-unknown
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1077 os=-coff
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1078 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1079 tile*)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1080 basic_machine=tile-unknown
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1081 os=-linux-gnu
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1082 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1083 tx39)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1084 basic_machine=mipstx39-unknown
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1085 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1086 tx39el)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1087 basic_machine=mipstx39el-unknown
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1088 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1089 toad1)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1090 basic_machine=pdp10-xkl
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1091 os=-tops20
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1092 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1093 tower \| tower-32)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1094 basic_machine=m68k-ncr
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1095 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1096 tpf)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1097 basic_machine=s390x-ibm
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1098 os=-tpf
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1099 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1100 udi29k)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1101 basic_machine=a29k-amd
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1102 os=-udi
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1103 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1104 ultra3)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1105 basic_machine=a29k-nyu
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1106 os=-sym1
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1107 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1108 v810 \| necv810)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1109 basic_machine=v810-nec
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1110 os=-none
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1111 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1112 vaxv)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1113 basic_machine=vax-dec
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1114 os=-sysv
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1115 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1116 vms)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1117 basic_machine=vax-dec
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1118 os=-vms
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1119 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1120 vpp\|vx\|vx-)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1121 basic_machine=f301-fujitsu
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1122 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1123 vxworks960)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1124 basic_machine=i960-wrs
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1125 os=-vxworks
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1126 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1127 vxworks68)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1128 basic_machine=m68k-wrs
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1129 os=-vxworks
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1130 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1131 vxworks29k)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1132 basic_machine=a29k-wrs
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1133 os=-vxworks
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1134 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1135 w65*)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1136 basic_machine=w65-wdc
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1137 os=-none
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1138 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1139 w89k-*)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1140 basic_machine=hppa1.1-winbond
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1141 os=-proelf
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1142 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1143 xbox)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1144 basic_machine=i686-pc
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1145 os=-mingw32
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1146 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1147 xps \| xps100)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1148 basic_machine=xps100-honeywell
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1149 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1150 ymp)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1151 basic_machine=ymp-cray
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1152 os=-unicos
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1153 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1154 z8k-*-coff)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1155 basic_machine=z8k-unknown
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1156 os=-sim
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1157 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1158 z80-*-coff)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1159 basic_machine=z80-unknown
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1160 os=-sim
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1161 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1162 none)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1163 basic_machine=none-none
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1164 os=-none
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1165 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1166
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1167 # Here we handle the default manufacturer of certain CPU types. It is in
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1168 # some cases the only manufacturer, in others, it is the most popular.
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1169 w89k)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1170 basic_machine=hppa1.1-winbond
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1171 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1172 op50n)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1173 basic_machine=hppa1.1-oki
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1174 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1175 op60c)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1176 basic_machine=hppa1.1-oki
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1177 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1178 romp)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1179 basic_machine=romp-ibm
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1180 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1181 mmix)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1182 basic_machine=mmix-knuth
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1183 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1184 rs6000)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1185 basic_machine=rs6000-ibm
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1186 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1187 vax)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1188 basic_machine=vax-dec
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1189 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1190 pdp10)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1191 # there are many clones, so DEC is not a safe bet
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1192 basic_machine=pdp10-unknown
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1193 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1194 pdp11)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1195 basic_machine=pdp11-dec
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1196 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1197 we32k)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1198 basic_machine=we32k-att
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1199 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1200 sh[1234] \| sh[24]a \| sh[24]aeb \| sh[34]eb \| sh[1234]le \| sh[23]ele)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1201 basic_machine=sh-unknown
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1202 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1203 sparc \| sparcv8 \| sparcv9 \| sparcv9b \| sparcv9v)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1204 basic_machine=sparc-sun
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1205 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1206 cydra)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1207 basic_machine=cydra-cydrome
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1208 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1209 orion)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1210 basic_machine=orion-highlevel
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1211 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1212 orion105)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1213 basic_machine=clipper-highlevel
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1214 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1215 mac \| mpw \| mac-mpw)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1216 basic_machine=m68k-apple
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1217 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1218 pmac \| pmac-mpw)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1219 basic_machine=powerpc-apple
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1220 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1221 *-unknown)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1222 # Make sure to match an already-canonicalized machine name.
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1223 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1224 *)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1225 echo Invalid configuration \`$1\': machine \`$basic_machine\' not recognized 1>&2
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1226 exit 1
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1227 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1228 esac
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1229
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1230 # Here we canonicalize certain aliases for manufacturers.
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1231 case $basic_machine in
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1232 -digital)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1233 basic_machine=`echo $basic_machine \| sed 's/digital.*/dec/'`
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1234 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1235 -commodore)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1236 basic_machine=`echo $basic_machine \| sed 's/commodore.*/cbm/'`
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1237 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1238 *)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1239 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1240 esac
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1241
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1242 # Decode manufacturer-specific aliases for certain operating systems.
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1243
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1244 if [ x"$os" != x"" ]
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1245 then
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1246 case $os in
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1247 # First match some system type aliases
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1248 # that might get confused with valid system types.
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1249 # -solaris* is a basic system type, with this one exception.
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1250 -solaris1 \| -solaris1.*)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1251 os=`echo $os \| sed -e 's\|solaris1\|sunos4\|'`
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1252 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1253 -solaris)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1254 os=-solaris2
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1255 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1256 -svr4*)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1257 os=-sysv4
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1258 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1259 -unixware*)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1260 os=-sysv4.2uw
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1261 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1262 -gnu/linux*)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1263 os=`echo $os \| sed -e 's\|gnu/linux\|linux-gnu\|'`
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1264 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1265 # First accept the basic system types.
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1266 # The portable systems comes first.
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1267 # Each alternative MUST END IN A *, to match a version number.
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1268 # -sysv* is not here because it comes later, after sysvr4.
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1269 -gnu* \| -bsd* \| -mach* \| -minix* \| -genix* \| -ultrix* \| -irix* \
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1270 \| -vms \| -sco* \| -esix* \| -isc* \| -aix* \| -cnk* \| -sunos \| -sunos[34]*\
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1271 \| -hpux* \| -unos* \| -osf* \| -luna* \| -dgux* \| -solaris* \| -sym* \
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1272 \| -kopensolaris* \
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1273 \| -amigaos* \| -amigados* \| -msdos* \| -newsos* \| -unicos* \| -aof* \
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1274 \| -aos* \| -aros* \
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1275 \| -nindy* \| -vxsim* \| -vxworks* \| -ebmon* \| -hms* \| -mvs* \
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1276 \| -clix* \| -riscos* \| -uniplus* \| -iris* \| -rtu* \| -xenix* \
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1277 \| -hiux* \| -386bsd* \| -knetbsd* \| -mirbsd* \| -netbsd* \
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1278 \| -openbsd* \| -solidbsd* \
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1279 \| -ekkobsd* \| -kfreebsd* \| -freebsd* \| -riscix* \| -lynxos* \
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1280 \| -bosx* \| -nextstep* \| -cxux* \| -aout* \| -elf* \| -oabi* \
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1281 \| -ptx* \| -coff* \| -ecoff* \| -winnt* \| -domain* \| -vsta* \
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1282 \| -udi* \| -eabi* \| -lites* \| -ieee* \| -go32* \| -aux* \
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1283 \| -chorusos* \| -chorusrdb* \| -cegcc* \
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1284 \| -cygwin* \| -pe* \| -psos* \| -moss* \| -proelf* \| -rtems* \
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1285 \| -mingw32* \| -linux-gnu* \| -linux-newlib* \| -linux-uclibc* \
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1286 \| -uxpv* \| -beos* \| -mpeix* \| -udk* \
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1287 \| -interix* \| -uwin* \| -mks* \| -rhapsody* \| -darwin* \| -opened* \
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1288 \| -openstep* \| -oskit* \| -conix* \| -pw32* \| -nonstopux* \
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1289 \| -storm-chaos* \| -tops10* \| -tenex* \| -tops20* \| -its* \
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1290 \| -os2* \| -vos* \| -palmos* \| -uclinux* \| -nucleus* \
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1291 \| -morphos* \| -superux* \| -rtmk* \| -rtmk-nova* \| -windiss* \
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1292 \| -powermax* \| -dnix* \| -nx6 \| -nx7 \| -sei* \| -dragonfly* \
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1293 \| -skyos* \| -haiku* \| -rdos* \| -toppers* \| -drops*)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1294 # Remember, each alternative MUST END IN *, to match a version number.
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1295 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1296 -qnx*)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1297 case $basic_machine in
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1298 x86-* \| i86-)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1299 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1300 *)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1301 os=-nto$os
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1302 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1303 esac
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1304 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1305 -nto-qnx*)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1306 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1307 -nto*)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1308 os=`echo $os \| sed -e 's\|nto\|nto-qnx\|'`
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1309 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1310 -sim \| -es1800* \| -hms* \| -xray \| -os68k* \| -none* \| -v88r* \
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1311 \| -windows* \| -osx \| -abug \| -netware* \| -os9* \| -beos* \| -haiku* \
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1312 \| -macos* \| -mpw* \| -magic* \| -mmixware* \| -mon960* \| -lnews*)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1313 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1314 -mac*)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1315 os=`echo $os \| sed -e 's\|mac\|macos\|'`
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1316 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1317 -linux-dietlibc)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1318 os=-linux-dietlibc
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1319 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1320 -linux*)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1321 os=`echo $os \| sed -e 's\|linux\|linux-gnu\|'`
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1322 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1323 -sunos5*)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1324 os=`echo $os \| sed -e 's\|sunos5\|solaris2\|'`
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1325 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1326 -sunos6*)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1327 os=`echo $os \| sed -e 's\|sunos6\|solaris3\|'`
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1328 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1329 -opened*)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1330 os=-openedition
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1331 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1332 -os400*)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1333 os=-os400
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1334 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1335 -wince*)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1336 os=-wince
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1337 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1338 -osfrose*)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1339 os=-osfrose
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1340 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1341 -osf*)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1342 os=-osf
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1343 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1344 -utek*)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1345 os=-bsd
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1346 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1347 -dynix*)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1348 os=-bsd
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1349 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1350 -acis*)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1351 os=-aos
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1352 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1353 -atheos*)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1354 os=-atheos
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1355 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1356 -syllable*)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1357 os=-syllable
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1358 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1359 -386bsd)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1360 os=-bsd
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1361 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1362 -ctix* \| -uts*)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1363 os=-sysv
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1364 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1365 -nova*)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1366 os=-rtmk-nova
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1367 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1368 -ns2 )
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1369 os=-nextstep2
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1370 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1371 -nsk*)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1372 os=-nsk
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1373 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1374 # Preserve the version number of sinix5.
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1375 -sinix5.*)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1376 os=`echo $os \| sed -e 's\|sinix\|sysv\|'`
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1377 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1378 -sinix*)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1379 os=-sysv4
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1380 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1381 -tpf*)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1382 os=-tpf
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1383 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1384 -triton*)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1385 os=-sysv3
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1386 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1387 -oss*)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1388 os=-sysv3
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1389 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1390 -svr4)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1391 os=-sysv4
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1392 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1393 -svr3)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1394 os=-sysv3
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1395 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1396 -sysvr4)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1397 os=-sysv4
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1398 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1399 # This must come after -sysvr4.
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1400 -sysv*)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1401 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1402 -ose*)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1403 os=-ose
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1404 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1405 -es1800*)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1406 os=-ose
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1407 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1408 -xenix)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1409 os=-xenix
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1410 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1411 -mint \| -mint[0-9] \| -MiNT \| -MiNT[0-9])
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1412 os=-mint
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1413 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1414 -aros*)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1415 os=-aros
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1416 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1417 -kaos*)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1418 os=-kaos
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1419 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1420 -zvmoe)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1421 os=-zvmoe
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1422 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1423 -dicos*)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1424 os=-dicos
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1425 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1426 -none)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1427 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1428 *)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1429 # Get rid of the `-' at the beginning of $os.
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1430 os=`echo $os \| sed 's/[^-]*-//'`
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1431 echo Invalid configuration \`$1\': system \`$os\' not recognized 1>&2
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1432 exit 1
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1433 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1434 esac
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1435 else
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1436
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1437 # Here we handle the default operating systems that come with various machines.
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1438 # The value should be what the vendor currently ships out the door with their
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1439 # machine or put another way, the most popular os provided with the machine.
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1440
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1441 # Note that if you're going to try to match "-MANUFACTURER" here (say,
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1442 # "-sun"), then you have to tell the case statement up towards the top
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1443 # that MANUFACTURER isn't an operating system. Otherwise, code above
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1444 # will signal an error saying that MANUFACTURER isn't an operating
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1445 # system, and we'll never get to this point.
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1446
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1447 case $basic_machine in
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1448 score-*)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1449 os=-elf
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1450 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1451 spu-*)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1452 os=-elf
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1453 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1454 *-acorn)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1455 os=-riscix1.2
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1456 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1457 arm*-rebel)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1458 os=-linux
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1459 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1460 arm*-semi)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1461 os=-aout
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1462 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1463 c4x-* \| tic4x-*)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1464 os=-coff
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1465 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1466 # This must come before the *-dec entry.
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1467 pdp10-*)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1468 os=-tops20
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1469 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1470 pdp11-*)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1471 os=-none
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1472 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1473 -dec \| vax-)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1474 os=-ultrix4.2
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1475 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1476 m68*-apollo)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1477 os=-domain
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1478 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1479 i386-sun)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1480 os=-sunos4.0.2
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1481 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1482 m68000-sun)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1483 os=-sunos3
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1484 # This also exists in the configure program, but was not the
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1485 # default.
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1486 # os=-sunos4
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1487 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1488 m68*-cisco)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1489 os=-aout
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1490 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1491 mep-*)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1492 os=-elf
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1493 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1494 mips*-cisco)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1495 os=-elf
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1496 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1497 mips-)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1498 os=-elf
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1499 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1500 or32-*)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1501 os=-coff
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1502 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1503 *-tti) # must be before sparc entry or we get the wrong os.
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1504 os=-sysv3
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1505 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1506 sparc-* \| *-sun)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1507 os=-sunos4.1.1
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1508 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1509 *-be)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1510 os=-beos
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1511 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1512 *-haiku)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1513 os=-haiku
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1514 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1515 *-ibm)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1516 os=-aix
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1517 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1518 *-knuth)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1519 os=-mmixware
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1520 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1521 *-wec)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1522 os=-proelf
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1523 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1524 *-winbond)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1525 os=-proelf
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1526 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1527 *-oki)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1528 os=-proelf
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1529 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1530 *-hp)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1531 os=-hpux
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1532 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1533 *-hitachi)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1534 os=-hiux
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1535 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1536 i860-* \| -att \| -ncr \| -altos \| -motorola \| *-convergent)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1537 os=-sysv
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1538 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1539 *-cbm)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1540 os=-amigaos
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1541 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1542 *-dg)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1543 os=-dgux
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1544 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1545 *-dolphin)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1546 os=-sysv3
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1547 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1548 m68k-ccur)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1549 os=-rtu
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1550 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1551 m88k-omron*)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1552 os=-luna
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1553 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1554 *-next )
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1555 os=-nextstep
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1556 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1557 *-sequent)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1558 os=-ptx
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1559 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1560 *-crds)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1561 os=-unos
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1562 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1563 *-ns)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1564 os=-genix
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1565 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1566 i370-*)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1567 os=-mvs
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1568 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1569 *-next)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1570 os=-nextstep3
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1571 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1572 *-gould)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1573 os=-sysv
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1574 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1575 *-highlevel)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1576 os=-bsd
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1577 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1578 *-encore)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1579 os=-bsd
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1580 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1581 *-sgi)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1582 os=-irix
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1583 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1584 *-siemens)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1585 os=-sysv4
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1586 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1587 *-masscomp)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1588 os=-rtu
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1589 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1590 f30[01]-fujitsu \| f700-fujitsu)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1591 os=-uxpv
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1592 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1593 *-rom68k)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1594 os=-coff
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1595 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1596 -bug)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1597 os=-coff
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1598 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1599 *-apple)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1600 os=-macos
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1601 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1602 -atari)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1603 os=-mint
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1604 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1605 *)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1606 os=-none
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1607 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1608 esac
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1609 fi
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1610
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1611 # Here we handle the case where we know the os, and the CPU type, but not the
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1612 # manufacturer. We pick the logical manufacturer.
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1613 vendor=unknown
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1614 case $basic_machine in
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1615 *-unknown)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1616 case $os in
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1617 -riscix*)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1618 vendor=acorn
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1619 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1620 -sunos*)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1621 vendor=sun
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1622 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1623 -cnk\|-aix)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1624 vendor=ibm
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1625 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1626 -beos*)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1627 vendor=be
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1628 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1629 -hpux*)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1630 vendor=hp
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1631 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1632 -mpeix*)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1633 vendor=hp
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1634 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1635 -hiux*)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1636 vendor=hitachi
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1637 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1638 -unos*)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1639 vendor=crds
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1640 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1641 -dgux*)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1642 vendor=dg
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1643 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1644 -luna*)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1645 vendor=omron
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1646 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1647 -genix*)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1648 vendor=ns
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1649 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1650 -mvs* \| -opened*)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1651 vendor=ibm
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1652 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1653 -os400*)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1654 vendor=ibm
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1655 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1656 -ptx*)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1657 vendor=sequent
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1658 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1659 -tpf*)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1660 vendor=ibm
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1661 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1662 -vxsim* \| -vxworks* \| -windiss*)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1663 vendor=wrs
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1664 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1665 -aux*)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1666 vendor=apple
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1667 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1668 -hms*)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1669 vendor=hitachi
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1670 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1671 -mpw* \| -macos*)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1672 vendor=apple
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1673 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1674 -mint \| -mint[0-9] \| -MiNT \| -MiNT[0-9])
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1675 vendor=atari
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1676 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1677 -vos*)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1678 vendor=stratus
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1679 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1680 esac
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1681 basic_machine=`echo $basic_machine \| sed "s/unknown/$vendor/"`
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1682 ;;
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1683 esac
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1684
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1685 echo $basic_machine$os
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1686 exit
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1687
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1688 # Local variables:
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1689 # eval: (add-hook 'write-file-hooks 'time-stamp)
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1690 # time-stamp-start: "timestamp='"
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1691 # time-stamp-format: "%:y-%02m-%02d"
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1692 # time-stamp-end: "'"
ff1768533a07 Migrated tool version 0.2 from old tool shed archive to new tool shed repository clustalomega parents: diff changeset	1693 # End:

Mercurial > repos > clustalomega > clustalomega

annotate clustalomega/clustal-omega-0.2.0/config.sub @ 0:ff1768533a07