Mercurial > emacs
annotate config.sub @ 7634:6839ecdf2a1c
(rmail-spool-directory): Maybe use /var/mail.
author | Richard M. Stallman <rms@gnu.org> |
---|---|
date | Sun, 22 May 1994 20:36:53 +0000 |
parents | 9c97c94610f2 |
children | 4d8abd0e1acb |
rev | line source |
---|---|
576 | 1 #!/bin/sh |
653
f3531d3d57c9
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
652
diff
changeset
|
2 # Configuration validation subroutine script, version 1.1. |
5576 | 3 # Copyright (C) 1991, 1992, 1993, 1994 Free Software Foundation, Inc. |
645
57295fc40ac3
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
631
diff
changeset
|
4 # This file is (in principle) common to ALL GNU software. |
57295fc40ac3
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
631
diff
changeset
|
5 # The presence of a machine in this file suggests that SOME GNU software |
57295fc40ac3
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
631
diff
changeset
|
6 # can handle that machine. It does not imply ALL GNU software can. |
576 | 7 |
8 #This file is free software; you can redistribute it and/or modify | |
9 #it under the terms of the GNU General Public License as published by | |
10 #the Free Software Foundation; either version 2 of the License, or | |
11 #(at your option) any later version. | |
12 | |
13 #This program is distributed in the hope that it will be useful, | |
14 #but WITHOUT ANY WARRANTY; without even the implied warranty of | |
15 #MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the | |
16 #GNU General Public License for more details. | |
17 | |
18 #You should have received a copy of the GNU General Public License | |
19 #along with this program; if not, write to the Free Software | |
20 #Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139, USA. | |
21 | |
22 | |
23 # Configuration subroutine to validate and canonicalize a configuration type. | |
24 # Supply the specified configuration type as an argument. | |
25 # If it is invalid, we print an error message on stderr and exit with code 1. | |
26 # Otherwise, we print the canonical config type on stdout and succeed. | |
27 | |
28 # This file is supposed to be the same for all GNU packages | |
29 # and recognize all the CPU types, system types and aliases | |
30 # that are meaningful with *any* GNU software. | |
31 # Each package is responsible for reporting which valid configurations | |
32 # it does not support. The user should be able to distinguish | |
33 # a failure to support a valid configuration from a meaningless | |
34 # configuration. | |
35 | |
36 # The goal of this file is to map all the various variations of a given | |
37 # machine specification into a single specification in the form: | |
38 # CPU_TYPE-MANUFACTURER-OPERATING_SYSTEM | |
1631
9c52fcf232bf
Fri Nov 20 05:24:16 1992 Jim Blandy (jimb@totoro.cs.oberlin.edu)
Jim Blandy <jimb@redhat.com>
parents:
1627
diff
changeset
|
39 # It is wrong to echo any other type of specification. |
576 | 40 |
41 # First pass through any local machine types. | |
42 case $1 in | |
43 *local*) | |
44 echo $1 | |
45 exit 0 | |
46 ;; | |
47 *) | |
48 ;; | |
49 esac | |
50 | |
51 # Separate what the user gave into CPU-COMPANY and OS (if any). | |
52 basic_machine=`echo $1 | sed 's/-[^-]*$//'` | |
53 if [ $basic_machine != $1 ] | |
54 then os=`echo $1 | sed 's/.*-/-/'` | |
55 else os=; fi | |
56 | |
1631
9c52fcf232bf
Fri Nov 20 05:24:16 1992 Jim Blandy (jimb@totoro.cs.oberlin.edu)
Jim Blandy <jimb@redhat.com>
parents:
1627
diff
changeset
|
57 ### Let's recognize common machines as not being operating systems so |
9c52fcf232bf
Fri Nov 20 05:24:16 1992 Jim Blandy (jimb@totoro.cs.oberlin.edu)
Jim Blandy <jimb@redhat.com>
parents:
1627
diff
changeset
|
58 ### that things like config.sub decstation-3100 work. We also |
9c52fcf232bf
Fri Nov 20 05:24:16 1992 Jim Blandy (jimb@totoro.cs.oberlin.edu)
Jim Blandy <jimb@redhat.com>
parents:
1627
diff
changeset
|
59 ### recognize some manufacturers as not being operating systems, so we |
9c52fcf232bf
Fri Nov 20 05:24:16 1992 Jim Blandy (jimb@totoro.cs.oberlin.edu)
Jim Blandy <jimb@redhat.com>
parents:
1627
diff
changeset
|
60 ### can provide default operating systems below. |
576 | 61 case $os in |
1961
eeb000068cc8
Error if company name is more than one word.
Richard M. Stallman <rms@gnu.org>
parents:
1852
diff
changeset
|
62 -sun*os*) |
eeb000068cc8
Error if company name is more than one word.
Richard M. Stallman <rms@gnu.org>
parents:
1852
diff
changeset
|
63 # Prevent following clause from handling this invalid input. |
eeb000068cc8
Error if company name is more than one word.
Richard M. Stallman <rms@gnu.org>
parents:
1852
diff
changeset
|
64 ;; |
576 | 65 -dec* | -mips* | -sequent* | -encore* | -pc532* | -sgi* | -sony* | \ |
66 -att* | -7300* | -3300* | -delta* | -motorola* | -sun[234]* | \ | |
67 -unicom* | -ibm* | -next* | -hp | -isi* | -apollo | -altos* | \ | |
4902
a8a03a975fe8
Re-add hitachi to list of companies not to treat as OS names.
Richard M. Stallman <rms@gnu.org>
parents:
4901
diff
changeset
|
68 -convergent* | -ncr* | -news | -32* | -3600* | -3100* | -hitachi* |\ |
576 | 69 -c[123]* | -convex* | -sun | -crds | -omron* | -dg | -ultra | -tti* | \ |
1631
9c52fcf232bf
Fri Nov 20 05:24:16 1992 Jim Blandy (jimb@totoro.cs.oberlin.edu)
Jim Blandy <jimb@redhat.com>
parents:
1627
diff
changeset
|
70 -harris | -dolphin | -highlevel | -gould | -cbm | -ns | -masscomp ) |
576 | 71 os= |
72 basic_machine=$1 | |
73 ;; | |
4901 | 74 -hiux*) |
5576 | 75 os=-hiuxwe2 |
4901 | 76 ;; |
3904
6c98b9e2a213
Canonicalize -sco4 and -sco3.2.4 to -sco3.2v4.
Richard M. Stallman <rms@gnu.org>
parents:
3896
diff
changeset
|
77 -sco4) |
6c98b9e2a213
Canonicalize -sco4 and -sco3.2.4 to -sco3.2v4.
Richard M. Stallman <rms@gnu.org>
parents:
3896
diff
changeset
|
78 os=-sco3.2v4 |
6c98b9e2a213
Canonicalize -sco4 and -sco3.2.4 to -sco3.2v4.
Richard M. Stallman <rms@gnu.org>
parents:
3896
diff
changeset
|
79 basic_machine=`echo $1 | sed -e 's/86-.*/86-unknown/'` |
6c98b9e2a213
Canonicalize -sco4 and -sco3.2.4 to -sco3.2v4.
Richard M. Stallman <rms@gnu.org>
parents:
3896
diff
changeset
|
80 ;; |
6c98b9e2a213
Canonicalize -sco4 and -sco3.2.4 to -sco3.2v4.
Richard M. Stallman <rms@gnu.org>
parents:
3896
diff
changeset
|
81 -sco3.2.[4-9]*) |
6c98b9e2a213
Canonicalize -sco4 and -sco3.2.4 to -sco3.2v4.
Richard M. Stallman <rms@gnu.org>
parents:
3896
diff
changeset
|
82 os=`echo $os | sed -e 's/sco3.2./sco3.2v/'` |
6c98b9e2a213
Canonicalize -sco4 and -sco3.2.4 to -sco3.2v4.
Richard M. Stallman <rms@gnu.org>
parents:
3896
diff
changeset
|
83 basic_machine=`echo $1 | sed -e 's/86-.*/86-unknown/'` |
6c98b9e2a213
Canonicalize -sco4 and -sco3.2.4 to -sco3.2v4.
Richard M. Stallman <rms@gnu.org>
parents:
3896
diff
changeset
|
84 ;; |
1545
9ff238dd8a35
Don't discard SCO version number if it's 3.2v4.
Richard M. Stallman <rms@gnu.org>
parents:
1415
diff
changeset
|
85 -sco3.2v[4-9]*) |
9ff238dd8a35
Don't discard SCO version number if it's 3.2v4.
Richard M. Stallman <rms@gnu.org>
parents:
1415
diff
changeset
|
86 # Don't forget version if it is 3.2v4 or newer. |
1735
5032e4faca19
($os alternatives for sco and isc): Preserve the specified os version if any.
Richard M. Stallman <rms@gnu.org>
parents:
1732
diff
changeset
|
87 basic_machine=`echo $1 | sed -e 's/86-.*/86-unknown/'` |
1545
9ff238dd8a35
Don't discard SCO version number if it's 3.2v4.
Richard M. Stallman <rms@gnu.org>
parents:
1415
diff
changeset
|
88 ;; |
576 | 89 -sco*) |
646
e283d4164aca
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
645
diff
changeset
|
90 os=-sco3.2v2 |
1735
5032e4faca19
($os alternatives for sco and isc): Preserve the specified os version if any.
Richard M. Stallman <rms@gnu.org>
parents:
1732
diff
changeset
|
91 basic_machine=`echo $1 | sed -e 's/86-.*/86-unknown/'` |
576 | 92 ;; |
1631
9c52fcf232bf
Fri Nov 20 05:24:16 1992 Jim Blandy (jimb@totoro.cs.oberlin.edu)
Jim Blandy <jimb@redhat.com>
parents:
1627
diff
changeset
|
93 -isc) |
9c52fcf232bf
Fri Nov 20 05:24:16 1992 Jim Blandy (jimb@totoro.cs.oberlin.edu)
Jim Blandy <jimb@redhat.com>
parents:
1627
diff
changeset
|
94 os=-isc2.2 |
1735
5032e4faca19
($os alternatives for sco and isc): Preserve the specified os version if any.
Richard M. Stallman <rms@gnu.org>
parents:
1732
diff
changeset
|
95 basic_machine=`echo $1 | sed -e 's/86-.*/86-unknown/'` |
1631
9c52fcf232bf
Fri Nov 20 05:24:16 1992 Jim Blandy (jimb@totoro.cs.oberlin.edu)
Jim Blandy <jimb@redhat.com>
parents:
1627
diff
changeset
|
96 ;; |
2344
d21c82eba8ab
Default to clipper-intergraph if system is clix.
Richard M. Stallman <rms@gnu.org>
parents:
2204
diff
changeset
|
97 -clix*) |
d21c82eba8ab
Default to clipper-intergraph if system is clix.
Richard M. Stallman <rms@gnu.org>
parents:
2204
diff
changeset
|
98 basic_machine=clipper-intergraph |
d21c82eba8ab
Default to clipper-intergraph if system is clix.
Richard M. Stallman <rms@gnu.org>
parents:
2204
diff
changeset
|
99 ;; |
576 | 100 -isc*) |
1735
5032e4faca19
($os alternatives for sco and isc): Preserve the specified os version if any.
Richard M. Stallman <rms@gnu.org>
parents:
1732
diff
changeset
|
101 basic_machine=`echo $1 | sed -e 's/86-.*/86-unknown/'` |
576 | 102 ;; |
4204 | 103 -lynx) |
104 os=-lynxos | |
105 ;; | |
576 | 106 esac |
107 | |
108 # Decode aliases for certain CPU-COMPANY combinations. | |
109 case $basic_machine in | |
4829 | 110 # Recognize the basic CPU types without company name. |
576 | 111 # Some are omitted here because they have special meanings below. |
589
03fd51103bc3
*** empty log message ***
Michael Meissner <gnu@the-meissners.org>
parents:
576
diff
changeset
|
112 tahoe | i[34]86 | i860 | m68k | m68000 | m88k | ns32k | arm | pyramid \ |
993 | 113 | tron | a29k | 580 | i960 | h8300 | hppa1.0 | hppa1.1 \ |
4859 | 114 | alpha | we32k | ns16k | clipper | sparclite | i370 | sh \ |
115 | powerpc) | |
576 | 116 basic_machine=$basic_machine-unknown |
117 ;; | |
1961
eeb000068cc8
Error if company name is more than one word.
Richard M. Stallman <rms@gnu.org>
parents:
1852
diff
changeset
|
118 # Object if more than one company name word. |
eeb000068cc8
Error if company name is more than one word.
Richard M. Stallman <rms@gnu.org>
parents:
1852
diff
changeset
|
119 *-*-*) |
eeb000068cc8
Error if company name is more than one word.
Richard M. Stallman <rms@gnu.org>
parents:
1852
diff
changeset
|
120 echo Invalid configuration \`$1\': machine \`$basic_machine\' not recognized 1>&2 |
eeb000068cc8
Error if company name is more than one word.
Richard M. Stallman <rms@gnu.org>
parents:
1852
diff
changeset
|
121 exit 1 |
eeb000068cc8
Error if company name is more than one word.
Richard M. Stallman <rms@gnu.org>
parents:
1852
diff
changeset
|
122 ;; |
4829 | 123 # Recognize the basic CPU types with company name. |
607
e0ce539246b8
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
589
diff
changeset
|
124 vax-* | tahoe-* | i[34]86-* | i860-* | m68k-* | m68000-* | m88k-* \ |
576 | 125 | sparc-* | ns32k-* | fx80-* | arm-* | c[123]* \ |
126 | mips-* | pyramid-* | tron-* | a29k-* | romp-* | rs6000-* \ | |
127 | none-* | 580-* | cray2-* | h8300-* | i960-* | xmp-* | ymp-* \ | |
1631
9c52fcf232bf
Fri Nov 20 05:24:16 1992 Jim Blandy (jimb@totoro.cs.oberlin.edu)
Jim Blandy <jimb@redhat.com>
parents:
1627
diff
changeset
|
128 | hppa1.0-* | hppa1.1-* | alpha-* | we32k-* | cydra-* | ns16k-* \ |
2614 | 129 | pn-* | np1-* | xps100-* | clipper-* | orion-* | sparclite-* \ |
4859 | 130 | sh-* | powerpc-*) |
576 | 131 ;; |
6122 | 132 # Recognize the various machine names and aliases which stand |
133 # for a CPU type and a company and sometimes even an OS. | |
5609
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
134 3b1 | 7300 | 7300-att | att-7300 | pc7300 | safari | unixpc) |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
135 basic_machine=m68000-att |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
136 ;; |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
137 3b*) |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
138 basic_machine=we32k-att |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
139 ;; |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
140 alliant | fx80) |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
141 basic_machine=fx80-alliant |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
142 ;; |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
143 altos | altos3068) |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
144 basic_machine=m68k-altos |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
145 ;; |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
146 am29k) |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
147 basic_machine=a29k-none |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
148 os=-bsd |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
149 ;; |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
150 amdahl) |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
151 basic_machine=580-amdahl |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
152 os=-sysv |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
153 ;; |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
154 amiga) |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
155 basic_machine=m68k-cbm |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
156 ;; |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
157 amigados) |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
158 basic_machine=m68k-cbm |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
159 os=-amigados |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
160 ;; |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
161 amigaunix | amix) |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
162 basic_machine=m68k-cbm |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
163 os=-sysv4 |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
164 ;; |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
165 apollo68) |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
166 basic_machine=m68k-apollo |
576 | 167 os=-sysv |
168 ;; | |
5609
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
169 balance) |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
170 basic_machine=ns32k-sequent |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
171 os=-dynix |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
172 ;; |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
173 convex-c1) |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
174 basic_machine=c1-convex |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
175 os=-bsd |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
176 ;; |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
177 convex-c2) |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
178 basic_machine=c2-convex |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
179 os=-bsd |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
180 ;; |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
181 convex-c32) |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
182 basic_machine=c32-convex |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
183 os=-bsd |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
184 ;; |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
185 convex-c34) |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
186 basic_machine=c34-convex |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
187 os=-bsd |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
188 ;; |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
189 convex-c38) |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
190 basic_machine=c38-convex |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
191 os=-bsd |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
192 ;; |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
193 cray | ymp) |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
194 basic_machine=ymp-cray |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
195 os=-unicos |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
196 ;; |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
197 cray2) |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
198 basic_machine=cray2-cray |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
199 os=-unicos |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
200 ;; |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
201 crds | unos) |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
202 basic_machine=m68k-crds |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
203 ;; |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
204 decstation | decstation-3100 | pmax | pmin | dec3100 | decstatn) |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
205 basic_machine=mips-dec |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
206 ;; |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
207 delta | 3300 | motorola-3300 | motorola-delta \ |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
208 | 3300-motorola | delta-motorola) |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
209 basic_machine=m68k-motorola |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
210 ;; |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
211 delta88) |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
212 basic_machine=m88k-motorola |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
213 os=-sysv3 |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
214 ;; |
6509 | 215 dpx20 | dpx20-*) |
216 basic_machine=rs6000-bull | |
217 os=-bosx | |
218 ;; | |
5609
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
219 dpx2* | dpx2*-bull) |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
220 basic_machine=m68k-bull |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
221 os=-sysv3 |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
222 ;; |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
223 ebmon29k) |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
224 basic_machine=a29k-amd |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
225 os=-ebmon |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
226 ;; |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
227 elxsi) |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
228 basic_machine=elxsi-elxsi |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
229 os=-bsd |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
230 ;; |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
231 encore | umax | mmax) |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
232 basic_machine=ns32k-encore |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
233 ;; |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
234 fx2800) |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
235 basic_machine=i860-alliant |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
236 ;; |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
237 genix) |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
238 basic_machine=ns32k-ns |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
239 ;; |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
240 gmicro) |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
241 basic_machine=tron-gmicro |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
242 os=-sysv |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
243 ;; |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
244 h3050r* | hiux*) |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
245 basic_machine=hppa1.1-hitachi |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
246 os=-hiuxwe2 |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
247 ;; |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
248 h8300hms) |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
249 basic_machine=h8300-hitachi |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
250 os=-hms |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
251 ;; |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
252 harris) |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
253 basic_machine=m88k-harris |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
254 os=-sysv3 |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
255 ;; |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
256 hp300bsd) |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
257 basic_machine=m68k-hp |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
258 os=-bsd |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
259 ;; |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
260 hp300hpux) |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
261 basic_machine=m68k-hp |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
262 os=-hpux |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
263 ;; |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
264 hp9k2[0-9][0-9] | hp9k31[0-9]) |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
265 basic_machine=m68000-hp |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
266 ;; |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
267 hp9k3[2-9][0-9]) |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
268 basic_machine=m68k-hp |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
269 ;; |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
270 hp9k7[0-9][0-9] | hp7[0-9][0-9] | hp9k8[0-9]7 | hp8[0-9]7) |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
271 basic_machine=hppa1.1-hp |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
272 ;; |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
273 hp9k8[0-9][0-9] | hp8[0-9][0-9]) |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
274 basic_machine=hppa1.0-hp |
576 | 275 ;; |
2495 | 276 i370-ibm* | ibm*) |
277 basic_machine=i370-ibm | |
278 os=-mvs | |
279 ;; | |
1735
5032e4faca19
($os alternatives for sco and isc): Preserve the specified os version if any.
Richard M. Stallman <rms@gnu.org>
parents:
1732
diff
changeset
|
280 # I'm not sure what "Sysv32" means. Should this be sysv3.2? |
5032e4faca19
($os alternatives for sco and isc): Preserve the specified os version if any.
Richard M. Stallman <rms@gnu.org>
parents:
1732
diff
changeset
|
281 i[34]86v32) |
5032e4faca19
($os alternatives for sco and isc): Preserve the specified os version if any.
Richard M. Stallman <rms@gnu.org>
parents:
1732
diff
changeset
|
282 basic_machine=`echo $1 | sed -e 's/86.*/86-unknown/'` |
738
81cd2a003397
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
674
diff
changeset
|
283 os=-sysv32 |
81cd2a003397
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
674
diff
changeset
|
284 ;; |
1735
5032e4faca19
($os alternatives for sco and isc): Preserve the specified os version if any.
Richard M. Stallman <rms@gnu.org>
parents:
1732
diff
changeset
|
285 i[34]86v4*) |
5032e4faca19
($os alternatives for sco and isc): Preserve the specified os version if any.
Richard M. Stallman <rms@gnu.org>
parents:
1732
diff
changeset
|
286 basic_machine=`echo $1 | sed -e 's/86.*/86-unknown/'` |
576 | 287 os=-sysv4 |
288 ;; | |
1735
5032e4faca19
($os alternatives for sco and isc): Preserve the specified os version if any.
Richard M. Stallman <rms@gnu.org>
parents:
1732
diff
changeset
|
289 i[34]86v) |
5032e4faca19
($os alternatives for sco and isc): Preserve the specified os version if any.
Richard M. Stallman <rms@gnu.org>
parents:
1732
diff
changeset
|
290 basic_machine=`echo $1 | sed -e 's/86.*/86-unknown/'` |
738
81cd2a003397
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
674
diff
changeset
|
291 os=-sysv |
81cd2a003397
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
674
diff
changeset
|
292 ;; |
1840
b00ada422354
(i[34]86sol2): New abbrev for i[34]86-unknown-solaris2.
Jim Wilson <wilson@gnu.org>
parents:
1735
diff
changeset
|
293 i[34]86sol2) |
b00ada422354
(i[34]86sol2): New abbrev for i[34]86-unknown-solaris2.
Jim Wilson <wilson@gnu.org>
parents:
1735
diff
changeset
|
294 basic_machine=`echo $1 | sed -e 's/86.*/86-unknown/'` |
b00ada422354
(i[34]86sol2): New abbrev for i[34]86-unknown-solaris2.
Jim Wilson <wilson@gnu.org>
parents:
1735
diff
changeset
|
295 os=-solaris2 |
b00ada422354
(i[34]86sol2): New abbrev for i[34]86-unknown-solaris2.
Jim Wilson <wilson@gnu.org>
parents:
1735
diff
changeset
|
296 ;; |
576 | 297 iris | iris4d) |
298 basic_machine=mips-sgi | |
651
144027c7abb2
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
646
diff
changeset
|
299 case $os in |
144027c7abb2
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
646
diff
changeset
|
300 -irix*) |
144027c7abb2
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
646
diff
changeset
|
301 ;; |
144027c7abb2
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
646
diff
changeset
|
302 *) |
144027c7abb2
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
646
diff
changeset
|
303 os=-irix4 |
144027c7abb2
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
646
diff
changeset
|
304 ;; |
144027c7abb2
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
646
diff
changeset
|
305 esac |
576 | 306 ;; |
5609
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
307 isi68 | isi) |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
308 basic_machine=m68k-isi |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
309 os=-sysv |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
310 ;; |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
311 m88k-omron*) |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
312 basic_machine=m88k-omron |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
313 ;; |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
314 magnum | m3230) |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
315 basic_machine=mips-mips |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
316 os=-sysv |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
317 ;; |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
318 merlin) |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
319 basic_machine=ns32k-utek |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
320 os=-sysv |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
321 ;; |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
322 miniframe) |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
323 basic_machine=m68000-convergent |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
324 ;; |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
325 ncr3000) |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
326 basic_machine=i486-ncr |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
327 os=-sysv4 |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
328 ;; |
576 | 329 news | news700 | news800 | news900) |
330 basic_machine=m68k-sony | |
331 os=-newsos | |
332 ;; | |
5609
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
333 news1000) |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
334 basic_machine=m68030-sony |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
335 os=-newsos |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
336 ;; |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
337 news-3600 | risc-news) |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
338 basic_machine=mips-sony |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
339 os=-newsos |
576 | 340 ;; |
5609
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
341 next) |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
342 basic_machine=m68k-next |
6771
0cedd76336a0
Add ns* as operating systems; default to ns2 for NeXT.
Richard Kenner <kenner@gnu.org>
parents:
6509
diff
changeset
|
343 case $os in |
0cedd76336a0
Add ns* as operating systems; default to ns2 for NeXT.
Richard Kenner <kenner@gnu.org>
parents:
6509
diff
changeset
|
344 -ns2*) |
0cedd76336a0
Add ns* as operating systems; default to ns2 for NeXT.
Richard Kenner <kenner@gnu.org>
parents:
6509
diff
changeset
|
345 ;; |
0cedd76336a0
Add ns* as operating systems; default to ns2 for NeXT.
Richard Kenner <kenner@gnu.org>
parents:
6509
diff
changeset
|
346 *) |
6836
64e20f3960e8
(next): Fix typo in m68k-next-ns3 alternative.
Richard M. Stallman <rms@gnu.org>
parents:
6771
diff
changeset
|
347 os=-ns3 |
6771
0cedd76336a0
Add ns* as operating systems; default to ns2 for NeXT.
Richard Kenner <kenner@gnu.org>
parents:
6509
diff
changeset
|
348 ;; |
0cedd76336a0
Add ns* as operating systems; default to ns2 for NeXT.
Richard Kenner <kenner@gnu.org>
parents:
6509
diff
changeset
|
349 esac |
5609
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
350 ;; |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
351 nh3000) |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
352 basic_machine=m68k-harris |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
353 os=-cxux |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
354 ;; |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
355 nh[45]000) |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
356 basic_machine=m88k-harris |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
357 os=-cxux |
629
e47f9ff356ea
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
613
diff
changeset
|
358 ;; |
5609
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
359 nindy960) |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
360 basic_machine=i960-intel |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
361 os=-nindy |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
362 ;; |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
363 np1) |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
364 basic_machine=np1-gould |
576 | 365 ;; |
5609
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
366 pa-hitachi) |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
367 basic_machine=hppa1.1-hitachi |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
368 os=-hiuxwe2 |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
369 ;; |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
370 paragon) |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
371 basic_machine=i860-intel |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
372 os=-osf |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
373 ;; |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
374 pbd) |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
375 basic_machine=sparc-tti |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
376 ;; |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
377 pbb) |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
378 basic_machine=m68k-tti |
576 | 379 ;; |
380 pc532) | |
381 basic_machine=ns32k-pc532 | |
382 ;; | |
5609
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
383 pn) |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
384 basic_machine=pn-gould |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
385 ;; |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
386 ps2) |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
387 basic_machine=i386-ibm |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
388 ;; |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
389 rtpc | rtpc-*) |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
390 basic_machine=romp-ibm |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
391 ;; |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
392 sh) |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
393 basic_machine=sh-hitachi |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
394 os=-hms |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
395 ;; |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
396 sps7) |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
397 basic_machine=m68k-bull |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
398 os=-sysv2 |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
399 ;; |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
400 spur) |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
401 basic_machine=spur-unknown |
576 | 402 ;; |
403 sun2) | |
404 basic_machine=m68000-sun | |
405 ;; | |
406 sun2os3) | |
407 basic_machine=m68000-sun | |
408 os=-sunos3 | |
409 ;; | |
410 sun2os4) | |
411 basic_machine=m68000-sun | |
412 os=-sunos4 | |
413 ;; | |
414 sun3os3) | |
415 basic_machine=m68k-sun | |
416 os=-sunos3 | |
417 ;; | |
418 sun3os4) | |
419 basic_machine=m68k-sun | |
420 os=-sunos4 | |
421 ;; | |
422 sun4os3) | |
423 basic_machine=sparc-sun | |
424 os=-sunos3 | |
425 ;; | |
426 sun4os4) | |
427 basic_machine=sparc-sun | |
428 os=-sunos4 | |
429 ;; | |
430 sun3) | |
431 basic_machine=m68k-sun | |
432 ;; | |
433 sun4) | |
434 basic_machine=sparc-sun | |
435 ;; | |
436 sun386 | sun386i | roadrunner) | |
437 basic_machine=i386-sun | |
438 ;; | |
5609
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
439 symmetry) |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
440 basic_machine=i386-sequent |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
441 os=-dynix |
576 | 442 ;; |
443 tower | tower-32) | |
444 basic_machine=m68k-ncr | |
445 ;; | |
446 ultra3) | |
447 basic_machine=a29k-nyu | |
448 os=-sym1 | |
449 ;; | |
5609
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
450 vaxv) |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
451 basic_machine=vax-dec |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
452 os=-sysv |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
453 ;; |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
454 vms) |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
455 basic_machine=vax-dec |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
456 os=-vms |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
457 ;; |
576 | 458 vxworks960) |
459 basic_machine=i960-wrs | |
460 os=-vxworks | |
461 ;; | |
462 vxworks68) | |
463 basic_machine=m68k-wrs | |
464 os=-vxworks | |
465 ;; | |
5609
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
466 xmp) |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
467 basic_machine=xmp-cray |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
468 os=-unicos |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
469 ;; |
1631
9c52fcf232bf
Fri Nov 20 05:24:16 1992 Jim Blandy (jimb@totoro.cs.oberlin.edu)
Jim Blandy <jimb@redhat.com>
parents:
1627
diff
changeset
|
470 xps | xps100) |
9c52fcf232bf
Fri Nov 20 05:24:16 1992 Jim Blandy (jimb@totoro.cs.oberlin.edu)
Jim Blandy <jimb@redhat.com>
parents:
1627
diff
changeset
|
471 basic_machine=xps100-honeywell |
9c52fcf232bf
Fri Nov 20 05:24:16 1992 Jim Blandy (jimb@totoro.cs.oberlin.edu)
Jim Blandy <jimb@redhat.com>
parents:
1627
diff
changeset
|
472 ;; |
576 | 473 none) |
474 basic_machine=none-none | |
475 os=-none | |
476 ;; | |
477 | |
478 # Here we handle the default manufacturer of certain CPU types. It is in | |
479 # some cases the only manufacturer, in others, it is the most popular. | |
480 mips) | |
481 basic_machine=mips-mips | |
482 ;; | |
483 romp) | |
484 basic_machine=romp-ibm | |
485 ;; | |
486 rs6000) | |
487 basic_machine=rs6000-ibm | |
488 ;; | |
489 vax) | |
490 basic_machine=vax-dec | |
491 ;; | |
652
88a5b1ed98bb
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
651
diff
changeset
|
492 we32k) |
88a5b1ed98bb
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
651
diff
changeset
|
493 basic_machine=we32k-att |
88a5b1ed98bb
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
651
diff
changeset
|
494 ;; |
576 | 495 sparc) |
496 basic_machine=sparc-sun | |
497 ;; | |
1631
9c52fcf232bf
Fri Nov 20 05:24:16 1992 Jim Blandy (jimb@totoro.cs.oberlin.edu)
Jim Blandy <jimb@redhat.com>
parents:
1627
diff
changeset
|
498 cydra) |
9c52fcf232bf
Fri Nov 20 05:24:16 1992 Jim Blandy (jimb@totoro.cs.oberlin.edu)
Jim Blandy <jimb@redhat.com>
parents:
1627
diff
changeset
|
499 basic_machine=cydra-cydrome |
9c52fcf232bf
Fri Nov 20 05:24:16 1992 Jim Blandy (jimb@totoro.cs.oberlin.edu)
Jim Blandy <jimb@redhat.com>
parents:
1627
diff
changeset
|
500 ;; |
9c52fcf232bf
Fri Nov 20 05:24:16 1992 Jim Blandy (jimb@totoro.cs.oberlin.edu)
Jim Blandy <jimb@redhat.com>
parents:
1627
diff
changeset
|
501 orion) |
9c52fcf232bf
Fri Nov 20 05:24:16 1992 Jim Blandy (jimb@totoro.cs.oberlin.edu)
Jim Blandy <jimb@redhat.com>
parents:
1627
diff
changeset
|
502 basic_machine=orion-highlevel |
9c52fcf232bf
Fri Nov 20 05:24:16 1992 Jim Blandy (jimb@totoro.cs.oberlin.edu)
Jim Blandy <jimb@redhat.com>
parents:
1627
diff
changeset
|
503 ;; |
9c52fcf232bf
Fri Nov 20 05:24:16 1992 Jim Blandy (jimb@totoro.cs.oberlin.edu)
Jim Blandy <jimb@redhat.com>
parents:
1627
diff
changeset
|
504 orion105) |
9c52fcf232bf
Fri Nov 20 05:24:16 1992 Jim Blandy (jimb@totoro.cs.oberlin.edu)
Jim Blandy <jimb@redhat.com>
parents:
1627
diff
changeset
|
505 basic_machine=clipper-highlevel |
9c52fcf232bf
Fri Nov 20 05:24:16 1992 Jim Blandy (jimb@totoro.cs.oberlin.edu)
Jim Blandy <jimb@redhat.com>
parents:
1627
diff
changeset
|
506 ;; |
576 | 507 *) |
508 echo Invalid configuration \`$1\': machine \`$basic_machine\' not recognized 1>&2 | |
509 exit 1 | |
510 ;; | |
511 esac | |
512 | |
513 # Here we canonicalize certain aliases for manufacturers. | |
514 case $basic_machine in | |
515 *-digital*) | |
516 basic_machine=`echo $basic_machine | sed 's/digital.*/dec/'` | |
517 ;; | |
518 *-commodore*) | |
519 basic_machine=`echo $basic_machine | sed 's/commodore.*/cbm/'` | |
520 ;; | |
521 *) | |
522 ;; | |
523 esac | |
524 | |
525 # Decode manufacturer-specific aliases for certain operating systems. | |
526 | |
4109
76f746324590
if [ "$os" ] --> if [ x"$os" != x"" ]
Doug Evans <dje@gnu.org>
parents:
4084
diff
changeset
|
527 if [ x"$os" != x"" ] |
576 | 528 then |
529 case $os in | |
1732
2dd86a54c11b
Translate sunos5 to solaris2, and solaris1 to sunos4.
Richard M. Stallman <rms@gnu.org>
parents:
1726
diff
changeset
|
530 # -solaris* is a basic system type, with this one exception. |
2dd86a54c11b
Translate sunos5 to solaris2, and solaris1 to sunos4.
Richard M. Stallman <rms@gnu.org>
parents:
1726
diff
changeset
|
531 -solaris1 | -solaris1.*) |
2dd86a54c11b
Translate sunos5 to solaris2, and solaris1 to sunos4.
Richard M. Stallman <rms@gnu.org>
parents:
1726
diff
changeset
|
532 os=`echo $os | sed -e 's|solaris1|sunos4|'` |
2dd86a54c11b
Translate sunos5 to solaris2, and solaris1 to sunos4.
Richard M. Stallman <rms@gnu.org>
parents:
1726
diff
changeset
|
533 ;; |
4055
e5d455b14d82
Make `solaris' reflect the most recent major release.
Doug Evans <dje@gnu.org>
parents:
3934
diff
changeset
|
534 -solaris) |
e5d455b14d82
Make `solaris' reflect the most recent major release.
Doug Evans <dje@gnu.org>
parents:
3934
diff
changeset
|
535 os=-solaris2 |
e5d455b14d82
Make `solaris' reflect the most recent major release.
Doug Evans <dje@gnu.org>
parents:
3934
diff
changeset
|
536 ;; |
576 | 537 # First accept the basic system types. |
538 # The portable systems comes first. | |
539 # Each alternative must end in a *, to match a version number. | |
3914
a16c11d3670f
Recognize -sysv* after -sysvr4.
Richard M. Stallman <rms@gnu.org>
parents:
3904
diff
changeset
|
540 # -sysv* is not here because it comes later, after sysvr4. |
3934
0bd0d7678a09
Recognize `gnu' as a valid operating system. Sheesh.
Roland McGrath <roland@gnu.org>
parents:
3914
diff
changeset
|
541 -gnu* | -bsd* | -mach* | -minix* | -genix* | -ultrix* | -irix* \ |
7089 | 542 | -vms* | -sco* | -esix* | -isc* | -aix* | -sunos | -sunos[34]* \ |
543 | -hpux* | -unos* | -osf* | -luna* | -dgux* | -solaris* | -sym* \ | |
610
5f2f551fc367
*** empty log message ***
Torbjorn Granlund <tege@swox.com>
parents:
607
diff
changeset
|
544 | -amigados* | -msdos* | -newsos* | -unicos* | -aos* \ |
2675 | 545 | -nindy* | -vxworks* | -ebmon* | -hms* | -mvs* | -clix* \ |
3382 | 546 | -riscos* | -linux* | -uniplus* | -iris* | -rtu* | -xenix* \ |
6509 | 547 | -hiux* | -386bsd* | -netbsd* | -freebsd* | -riscix* \ |
7581
9c97c94610f2
(basic_machine): Accept cxux*.
Richard M. Stallman <rms@gnu.org>
parents:
7575
diff
changeset
|
548 | -lynxos* | -bosx* | -ns* | -cxux*) |
576 | 549 ;; |
1732
2dd86a54c11b
Translate sunos5 to solaris2, and solaris1 to sunos4.
Richard M. Stallman <rms@gnu.org>
parents:
1726
diff
changeset
|
550 -sunos5*) |
2dd86a54c11b
Translate sunos5 to solaris2, and solaris1 to sunos4.
Richard M. Stallman <rms@gnu.org>
parents:
1726
diff
changeset
|
551 os=`echo $os | sed -e 's|sunos5|solaris2|'` |
2dd86a54c11b
Translate sunos5 to solaris2, and solaris1 to sunos4.
Richard M. Stallman <rms@gnu.org>
parents:
1726
diff
changeset
|
552 ;; |
2dd86a54c11b
Translate sunos5 to solaris2, and solaris1 to sunos4.
Richard M. Stallman <rms@gnu.org>
parents:
1726
diff
changeset
|
553 -sunos6*) |
2dd86a54c11b
Translate sunos5 to solaris2, and solaris1 to sunos4.
Richard M. Stallman <rms@gnu.org>
parents:
1726
diff
changeset
|
554 os=`echo $os | sed -e 's|sunos6|solaris3|'` |
2dd86a54c11b
Translate sunos5 to solaris2, and solaris1 to sunos4.
Richard M. Stallman <rms@gnu.org>
parents:
1726
diff
changeset
|
555 ;; |
576 | 556 -osfrose*) |
674
d5c90f190057
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
654
diff
changeset
|
557 os=-osfrose |
576 | 558 ;; |
559 -osf*) | |
674
d5c90f190057
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
654
diff
changeset
|
560 os=-osf |
576 | 561 ;; |
742 | 562 -utek*) |
563 os=-bsd | |
564 ;; | |
576 | 565 -dynix*) |
566 os=-bsd | |
567 ;; | |
568 -acis*) | |
569 os=-aos | |
570 ;; | |
571 -ctix* | -uts*) | |
572 os=-sysv | |
573 ;; | |
574 -triton*) | |
575 os=-sysv3 | |
576 ;; | |
577 -oss*) | |
578 os=-sysv3 | |
579 ;; | |
580 -svr4) | |
581 os=-sysv4 | |
582 ;; | |
3914
a16c11d3670f
Recognize -sysv* after -sysvr4.
Richard M. Stallman <rms@gnu.org>
parents:
3904
diff
changeset
|
583 -svr3) |
a16c11d3670f
Recognize -sysv* after -sysvr4.
Richard M. Stallman <rms@gnu.org>
parents:
3904
diff
changeset
|
584 os=-sysv3 |
a16c11d3670f
Recognize -sysv* after -sysvr4.
Richard M. Stallman <rms@gnu.org>
parents:
3904
diff
changeset
|
585 ;; |
3896
bea021b3124a
Convert ...-sysvr4 into ...-sysv4.
Richard M. Stallman <rms@gnu.org>
parents:
3382
diff
changeset
|
586 -sysvr4) |
bea021b3124a
Convert ...-sysvr4 into ...-sysv4.
Richard M. Stallman <rms@gnu.org>
parents:
3382
diff
changeset
|
587 os=-sysv4 |
bea021b3124a
Convert ...-sysvr4 into ...-sysv4.
Richard M. Stallman <rms@gnu.org>
parents:
3382
diff
changeset
|
588 ;; |
3914
a16c11d3670f
Recognize -sysv* after -sysvr4.
Richard M. Stallman <rms@gnu.org>
parents:
3904
diff
changeset
|
589 # This must come after -sysvr4. |
a16c11d3670f
Recognize -sysv* after -sysvr4.
Richard M. Stallman <rms@gnu.org>
parents:
3904
diff
changeset
|
590 -sysv*) |
576 | 591 ;; |
1627
1c2f6bc3d8fe
* config.sub: Added Xenix operating system.
Jim Blandy <jimb@redhat.com>
parents:
1545
diff
changeset
|
592 -xenix) |
1c2f6bc3d8fe
* config.sub: Added Xenix operating system.
Jim Blandy <jimb@redhat.com>
parents:
1545
diff
changeset
|
593 os=-xenix |
1c2f6bc3d8fe
* config.sub: Added Xenix operating system.
Jim Blandy <jimb@redhat.com>
parents:
1545
diff
changeset
|
594 ;; |
645
57295fc40ac3
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
631
diff
changeset
|
595 -none) |
57295fc40ac3
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
631
diff
changeset
|
596 ;; |
576 | 597 *) |
598 # Get rid of the `-' at the beginning of $os. | |
7575
74474187ad78
Fix unrecognized os error message.
Richard M. Stallman <rms@gnu.org>
parents:
7323
diff
changeset
|
599 os=`echo $os | sed 's/[^-]*-//'` |
576 | 600 echo Invalid configuration \`$1\': system \`$os\' not recognized 1>&2 |
601 exit 1 | |
602 ;; | |
603 esac | |
604 else | |
605 | |
606 # Here we handle the default operating systems that come with various machines. | |
607 # The value should be what the vendor currently ships out the door with their | |
608 # machine or put another way, the most popular os provided with the machine. | |
1631
9c52fcf232bf
Fri Nov 20 05:24:16 1992 Jim Blandy (jimb@totoro.cs.oberlin.edu)
Jim Blandy <jimb@redhat.com>
parents:
1627
diff
changeset
|
609 |
9c52fcf232bf
Fri Nov 20 05:24:16 1992 Jim Blandy (jimb@totoro.cs.oberlin.edu)
Jim Blandy <jimb@redhat.com>
parents:
1627
diff
changeset
|
610 # Note that if you're going to try to match "-MANUFACTURER" here (say, |
9c52fcf232bf
Fri Nov 20 05:24:16 1992 Jim Blandy (jimb@totoro.cs.oberlin.edu)
Jim Blandy <jimb@redhat.com>
parents:
1627
diff
changeset
|
611 # "-sun"), then you have to tell the case statement up towards the top |
9c52fcf232bf
Fri Nov 20 05:24:16 1992 Jim Blandy (jimb@totoro.cs.oberlin.edu)
Jim Blandy <jimb@redhat.com>
parents:
1627
diff
changeset
|
612 # that MANUFACTURER isn't an operating system. Otherwise, code above |
9c52fcf232bf
Fri Nov 20 05:24:16 1992 Jim Blandy (jimb@totoro.cs.oberlin.edu)
Jim Blandy <jimb@redhat.com>
parents:
1627
diff
changeset
|
613 # will signal an error saying that MANUFACTURER isn't an operating |
9c52fcf232bf
Fri Nov 20 05:24:16 1992 Jim Blandy (jimb@totoro.cs.oberlin.edu)
Jim Blandy <jimb@redhat.com>
parents:
1627
diff
changeset
|
614 # system, and we'll never get to this point. |
9c52fcf232bf
Fri Nov 20 05:24:16 1992 Jim Blandy (jimb@totoro.cs.oberlin.edu)
Jim Blandy <jimb@redhat.com>
parents:
1627
diff
changeset
|
615 |
576 | 616 case $basic_machine in |
4806
d48a4664d92a
Recognize operating system "riscix*"; recognize acorn as vendor
Erich Stefan Boleyn <erich@uruk.org>
parents:
4689
diff
changeset
|
617 *-acorn) |
d48a4664d92a
Recognize operating system "riscix*"; recognize acorn as vendor
Erich Stefan Boleyn <erich@uruk.org>
parents:
4689
diff
changeset
|
618 os=-riscix1.2 |
d48a4664d92a
Recognize operating system "riscix*"; recognize acorn as vendor
Erich Stefan Boleyn <erich@uruk.org>
parents:
4689
diff
changeset
|
619 ;; |
576 | 620 *-dec | vax-*) |
654
6d56ce1261a7
*** empty log message ***
Michael Meissner <gnu@the-meissners.org>
parents:
653
diff
changeset
|
621 os=-ultrix4.2 |
576 | 622 ;; |
623 i386-sun) | |
654
6d56ce1261a7
*** empty log message ***
Michael Meissner <gnu@the-meissners.org>
parents:
653
diff
changeset
|
624 os=-sunos4.0.2 |
576 | 625 ;; |
626 m68000-sun) | |
627 os=-sunos3 | |
628 # This also exists in the configure program, but was not the | |
629 # default. | |
630 # os=-sunos4 | |
631 ;; | |
632 *-tti) # must be before sparc entry or we get the wrong os. | |
633 os=-sysv3 | |
634 ;; | |
635 sparc-* | *-sun) | |
654
6d56ce1261a7
*** empty log message ***
Michael Meissner <gnu@the-meissners.org>
parents:
653
diff
changeset
|
636 os=-sunos4.1.1 |
576 | 637 ;; |
638 *-ibm) | |
639 os=-aix | |
640 ;; | |
641 *-hp) | |
642 os=-hpux | |
643 ;; | |
4901 | 644 *-hitachi) |
645 os=-hiux | |
646 ;; | |
1631
9c52fcf232bf
Fri Nov 20 05:24:16 1992 Jim Blandy (jimb@totoro.cs.oberlin.edu)
Jim Blandy <jimb@redhat.com>
parents:
1627
diff
changeset
|
647 i860-* | *-att | *-ncr | *-altos | *-motorola | *-convergent) |
576 | 648 os=-sysv |
649 ;; | |
650 *-cbm) | |
651 os=-amigados | |
652 ;; | |
653 *-dg) | |
654 os=-dgux | |
655 ;; | |
656 *-dolphin) | |
657 os=-sysv3 | |
658 ;; | |
659 m88k-omron*) | |
660 os=-luna | |
661 ;; | |
1726
e44b2de1b698
Default to bsd for *-sequent.
Richard M. Stallman <rms@gnu.org>
parents:
1631
diff
changeset
|
662 *-sequent) |
e44b2de1b698
Default to bsd for *-sequent.
Richard M. Stallman <rms@gnu.org>
parents:
1631
diff
changeset
|
663 os=-bsd |
e44b2de1b698
Default to bsd for *-sequent.
Richard M. Stallman <rms@gnu.org>
parents:
1631
diff
changeset
|
664 ;; |
576 | 665 *-crds) |
666 os=-unos | |
667 ;; | |
668 *-ns) | |
669 os=-genix | |
670 ;; | |
2495 | 671 i370-*) |
672 os=-mvs | |
673 ;; | |
2497
55f73883303f
> Default to bsd if vendor is next.
Tom Wood <wood@next.com>
parents:
2495
diff
changeset
|
674 *-next) |
55f73883303f
> Default to bsd if vendor is next.
Tom Wood <wood@next.com>
parents:
2495
diff
changeset
|
675 os=-bsd |
55f73883303f
> Default to bsd if vendor is next.
Tom Wood <wood@next.com>
parents:
2495
diff
changeset
|
676 ;; |
738
81cd2a003397
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
674
diff
changeset
|
677 i[34]86-*) |
646
e283d4164aca
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
645
diff
changeset
|
678 os=-sco3.2v2 |
576 | 679 ;; |
1631
9c52fcf232bf
Fri Nov 20 05:24:16 1992 Jim Blandy (jimb@totoro.cs.oberlin.edu)
Jim Blandy <jimb@redhat.com>
parents:
1627
diff
changeset
|
680 *-gould) |
9c52fcf232bf
Fri Nov 20 05:24:16 1992 Jim Blandy (jimb@totoro.cs.oberlin.edu)
Jim Blandy <jimb@redhat.com>
parents:
1627
diff
changeset
|
681 os=-sysv |
9c52fcf232bf
Fri Nov 20 05:24:16 1992 Jim Blandy (jimb@totoro.cs.oberlin.edu)
Jim Blandy <jimb@redhat.com>
parents:
1627
diff
changeset
|
682 ;; |
9c52fcf232bf
Fri Nov 20 05:24:16 1992 Jim Blandy (jimb@totoro.cs.oberlin.edu)
Jim Blandy <jimb@redhat.com>
parents:
1627
diff
changeset
|
683 *-highlevel) |
9c52fcf232bf
Fri Nov 20 05:24:16 1992 Jim Blandy (jimb@totoro.cs.oberlin.edu)
Jim Blandy <jimb@redhat.com>
parents:
1627
diff
changeset
|
684 os=-bsd |
9c52fcf232bf
Fri Nov 20 05:24:16 1992 Jim Blandy (jimb@totoro.cs.oberlin.edu)
Jim Blandy <jimb@redhat.com>
parents:
1627
diff
changeset
|
685 ;; |
9c52fcf232bf
Fri Nov 20 05:24:16 1992 Jim Blandy (jimb@totoro.cs.oberlin.edu)
Jim Blandy <jimb@redhat.com>
parents:
1627
diff
changeset
|
686 *-encore) |
9c52fcf232bf
Fri Nov 20 05:24:16 1992 Jim Blandy (jimb@totoro.cs.oberlin.edu)
Jim Blandy <jimb@redhat.com>
parents:
1627
diff
changeset
|
687 os=-bsd |
9c52fcf232bf
Fri Nov 20 05:24:16 1992 Jim Blandy (jimb@totoro.cs.oberlin.edu)
Jim Blandy <jimb@redhat.com>
parents:
1627
diff
changeset
|
688 ;; |
9c52fcf232bf
Fri Nov 20 05:24:16 1992 Jim Blandy (jimb@totoro.cs.oberlin.edu)
Jim Blandy <jimb@redhat.com>
parents:
1627
diff
changeset
|
689 *-sgi) |
9c52fcf232bf
Fri Nov 20 05:24:16 1992 Jim Blandy (jimb@totoro.cs.oberlin.edu)
Jim Blandy <jimb@redhat.com>
parents:
1627
diff
changeset
|
690 os=-irix |
9c52fcf232bf
Fri Nov 20 05:24:16 1992 Jim Blandy (jimb@totoro.cs.oberlin.edu)
Jim Blandy <jimb@redhat.com>
parents:
1627
diff
changeset
|
691 ;; |
9c52fcf232bf
Fri Nov 20 05:24:16 1992 Jim Blandy (jimb@totoro.cs.oberlin.edu)
Jim Blandy <jimb@redhat.com>
parents:
1627
diff
changeset
|
692 *-masscomp) |
9c52fcf232bf
Fri Nov 20 05:24:16 1992 Jim Blandy (jimb@totoro.cs.oberlin.edu)
Jim Blandy <jimb@redhat.com>
parents:
1627
diff
changeset
|
693 os=-rtu |
9c52fcf232bf
Fri Nov 20 05:24:16 1992 Jim Blandy (jimb@totoro.cs.oberlin.edu)
Jim Blandy <jimb@redhat.com>
parents:
1627
diff
changeset
|
694 ;; |
576 | 695 *) |
696 os=-none | |
697 ;; | |
698 esac | |
699 fi | |
700 | |
701 # Here we handle the case where we know the os, and the CPU type, but not the | |
702 # manufacturer. We pick the logical manufacturer. | |
703 vendor=unknown | |
704 case $basic_machine in | |
705 *-unknown) | |
706 case $os in | |
4806
d48a4664d92a
Recognize operating system "riscix*"; recognize acorn as vendor
Erich Stefan Boleyn <erich@uruk.org>
parents:
4689
diff
changeset
|
707 -riscix*) |
d48a4664d92a
Recognize operating system "riscix*"; recognize acorn as vendor
Erich Stefan Boleyn <erich@uruk.org>
parents:
4689
diff
changeset
|
708 vendor=acorn |
d48a4664d92a
Recognize operating system "riscix*"; recognize acorn as vendor
Erich Stefan Boleyn <erich@uruk.org>
parents:
4689
diff
changeset
|
709 ;; |
576 | 710 -sunos*) |
711 vendor=sun | |
712 ;; | |
4204 | 713 -lynxos*) |
714 vendor=lynx | |
715 ;; | |
576 | 716 -aix*) |
717 vendor=ibm | |
718 ;; | |
719 -hpux*) | |
720 vendor=hp | |
721 ;; | |
4901 | 722 -hiux*) |
723 vendor=hitachi | |
724 ;; | |
576 | 725 -unos*) |
726 vendor=crds | |
727 ;; | |
728 -dgux*) | |
729 vendor=dg | |
730 ;; | |
731 -luna*) | |
732 vendor=omron | |
733 ;; | |
734 -genix*) | |
735 vendor=ns | |
736 ;; | |
2495 | 737 -mvs*) |
738 vendor=ibm | |
739 ;; | |
576 | 740 esac |
741 basic_machine=`echo $basic_machine | sed "s/unknown/$vendor/"` | |
742 ;; | |
743 esac | |
744 | |
745 echo $basic_machine$os |