annotate config.sub @ 1480:835a3c4ddb13

[project @ 1995-09-26 08:56:31 by jwe]
author jwe
date Tue, 26 Sep 1995 08:56:31 +0000
parents 611d403c7f3d
children f92a8b9f0e08
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
1480
835a3c4ddb13 [project @ 1995-09-26 08:56:31 by jwe]
jwe
parents: 1315
diff changeset
1 #! /bin/sh
295
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
2 # Configuration validation subroutine script, version 1.1.
1480
835a3c4ddb13 [project @ 1995-09-26 08:56:31 by jwe]
jwe
parents: 1315
diff changeset
3 # Copyright (C) 1991, 1992, 1993, 1994, 1995 Free Software Foundation, Inc.
295
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
4 # This file is (in principle) common to ALL GNU software.
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
5 # The presence of a machine in this file suggests that SOME GNU software
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
6 # can handle that machine. It does not imply ALL GNU software can.
1057
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
7 #
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
8 # This file is free software; you can redistribute it and/or modify
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
9 # it under the terms of the GNU General Public License as published by
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
10 # the Free Software Foundation; either version 2 of the License, or
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
11 # (at your option) any later version.
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
12 #
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
13 # This program is distributed in the hope that it will be useful,
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
14 # but WITHOUT ANY WARRANTY; without even the implied warranty of
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
15 # MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
16 # GNU General Public License for more details.
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
17 #
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
18 # You should have received a copy of the GNU General Public License
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
19 # along with this program; if not, write to the Free Software
1480
835a3c4ddb13 [project @ 1995-09-26 08:56:31 by jwe]
jwe
parents: 1315
diff changeset
20 # Foundation, Inc., 59 Temple Place - Suite 330,
835a3c4ddb13 [project @ 1995-09-26 08:56:31 by jwe]
jwe
parents: 1315
diff changeset
21 # Boston, MA 02111-1307, USA.
295
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
22
1057
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
23 # As a special exception to the GNU General Public License, if you
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
24 # distribute this file as part of a program that contains a
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
25 # configuration script generated by Autoconf, you may include it under
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
26 # the same distribution terms that you use for the rest of that program.
295
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
27
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
28 # Configuration subroutine to validate and canonicalize a configuration type.
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
29 # Supply the specified configuration type as an argument.
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
30 # If it is invalid, we print an error message on stderr and exit with code 1.
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
31 # Otherwise, we print the canonical config type on stdout and succeed.
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
32
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
33 # This file is supposed to be the same for all GNU packages
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
34 # and recognize all the CPU types, system types and aliases
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
35 # that are meaningful with *any* GNU software.
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
36 # Each package is responsible for reporting which valid configurations
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
37 # it does not support. The user should be able to distinguish
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
38 # a failure to support a valid configuration from a meaningless
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
39 # configuration.
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
40
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
41 # The goal of this file is to map all the various variations of a given
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
42 # machine specification into a single specification in the form:
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
43 # CPU_TYPE-MANUFACTURER-OPERATING_SYSTEM
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
44 # It is wrong to echo any other type of specification.
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
45
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
46 if [ x$1 = x ]
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
47 then
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
48 echo Configuration name missing. 1>&2
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
49 echo "Usage: $0 CPU-MFR-OPSYS" 1>&2
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
50 echo "or $0 ALIAS" 1>&2
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
51 echo where ALIAS is a recognized configuration type. 1>&2
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
52 exit 1
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
53 fi
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
54
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
55 # First pass through any local machine types.
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
56 case $1 in
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
57 *local*)
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
58 echo $1
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
59 exit 0
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
60 ;;
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
61 *)
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
62 ;;
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
63 esac
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
64
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
65 # Separate what the user gave into CPU-COMPANY and OS (if any).
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
66 basic_machine=`echo $1 | sed 's/-[^-]*$//'`
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
67 if [ $basic_machine != $1 ]
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
68 then os=`echo $1 | sed 's/.*-/-/'`
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
69 else os=; fi
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
70
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
71 ### Let's recognize common machines as not being operating systems so
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
72 ### that things like config.sub decstation-3100 work. We also
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
73 ### recognize some manufacturers as not being operating systems, so we
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
74 ### can provide default operating systems below.
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
75 case $os in
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
76 -sun*os*)
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
77 # Prevent following clause from handling this invalid input.
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
78 ;;
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
79 -dec* | -mips* | -sequent* | -encore* | -pc532* | -sgi* | -sony* | \
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
80 -att* | -7300* | -3300* | -delta* | -motorola* | -sun[234]* | \
1057
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
81 -unicom* | -ibm* | -next | -hp | -isi* | -apollo | -altos* | \
295
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
82 -convergent* | -ncr* | -news | -32* | -3600* | -3100* | -hitachi* |\
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
83 -c[123]* | -convex* | -sun | -crds | -omron* | -dg | -ultra | -tti* | \
1057
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
84 -harris | -dolphin | -highlevel | -gould | -cbm | -ns | -masscomp )
295
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
85 os=
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
86 basic_machine=$1
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
87 ;;
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
88 -hiux*)
1057
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
89 os=-hiuxwe2
295
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
90 ;;
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
91 -sco4)
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
92 os=-sco3.2v4
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
93 basic_machine=`echo $1 | sed -e 's/86-.*/86-unknown/'`
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
94 ;;
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
95 -sco3.2.[4-9]*)
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
96 os=`echo $os | sed -e 's/sco3.2./sco3.2v/'`
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
97 basic_machine=`echo $1 | sed -e 's/86-.*/86-unknown/'`
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
98 ;;
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
99 -sco3.2v[4-9]*)
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
100 # Don't forget version if it is 3.2v4 or newer.
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
101 basic_machine=`echo $1 | sed -e 's/86-.*/86-unknown/'`
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
102 ;;
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
103 -sco*)
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
104 os=-sco3.2v2
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
105 basic_machine=`echo $1 | sed -e 's/86-.*/86-unknown/'`
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
106 ;;
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
107 -isc)
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
108 os=-isc2.2
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
109 basic_machine=`echo $1 | sed -e 's/86-.*/86-unknown/'`
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
110 ;;
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
111 -clix*)
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
112 basic_machine=clipper-intergraph
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
113 ;;
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
114 -isc*)
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
115 basic_machine=`echo $1 | sed -e 's/86-.*/86-unknown/'`
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
116 ;;
1480
835a3c4ddb13 [project @ 1995-09-26 08:56:31 by jwe]
jwe
parents: 1315
diff changeset
117 -lynx*)
295
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
118 os=-lynxos
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
119 ;;
1057
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
120 -ptx*)
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
121 basic_machine=`echo $1 | sed -e 's/86-.*/86-sequent/'`
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
122 ;;
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
123 -windowsnt*)
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
124 os=`echo $os | sed -e 's/windowsnt/winnt/'`
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
125 ;;
295
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
126 esac
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
127
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
128 # Decode aliases for certain CPU-COMPANY combinations.
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
129 case $basic_machine in
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
130 # Recognize the basic CPU types without company name.
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
131 # Some are omitted here because they have special meanings below.
1480
835a3c4ddb13 [project @ 1995-09-26 08:56:31 by jwe]
jwe
parents: 1315
diff changeset
132 tahoe | i[345]86 | i860 | m68k | m68000 | m88k | ns32k | arm \
835a3c4ddb13 [project @ 1995-09-26 08:56:31 by jwe]
jwe
parents: 1315
diff changeset
133 | arme[lb] | pyramid \
1057
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
134 | tron | a29k | 580 | i960 | h8300 | hppa1.0 | hppa1.1 \
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
135 | alpha | we32k | ns16k | clipper | sparclite | i370 | sh \
1480
835a3c4ddb13 [project @ 1995-09-26 08:56:31 by jwe]
jwe
parents: 1315
diff changeset
136 | powerpc | powerpcle | sparc64 | 1750a | dsp16xx | mips64 | mipsel \
1057
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
137 | pdp11 | mips64el | mips64orion | mips64orionel \
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
138 | sparc)
295
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
139 basic_machine=$basic_machine-unknown
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
140 ;;
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
141 # Object if more than one company name word.
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
142 *-*-*)
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
143 echo Invalid configuration \`$1\': machine \`$basic_machine\' not recognized 1>&2
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
144 exit 1
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
145 ;;
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
146 # Recognize the basic CPU types with company name.
1057
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
147 vax-* | tahoe-* | i[345]86-* | i860-* | m68k-* | m68000-* | m88k-* \
295
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
148 | sparc-* | ns32k-* | fx80-* | arm-* | c[123]* \
1480
835a3c4ddb13 [project @ 1995-09-26 08:56:31 by jwe]
jwe
parents: 1315
diff changeset
149 | mips-* | pyramid-* | tron-* | a29k-* | romp-* | rs6000-* | power-* \
1057
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
150 | none-* | 580-* | cray2-* | h8300-* | i960-* | xmp-* | ymp-* \
295
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
151 | hppa1.0-* | hppa1.1-* | alpha-* | we32k-* | cydra-* | ns16k-* \
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
152 | pn-* | np1-* | xps100-* | clipper-* | orion-* | sparclite-* \
1480
835a3c4ddb13 [project @ 1995-09-26 08:56:31 by jwe]
jwe
parents: 1315
diff changeset
153 | pdp11-* | sh-* | powerpc-* | powerpcle-* | sparc64-* | mips64-* | mipsel-* \
1057
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
154 | mips64el-* | mips64orion-* | mips64orionel-*)
295
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
155 ;;
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
156 # Recognize the various machine names and aliases which stand
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
157 # for a CPU type and a company and sometimes even an OS.
1057
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
158 3b1 | 7300 | 7300-att | att-7300 | pc7300 | safari | unixpc)
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
159 basic_machine=m68000-att
295
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
160 ;;
1057
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
161 3b*)
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
162 basic_machine=we32k-att
295
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
163 ;;
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
164 alliant | fx80)
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
165 basic_machine=fx80-alliant
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
166 ;;
1057
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
167 altos | altos3068)
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
168 basic_machine=m68k-altos
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
169 ;;
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
170 am29k)
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
171 basic_machine=a29k-none
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
172 os=-bsd
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
173 ;;
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
174 amdahl)
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
175 basic_machine=580-amdahl
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
176 os=-sysv
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
177 ;;
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
178 amiga | amiga-*)
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
179 basic_machine=m68k-cbm
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
180 ;;
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
181 amigados)
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
182 basic_machine=m68k-cbm
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
183 os=-amigados
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
184 ;;
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
185 amigaunix | amix)
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
186 basic_machine=m68k-cbm
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
187 os=-sysv4
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
188 ;;
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
189 apollo68)
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
190 basic_machine=m68k-apollo
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
191 os=-sysv
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
192 ;;
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
193 balance)
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
194 basic_machine=ns32k-sequent
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
195 os=-dynix
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
196 ;;
295
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
197 convex-c1)
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
198 basic_machine=c1-convex
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
199 os=-bsd
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
200 ;;
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
201 convex-c2)
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
202 basic_machine=c2-convex
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
203 os=-bsd
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
204 ;;
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
205 convex-c32)
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
206 basic_machine=c32-convex
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
207 os=-bsd
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
208 ;;
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
209 convex-c34)
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
210 basic_machine=c34-convex
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
211 os=-bsd
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
212 ;;
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
213 convex-c38)
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
214 basic_machine=c38-convex
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
215 os=-bsd
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
216 ;;
1057
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
217 cray | ymp)
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
218 basic_machine=ymp-cray
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
219 os=-unicos
295
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
220 ;;
1057
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
221 cray2)
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
222 basic_machine=cray2-cray
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
223 os=-unicos
295
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
224 ;;
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
225 crds | unos)
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
226 basic_machine=m68k-crds
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
227 ;;
1057
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
228 da30 | da30-*)
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
229 basic_machine=m68k-da30
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
230 ;;
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
231 decstation | decstation-3100 | pmax | pmax-* | pmin | dec3100 | decstatn)
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
232 basic_machine=mips-dec
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
233 ;;
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
234 delta | 3300 | motorola-3300 | motorola-delta \
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
235 | 3300-motorola | delta-motorola)
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
236 basic_machine=m68k-motorola
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
237 ;;
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
238 delta88)
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
239 basic_machine=m88k-motorola
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
240 os=-sysv3
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
241 ;;
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
242 dpx20 | dpx20-*)
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
243 basic_machine=rs6000-bull
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
244 os=-bosx
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
245 ;;
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
246 dpx2* | dpx2*-bull)
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
247 basic_machine=m68k-bull
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
248 os=-sysv3
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
249 ;;
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
250 ebmon29k)
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
251 basic_machine=a29k-amd
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
252 os=-ebmon
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
253 ;;
295
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
254 elxsi)
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
255 basic_machine=elxsi-elxsi
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
256 os=-bsd
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
257 ;;
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
258 encore | umax | mmax)
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
259 basic_machine=ns32k-encore
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
260 ;;
1057
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
261 fx2800)
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
262 basic_machine=i860-alliant
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
263 ;;
295
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
264 genix)
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
265 basic_machine=ns32k-ns
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
266 ;;
1057
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
267 gmicro)
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
268 basic_machine=tron-gmicro
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
269 os=-sysv
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
270 ;;
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
271 h3050r* | hiux*)
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
272 basic_machine=hppa1.1-hitachi
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
273 os=-hiuxwe2
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
274 ;;
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
275 h8300hms)
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
276 basic_machine=h8300-hitachi
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
277 os=-hms
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
278 ;;
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
279 harris)
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
280 basic_machine=m88k-harris
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
281 os=-sysv3
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
282 ;;
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
283 hp300-*)
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
284 basic_machine=m68k-hp
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
285 ;;
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
286 hp300bsd)
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
287 basic_machine=m68k-hp
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
288 os=-bsd
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
289 ;;
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
290 hp300hpux)
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
291 basic_machine=m68k-hp
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
292 os=-hpux
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
293 ;;
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
294 hp9k2[0-9][0-9] | hp9k31[0-9])
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
295 basic_machine=m68000-hp
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
296 ;;
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
297 hp9k3[2-9][0-9])
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
298 basic_machine=m68k-hp
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
299 ;;
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
300 hp9k7[0-9][0-9] | hp7[0-9][0-9] | hp9k8[0-9]7 | hp8[0-9]7)
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
301 basic_machine=hppa1.1-hp
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
302 ;;
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
303 hp9k8[0-9][0-9] | hp8[0-9][0-9])
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
304 basic_machine=hppa1.0-hp
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
305 ;;
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
306 i370-ibm* | ibm*)
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
307 basic_machine=i370-ibm
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
308 os=-mvs
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
309 ;;
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
310 # I'm not sure what "Sysv32" means. Should this be sysv3.2?
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
311 i[345]86v32)
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
312 basic_machine=`echo $1 | sed -e 's/86.*/86-unknown/'`
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
313 os=-sysv32
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
314 ;;
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
315 i[345]86v4*)
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
316 basic_machine=`echo $1 | sed -e 's/86.*/86-unknown/'`
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
317 os=-sysv4
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
318 ;;
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
319 i[345]86v)
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
320 basic_machine=`echo $1 | sed -e 's/86.*/86-unknown/'`
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
321 os=-sysv
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
322 ;;
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
323 i[345]86sol2)
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
324 basic_machine=`echo $1 | sed -e 's/86.*/86-unknown/'`
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
325 os=-solaris2
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
326 ;;
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
327 iris | iris4d)
295
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
328 basic_machine=mips-sgi
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
329 case $os in
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
330 -irix*)
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
331 ;;
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
332 *)
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
333 os=-irix4
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
334 ;;
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
335 esac
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
336 ;;
1057
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
337 isi68 | isi)
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
338 basic_machine=m68k-isi
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
339 os=-sysv
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
340 ;;
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
341 m88k-omron*)
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
342 basic_machine=m88k-omron
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
343 ;;
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
344 magnum | m3230)
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
345 basic_machine=mips-mips
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
346 os=-sysv
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
347 ;;
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
348 merlin)
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
349 basic_machine=ns32k-utek
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
350 os=-sysv
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
351 ;;
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
352 miniframe)
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
353 basic_machine=m68000-convergent
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
354 ;;
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
355 mips3*-*)
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
356 basic_machine=`echo $basic_machine | sed -e 's/mips3/mips64/'`
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
357 ;;
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
358 mips3*)
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
359 basic_machine=`echo $basic_machine | sed -e 's/mips3/mips64/'`-unknown
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
360 ;;
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
361 ncr3000)
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
362 basic_machine=i486-ncr
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
363 os=-sysv4
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
364 ;;
295
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
365 news | news700 | news800 | news900)
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
366 basic_machine=m68k-sony
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
367 os=-newsos
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
368 ;;
1057
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
369 news1000)
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
370 basic_machine=m68030-sony
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
371 os=-newsos
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
372 ;;
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
373 news-3600 | risc-news)
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
374 basic_machine=mips-sony
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
375 os=-newsos
295
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
376 ;;
1057
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
377 next | m*-next )
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
378 basic_machine=m68k-next
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
379 case $os in
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
380 -nextstep* )
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
381 ;;
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
382 -ns2*)
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
383 os=-nextstep2
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
384 ;;
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
385 *)
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
386 os=-nextstep3
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
387 ;;
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
388 esac
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
389 ;;
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
390 nh3000)
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
391 basic_machine=m68k-harris
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
392 os=-cxux
295
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
393 ;;
1057
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
394 nh[45]000)
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
395 basic_machine=m88k-harris
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
396 os=-cxux
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
397 ;;
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
398 nindy960)
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
399 basic_machine=i960-intel
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
400 os=-nindy
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
401 ;;
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
402 np1)
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
403 basic_machine=np1-gould
295
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
404 ;;
1057
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
405 pa-hitachi)
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
406 basic_machine=hppa1.1-hitachi
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
407 os=-hiuxwe2
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
408 ;;
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
409 paragon)
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
410 basic_machine=i860-intel
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
411 os=-osf
295
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
412 ;;
1057
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
413 pbd)
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
414 basic_machine=sparc-tti
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
415 ;;
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
416 pbb)
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
417 basic_machine=m68k-tti
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
418 ;;
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
419 pc532 | pc532-*)
295
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
420 basic_machine=ns32k-pc532
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
421 ;;
1480
835a3c4ddb13 [project @ 1995-09-26 08:56:31 by jwe]
jwe
parents: 1315
diff changeset
422 pentium | p5 | p6)
835a3c4ddb13 [project @ 1995-09-26 08:56:31 by jwe]
jwe
parents: 1315
diff changeset
423 # We don't have specific support for the Intel Pentium (p6) followon yet, so just call it a Pentium
835a3c4ddb13 [project @ 1995-09-26 08:56:31 by jwe]
jwe
parents: 1315
diff changeset
424 basic_machine=i586-intel
835a3c4ddb13 [project @ 1995-09-26 08:56:31 by jwe]
jwe
parents: 1315
diff changeset
425 ;;
835a3c4ddb13 [project @ 1995-09-26 08:56:31 by jwe]
jwe
parents: 1315
diff changeset
426 pentium-* | p5-* | p6-*)
835a3c4ddb13 [project @ 1995-09-26 08:56:31 by jwe]
jwe
parents: 1315
diff changeset
427 # We don't have specific support for the Intel Pentium (p6) followon yet, so just call it a Pentium
835a3c4ddb13 [project @ 1995-09-26 08:56:31 by jwe]
jwe
parents: 1315
diff changeset
428 basic_machine=i586-`echo $basic_machine | sed 's/^[^-]*-//'`
835a3c4ddb13 [project @ 1995-09-26 08:56:31 by jwe]
jwe
parents: 1315
diff changeset
429 ;;
835a3c4ddb13 [project @ 1995-09-26 08:56:31 by jwe]
jwe
parents: 1315
diff changeset
430 k5)
835a3c4ddb13 [project @ 1995-09-26 08:56:31 by jwe]
jwe
parents: 1315
diff changeset
431 # We don't have specific support for AMD's K5 yet, so just call it a Pentium
835a3c4ddb13 [project @ 1995-09-26 08:56:31 by jwe]
jwe
parents: 1315
diff changeset
432 basic_machine=i586-amd
835a3c4ddb13 [project @ 1995-09-26 08:56:31 by jwe]
jwe
parents: 1315
diff changeset
433 ;;
835a3c4ddb13 [project @ 1995-09-26 08:56:31 by jwe]
jwe
parents: 1315
diff changeset
434 nexen)
835a3c4ddb13 [project @ 1995-09-26 08:56:31 by jwe]
jwe
parents: 1315
diff changeset
435 # We don't have specific support for Nexgen yet, so just call it a Pentium
835a3c4ddb13 [project @ 1995-09-26 08:56:31 by jwe]
jwe
parents: 1315
diff changeset
436 basic_machine=i586-nexgen
1057
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
437 ;;
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
438 pn)
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
439 basic_machine=pn-gould
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
440 ;;
1480
835a3c4ddb13 [project @ 1995-09-26 08:56:31 by jwe]
jwe
parents: 1315
diff changeset
441 power) basic_machine=rs6000-ibm
835a3c4ddb13 [project @ 1995-09-26 08:56:31 by jwe]
jwe
parents: 1315
diff changeset
442 ;;
835a3c4ddb13 [project @ 1995-09-26 08:56:31 by jwe]
jwe
parents: 1315
diff changeset
443 ppc) basic_machine=powerpc-unknown
835a3c4ddb13 [project @ 1995-09-26 08:56:31 by jwe]
jwe
parents: 1315
diff changeset
444 ;;
835a3c4ddb13 [project @ 1995-09-26 08:56:31 by jwe]
jwe
parents: 1315
diff changeset
445 ppc-*) basic_machine=powerpc-`echo $basic_machine | sed 's/^[^-]*-//'`
835a3c4ddb13 [project @ 1995-09-26 08:56:31 by jwe]
jwe
parents: 1315
diff changeset
446 ;;
835a3c4ddb13 [project @ 1995-09-26 08:56:31 by jwe]
jwe
parents: 1315
diff changeset
447 ppcle | powerpclittle | ppc-le | powerpc-little)
835a3c4ddb13 [project @ 1995-09-26 08:56:31 by jwe]
jwe
parents: 1315
diff changeset
448 basic_machine=powerpcle-unknown
835a3c4ddb13 [project @ 1995-09-26 08:56:31 by jwe]
jwe
parents: 1315
diff changeset
449 ;;
835a3c4ddb13 [project @ 1995-09-26 08:56:31 by jwe]
jwe
parents: 1315
diff changeset
450 ppcle-* | powerpclittle-*)
835a3c4ddb13 [project @ 1995-09-26 08:56:31 by jwe]
jwe
parents: 1315
diff changeset
451 basic_machine=powerpcle-`echo $basic_machine | sed 's/^[^-]*-//'`
835a3c4ddb13 [project @ 1995-09-26 08:56:31 by jwe]
jwe
parents: 1315
diff changeset
452 ;;
1057
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
453 ps2)
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
454 basic_machine=i386-ibm
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
455 ;;
1480
835a3c4ddb13 [project @ 1995-09-26 08:56:31 by jwe]
jwe
parents: 1315
diff changeset
456 rm[46]00)
835a3c4ddb13 [project @ 1995-09-26 08:56:31 by jwe]
jwe
parents: 1315
diff changeset
457 basic_machine=mips-siemens
835a3c4ddb13 [project @ 1995-09-26 08:56:31 by jwe]
jwe
parents: 1315
diff changeset
458 ;;
1057
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
459 rtpc | rtpc-*)
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
460 basic_machine=romp-ibm
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
461 ;;
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
462 sequent)
295
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
463 basic_machine=i386-sequent
1057
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
464 ;;
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
465 sh)
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
466 basic_machine=sh-hitachi
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
467 os=-hms
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
468 ;;
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
469 sps7)
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
470 basic_machine=m68k-bull
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
471 os=-sysv2
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
472 ;;
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
473 spur)
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
474 basic_machine=spur-unknown
295
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
475 ;;
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
476 sun2)
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
477 basic_machine=m68000-sun
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
478 ;;
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
479 sun2os3)
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
480 basic_machine=m68000-sun
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
481 os=-sunos3
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
482 ;;
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
483 sun2os4)
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
484 basic_machine=m68000-sun
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
485 os=-sunos4
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
486 ;;
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
487 sun3os3)
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
488 basic_machine=m68k-sun
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
489 os=-sunos3
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
490 ;;
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
491 sun3os4)
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
492 basic_machine=m68k-sun
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
493 os=-sunos4
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
494 ;;
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
495 sun4os3)
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
496 basic_machine=sparc-sun
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
497 os=-sunos3
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
498 ;;
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
499 sun4os4)
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
500 basic_machine=sparc-sun
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
501 os=-sunos4
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
502 ;;
1480
835a3c4ddb13 [project @ 1995-09-26 08:56:31 by jwe]
jwe
parents: 1315
diff changeset
503 sun4sol2)
835a3c4ddb13 [project @ 1995-09-26 08:56:31 by jwe]
jwe
parents: 1315
diff changeset
504 basic_machine=sparc-sun
835a3c4ddb13 [project @ 1995-09-26 08:56:31 by jwe]
jwe
parents: 1315
diff changeset
505 os=-solaris2
835a3c4ddb13 [project @ 1995-09-26 08:56:31 by jwe]
jwe
parents: 1315
diff changeset
506 ;;
1057
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
507 sun3 | sun3-*)
295
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
508 basic_machine=m68k-sun
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
509 ;;
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
510 sun4)
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
511 basic_machine=sparc-sun
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
512 ;;
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
513 sun386 | sun386i | roadrunner)
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
514 basic_machine=i386-sun
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
515 ;;
1057
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
516 symmetry)
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
517 basic_machine=i386-sequent
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
518 os=-dynix
295
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
519 ;;
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
520 tower | tower-32)
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
521 basic_machine=m68k-ncr
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
522 ;;
1057
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
523 udi29k)
295
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
524 basic_machine=a29k-amd
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
525 os=-udi
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
526 ;;
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
527 ultra3)
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
528 basic_machine=a29k-nyu
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
529 os=-sym1
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
530 ;;
1057
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
531 vaxv)
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
532 basic_machine=vax-dec
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
533 os=-sysv
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
534 ;;
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
535 vms)
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
536 basic_machine=vax-dec
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
537 os=-vms
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
538 ;;
295
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
539 vxworks960)
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
540 basic_machine=i960-wrs
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
541 os=-vxworks
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
542 ;;
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
543 vxworks68)
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
544 basic_machine=m68k-wrs
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
545 os=-vxworks
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
546 ;;
1480
835a3c4ddb13 [project @ 1995-09-26 08:56:31 by jwe]
jwe
parents: 1315
diff changeset
547 vxworks29k)
835a3c4ddb13 [project @ 1995-09-26 08:56:31 by jwe]
jwe
parents: 1315
diff changeset
548 basic_machine=a29k-wrs
835a3c4ddb13 [project @ 1995-09-26 08:56:31 by jwe]
jwe
parents: 1315
diff changeset
549 os=-vxworks
835a3c4ddb13 [project @ 1995-09-26 08:56:31 by jwe]
jwe
parents: 1315
diff changeset
550 ;;
1057
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
551 xmp)
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
552 basic_machine=xmp-cray
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
553 os=-unicos
295
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
554 ;;
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
555 xps | xps100)
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
556 basic_machine=xps100-honeywell
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
557 ;;
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
558 none)
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
559 basic_machine=none-none
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
560 os=-none
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
561 ;;
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
562
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
563 # Here we handle the default manufacturer of certain CPU types. It is in
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
564 # some cases the only manufacturer, in others, it is the most popular.
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
565 mips)
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
566 basic_machine=mips-mips
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
567 ;;
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
568 romp)
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
569 basic_machine=romp-ibm
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
570 ;;
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
571 rs6000)
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
572 basic_machine=rs6000-ibm
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
573 ;;
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
574 vax)
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
575 basic_machine=vax-dec
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
576 ;;
1057
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
577 pdp11)
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
578 basic_machine=pdp11-dec
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
579 ;;
295
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
580 we32k)
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
581 basic_machine=we32k-att
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
582 ;;
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
583 sparc)
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
584 basic_machine=sparc-sun
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
585 ;;
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
586 cydra)
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
587 basic_machine=cydra-cydrome
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
588 ;;
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
589 orion)
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
590 basic_machine=orion-highlevel
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
591 ;;
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
592 orion105)
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
593 basic_machine=clipper-highlevel
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
594 ;;
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
595 *)
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
596 echo Invalid configuration \`$1\': machine \`$basic_machine\' not recognized 1>&2
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
597 exit 1
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
598 ;;
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
599 esac
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
600
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
601 # Here we canonicalize certain aliases for manufacturers.
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
602 case $basic_machine in
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
603 *-digital*)
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
604 basic_machine=`echo $basic_machine | sed 's/digital.*/dec/'`
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
605 ;;
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
606 *-commodore*)
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
607 basic_machine=`echo $basic_machine | sed 's/commodore.*/cbm/'`
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
608 ;;
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
609 *)
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
610 ;;
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
611 esac
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
612
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
613 # Decode manufacturer-specific aliases for certain operating systems.
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
614
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
615 if [ x"$os" != x"" ]
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
616 then
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
617 case $os in
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
618 # -solaris* is a basic system type, with this one exception.
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
619 -solaris1 | -solaris1.*)
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
620 os=`echo $os | sed -e 's|solaris1|sunos4|'`
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
621 ;;
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
622 -solaris)
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
623 os=-solaris2
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
624 ;;
1480
835a3c4ddb13 [project @ 1995-09-26 08:56:31 by jwe]
jwe
parents: 1315
diff changeset
625 -unixware* | svr4*)
835a3c4ddb13 [project @ 1995-09-26 08:56:31 by jwe]
jwe
parents: 1315
diff changeset
626 os=-sysv4
835a3c4ddb13 [project @ 1995-09-26 08:56:31 by jwe]
jwe
parents: 1315
diff changeset
627 ;;
1057
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
628 -gnu/linux*)
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
629 os=`echo $os | sed -e 's|gnu/linux|linux|'`
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
630 ;;
295
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
631 # First accept the basic system types.
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
632 # The portable systems comes first.
1480
835a3c4ddb13 [project @ 1995-09-26 08:56:31 by jwe]
jwe
parents: 1315
diff changeset
633 # Each alternative MUST END IN A *, to match a version number.
295
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
634 # -sysv* is not here because it comes later, after sysvr4.
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
635 -gnu* | -bsd* | -mach* | -minix* | -genix* | -ultrix* | -irix* \
1057
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
636 | -vms* | -sco* | -esix* | -isc* | -aix* | -sunos | -sunos[345]* \
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
637 | -hpux* | -unos* | -osf* | -luna* | -dgux* | -solaris* | -sym* \
295
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
638 | -amigados* | -msdos* | -newsos* | -unicos* | -aos* \
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
639 | -nindy* | -vxworks* | -ebmon* | -hms* | -mvs* | -clix* \
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
640 | -riscos* | -linux* | -uniplus* | -iris* | -rtu* | -xenix* \
1057
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
641 | -hiux* | -386bsd* | -netbsd* | -freebsd* | -riscix* \
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
642 | -lynxos* | -bosx* | -nextstep* | -cxux* | -aout* | -elf* \
1480
835a3c4ddb13 [project @ 1995-09-26 08:56:31 by jwe]
jwe
parents: 1315
diff changeset
643 | -ptx* | -coff* | -ecoff* | -winnt* | -domain* | -vsta* \
835a3c4ddb13 [project @ 1995-09-26 08:56:31 by jwe]
jwe
parents: 1315
diff changeset
644 | -udi* | -eabi* | -lites* )
835a3c4ddb13 [project @ 1995-09-26 08:56:31 by jwe]
jwe
parents: 1315
diff changeset
645 # Remember, each alternative MUST END IN *, to match a version number.
1057
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
646 ;;
295
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
647 -sunos5*)
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
648 os=`echo $os | sed -e 's|sunos5|solaris2|'`
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
649 ;;
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
650 -sunos6*)
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
651 os=`echo $os | sed -e 's|sunos6|solaris3|'`
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
652 ;;
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
653 -osfrose*)
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
654 os=-osfrose
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
655 ;;
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
656 -osf*)
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
657 os=-osf
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
658 ;;
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
659 -utek*)
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
660 os=-bsd
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
661 ;;
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
662 -dynix*)
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
663 os=-bsd
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
664 ;;
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
665 -acis*)
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
666 os=-aos
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
667 ;;
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
668 -ctix* | -uts*)
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
669 os=-sysv
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
670 ;;
1480
835a3c4ddb13 [project @ 1995-09-26 08:56:31 by jwe]
jwe
parents: 1315
diff changeset
671 # Preserve the version number of sinix5.
835a3c4ddb13 [project @ 1995-09-26 08:56:31 by jwe]
jwe
parents: 1315
diff changeset
672 -sinix5.*)
835a3c4ddb13 [project @ 1995-09-26 08:56:31 by jwe]
jwe
parents: 1315
diff changeset
673 os=`echo $os | sed -e 's|sinix|sysv|'`
835a3c4ddb13 [project @ 1995-09-26 08:56:31 by jwe]
jwe
parents: 1315
diff changeset
674 ;;
835a3c4ddb13 [project @ 1995-09-26 08:56:31 by jwe]
jwe
parents: 1315
diff changeset
675 -sinix*)
835a3c4ddb13 [project @ 1995-09-26 08:56:31 by jwe]
jwe
parents: 1315
diff changeset
676 os=-sysv4
835a3c4ddb13 [project @ 1995-09-26 08:56:31 by jwe]
jwe
parents: 1315
diff changeset
677 ;;
295
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
678 -triton*)
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
679 os=-sysv3
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
680 ;;
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
681 -oss*)
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
682 os=-sysv3
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
683 ;;
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
684 -svr4)
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
685 os=-sysv4
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
686 ;;
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
687 -svr3)
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
688 os=-sysv3
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
689 ;;
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
690 -sysvr4)
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
691 os=-sysv4
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
692 ;;
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
693 # This must come after -sysvr4.
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
694 -sysv*)
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
695 ;;
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
696 -xenix)
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
697 os=-xenix
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
698 ;;
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
699 -none)
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
700 ;;
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
701 *)
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
702 # Get rid of the `-' at the beginning of $os.
1057
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
703 os=`echo $os | sed 's/[^-]*-//'`
295
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
704 echo Invalid configuration \`$1\': system \`$os\' not recognized 1>&2
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
705 exit 1
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
706 ;;
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
707 esac
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
708 else
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
709
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
710 # Here we handle the default operating systems that come with various machines.
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
711 # The value should be what the vendor currently ships out the door with their
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
712 # machine or put another way, the most popular os provided with the machine.
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
713
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
714 # Note that if you're going to try to match "-MANUFACTURER" here (say,
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
715 # "-sun"), then you have to tell the case statement up towards the top
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
716 # that MANUFACTURER isn't an operating system. Otherwise, code above
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
717 # will signal an error saying that MANUFACTURER isn't an operating
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
718 # system, and we'll never get to this point.
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
719
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
720 case $basic_machine in
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
721 *-acorn)
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
722 os=-riscix1.2
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
723 ;;
1480
835a3c4ddb13 [project @ 1995-09-26 08:56:31 by jwe]
jwe
parents: 1315
diff changeset
724 arm*-semi)
835a3c4ddb13 [project @ 1995-09-26 08:56:31 by jwe]
jwe
parents: 1315
diff changeset
725 os=-aout
835a3c4ddb13 [project @ 1995-09-26 08:56:31 by jwe]
jwe
parents: 1315
diff changeset
726 ;;
1057
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
727 pdp11-*)
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
728 os=-none
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
729 ;;
295
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
730 *-dec | vax-*)
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
731 os=-ultrix4.2
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
732 ;;
1057
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
733 m68*-apollo)
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
734 os=-domain
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
735 ;;
295
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
736 i386-sun)
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
737 os=-sunos4.0.2
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
738 ;;
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
739 m68000-sun)
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
740 os=-sunos3
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
741 # This also exists in the configure program, but was not the
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
742 # default.
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
743 # os=-sunos4
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
744 ;;
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
745 *-tti) # must be before sparc entry or we get the wrong os.
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
746 os=-sysv3
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
747 ;;
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
748 sparc-* | *-sun)
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
749 os=-sunos4.1.1
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
750 ;;
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
751 *-ibm)
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
752 os=-aix
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
753 ;;
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
754 *-hp)
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
755 os=-hpux
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
756 ;;
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
757 *-hitachi)
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
758 os=-hiux
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
759 ;;
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
760 i860-* | *-att | *-ncr | *-altos | *-motorola | *-convergent)
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
761 os=-sysv
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
762 ;;
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
763 *-cbm)
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
764 os=-amigados
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
765 ;;
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
766 *-dg)
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
767 os=-dgux
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
768 ;;
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
769 *-dolphin)
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
770 os=-sysv3
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
771 ;;
1057
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
772 m68k-ccur)
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
773 os=-rtu
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
774 ;;
295
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
775 m88k-omron*)
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
776 os=-luna
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
777 ;;
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
778 *-sequent)
1057
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
779 os=-ptx
295
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
780 ;;
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
781 *-crds)
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
782 os=-unos
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
783 ;;
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
784 *-ns)
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
785 os=-genix
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
786 ;;
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
787 i370-*)
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
788 os=-mvs
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
789 ;;
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
790 *-next)
1057
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
791 os=-nextstep3
295
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
792 ;;
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
793 *-gould)
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
794 os=-sysv
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
795 ;;
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
796 *-highlevel)
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
797 os=-bsd
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
798 ;;
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
799 *-encore)
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
800 os=-bsd
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
801 ;;
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
802 *-sgi)
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
803 os=-irix
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
804 ;;
1480
835a3c4ddb13 [project @ 1995-09-26 08:56:31 by jwe]
jwe
parents: 1315
diff changeset
805 *-siemens)
835a3c4ddb13 [project @ 1995-09-26 08:56:31 by jwe]
jwe
parents: 1315
diff changeset
806 os=-sysv4
835a3c4ddb13 [project @ 1995-09-26 08:56:31 by jwe]
jwe
parents: 1315
diff changeset
807 ;;
295
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
808 *-masscomp)
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
809 os=-rtu
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
810 ;;
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
811 *)
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
812 os=-none
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
813 ;;
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
814 esac
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
815 fi
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
816
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
817 # Here we handle the case where we know the os, and the CPU type, but not the
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
818 # manufacturer. We pick the logical manufacturer.
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
819 vendor=unknown
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
820 case $basic_machine in
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
821 *-unknown)
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
822 case $os in
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
823 -riscix*)
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
824 vendor=acorn
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
825 ;;
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
826 -sunos*)
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
827 vendor=sun
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
828 ;;
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
829 -lynxos*)
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
830 vendor=lynx
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
831 ;;
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
832 -aix*)
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
833 vendor=ibm
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
834 ;;
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
835 -hpux*)
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
836 vendor=hp
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
837 ;;
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
838 -hiux*)
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
839 vendor=hitachi
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
840 ;;
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
841 -unos*)
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
842 vendor=crds
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
843 ;;
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
844 -dgux*)
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
845 vendor=dg
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
846 ;;
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
847 -luna*)
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
848 vendor=omron
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
849 ;;
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
850 -genix*)
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
851 vendor=ns
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
852 ;;
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
853 -mvs*)
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
854 vendor=ibm
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
855 ;;
1057
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
856 -ptx*)
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
857 vendor=sequent
295
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
858 ;;
1057
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
859 -vxworks*)
d94193f2620c [project @ 1995-01-20 22:32:28 by jwe]
jwe
parents: 295
diff changeset
860 vendor=wrs
295
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
861 ;;
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
862 esac
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
863 basic_machine=`echo $basic_machine | sed "s/unknown/$vendor/"`
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
864 ;;
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
865 esac
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
866
515d970bb456 [project @ 1994-01-16 01:20:45 by jwe]
jwe
parents:
diff changeset
867 echo $basic_machine$os