Mercurial > emacs
annotate config.sub @ 8616:b9a9389714e1
(comint-arguments): Rewrite for speed.
Don't keep parsing once we have enough args.
author | Richard M. Stallman <rms@gnu.org> |
---|---|
date | Wed, 24 Aug 1994 23:31:55 +0000 |
parents | ba929681675f |
children | a131e8501151 |
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 \ |
8206
efcf78560698
(basic_machine): Add 1750a.
Richard Kenner <kenner@gnu.org>
parents:
8013
diff
changeset
|
115 | powerpc | sparc64 | 1750a) |
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-* \ |
7909 | 130 | sh-* | powerpc-* | sparc64-*) |
576 | 131 ;; |
8606 | 132 # Recognize names of some NetBSD ports. |
8615
ba929681675f
Add da30-* for da30-unknown-netbsd*.
Charles Hannum <mycroft@gnu.org>
parents:
8614
diff
changeset
|
133 hp300-* | amiga-* | sun3-* | da30-* | pmax-*) |
8606 | 134 ;; |
6122 | 135 # Recognize the various machine names and aliases which stand |
136 # 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
|
137 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
|
138 basic_machine=m68000-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 3b*) |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
141 basic_machine=we32k-att |
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 alliant | fx80) |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
144 basic_machine=fx80-alliant |
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 altos | altos3068) |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
147 basic_machine=m68k-altos |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
148 ;; |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
149 am29k) |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
150 basic_machine=a29k-none |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
151 os=-bsd |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
152 ;; |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
153 amdahl) |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
154 basic_machine=580-amdahl |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
155 os=-sysv |
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 amiga) |
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 ;; |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
160 amigados) |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
161 basic_machine=m68k-cbm |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
162 os=-amigados |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
163 ;; |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
164 amigaunix | amix) |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
165 basic_machine=m68k-cbm |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
166 os=-sysv4 |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
167 ;; |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
168 apollo68) |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
169 basic_machine=m68k-apollo |
576 | 170 os=-sysv |
171 ;; | |
5609
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
172 balance) |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
173 basic_machine=ns32k-sequent |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
174 os=-dynix |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
175 ;; |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
176 convex-c1) |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
177 basic_machine=c1-convex |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
178 os=-bsd |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
179 ;; |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
180 convex-c2) |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
181 basic_machine=c2-convex |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
182 os=-bsd |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
183 ;; |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
184 convex-c32) |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
185 basic_machine=c32-convex |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
186 os=-bsd |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
187 ;; |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
188 convex-c34) |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
189 basic_machine=c34-convex |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
190 os=-bsd |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
191 ;; |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
192 convex-c38) |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
193 basic_machine=c38-convex |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
194 os=-bsd |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
195 ;; |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
196 cray | ymp) |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
197 basic_machine=ymp-cray |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
198 os=-unicos |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
199 ;; |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
200 cray2) |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
201 basic_machine=cray2-cray |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
202 os=-unicos |
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 crds | unos) |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
205 basic_machine=m68k-crds |
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 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
|
208 basic_machine=mips-dec |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
209 ;; |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
210 delta | 3300 | motorola-3300 | motorola-delta \ |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
211 | 3300-motorola | delta-motorola) |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
212 basic_machine=m68k-motorola |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
213 ;; |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
214 delta88) |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
215 basic_machine=m88k-motorola |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
216 os=-sysv3 |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
217 ;; |
6509 | 218 dpx20 | dpx20-*) |
219 basic_machine=rs6000-bull | |
220 os=-bosx | |
221 ;; | |
5609
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
222 dpx2* | dpx2*-bull) |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
223 basic_machine=m68k-bull |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
224 os=-sysv3 |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
225 ;; |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
226 ebmon29k) |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
227 basic_machine=a29k-amd |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
228 os=-ebmon |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
229 ;; |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
230 elxsi) |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
231 basic_machine=elxsi-elxsi |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
232 os=-bsd |
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 encore | umax | mmax) |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
235 basic_machine=ns32k-encore |
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 fx2800) |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
238 basic_machine=i860-alliant |
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 genix) |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
241 basic_machine=ns32k-ns |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
242 ;; |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
243 gmicro) |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
244 basic_machine=tron-gmicro |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
245 os=-sysv |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
246 ;; |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
247 h3050r* | hiux*) |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
248 basic_machine=hppa1.1-hitachi |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
249 os=-hiuxwe2 |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
250 ;; |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
251 h8300hms) |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
252 basic_machine=h8300-hitachi |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
253 os=-hms |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
254 ;; |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
255 harris) |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
256 basic_machine=m88k-harris |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
257 os=-sysv3 |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
258 ;; |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
259 hp300bsd) |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
260 basic_machine=m68k-hp |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
261 os=-bsd |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
262 ;; |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
263 hp300hpux) |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
264 basic_machine=m68k-hp |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
265 os=-hpux |
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 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
|
268 basic_machine=m68000-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 hp9k3[2-9][0-9]) |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
271 basic_machine=m68k-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 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
|
274 basic_machine=hppa1.1-hp |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
275 ;; |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
276 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
|
277 basic_machine=hppa1.0-hp |
576 | 278 ;; |
2495 | 279 i370-ibm* | ibm*) |
280 basic_machine=i370-ibm | |
281 os=-mvs | |
282 ;; | |
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
|
283 # 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
|
284 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
|
285 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
|
286 os=-sysv32 |
81cd2a003397
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
674
diff
changeset
|
287 ;; |
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
|
288 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
|
289 basic_machine=`echo $1 | sed -e 's/86.*/86-unknown/'` |
576 | 290 os=-sysv4 |
291 ;; | |
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
|
292 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
|
293 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
|
294 os=-sysv |
81cd2a003397
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
674
diff
changeset
|
295 ;; |
1840
b00ada422354
(i[34]86sol2): New abbrev for i[34]86-unknown-solaris2.
Jim Wilson <wilson@gnu.org>
parents:
1735
diff
changeset
|
296 i[34]86sol2) |
b00ada422354
(i[34]86sol2): New abbrev for i[34]86-unknown-solaris2.
Jim Wilson <wilson@gnu.org>
parents:
1735
diff
changeset
|
297 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
|
298 os=-solaris2 |
b00ada422354
(i[34]86sol2): New abbrev for i[34]86-unknown-solaris2.
Jim Wilson <wilson@gnu.org>
parents:
1735
diff
changeset
|
299 ;; |
576 | 300 iris | iris4d) |
301 basic_machine=mips-sgi | |
651
144027c7abb2
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
646
diff
changeset
|
302 case $os in |
144027c7abb2
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
646
diff
changeset
|
303 -irix*) |
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 *) |
144027c7abb2
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
646
diff
changeset
|
306 os=-irix4 |
144027c7abb2
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
646
diff
changeset
|
307 ;; |
144027c7abb2
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
646
diff
changeset
|
308 esac |
576 | 309 ;; |
5609
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
310 isi68 | isi) |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
311 basic_machine=m68k-isi |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
312 os=-sysv |
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 m88k-omron*) |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
315 basic_machine=m88k-omron |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
316 ;; |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
317 magnum | m3230) |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
318 basic_machine=mips-mips |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
319 os=-sysv |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
320 ;; |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
321 merlin) |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
322 basic_machine=ns32k-utek |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
323 os=-sysv |
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 miniframe) |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
326 basic_machine=m68000-convergent |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
327 ;; |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
328 ncr3000) |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
329 basic_machine=i486-ncr |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
330 os=-sysv4 |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
331 ;; |
576 | 332 news | news700 | news800 | news900) |
333 basic_machine=m68k-sony | |
334 os=-newsos | |
335 ;; | |
5609
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
336 news1000) |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
337 basic_machine=m68030-sony |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
338 os=-newsos |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
339 ;; |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
340 news-3600 | risc-news) |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
341 basic_machine=mips-sony |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
342 os=-newsos |
576 | 343 ;; |
5609
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
344 next) |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
345 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
|
346 case $os in |
0cedd76336a0
Add ns* as operating systems; default to ns2 for NeXT.
Richard Kenner <kenner@gnu.org>
parents:
6509
diff
changeset
|
347 -ns2*) |
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 *) |
6836
64e20f3960e8
(next): Fix typo in m68k-next-ns3 alternative.
Richard M. Stallman <rms@gnu.org>
parents:
6771
diff
changeset
|
350 os=-ns3 |
6771
0cedd76336a0
Add ns* as operating systems; default to ns2 for NeXT.
Richard Kenner <kenner@gnu.org>
parents:
6509
diff
changeset
|
351 ;; |
0cedd76336a0
Add ns* as operating systems; default to ns2 for NeXT.
Richard Kenner <kenner@gnu.org>
parents:
6509
diff
changeset
|
352 esac |
5609
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
353 ;; |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
354 nh3000) |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
355 basic_machine=m68k-harris |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
356 os=-cxux |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
357 ;; |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
358 nh[45]000) |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
359 basic_machine=m88k-harris |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
360 os=-cxux |
629
e47f9ff356ea
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
613
diff
changeset
|
361 ;; |
5609
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
362 nindy960) |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
363 basic_machine=i960-intel |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
364 os=-nindy |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
365 ;; |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
366 np1) |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
367 basic_machine=np1-gould |
576 | 368 ;; |
5609
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
369 pa-hitachi) |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
370 basic_machine=hppa1.1-hitachi |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
371 os=-hiuxwe2 |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
372 ;; |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
373 paragon) |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
374 basic_machine=i860-intel |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
375 os=-osf |
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 pbd) |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
378 basic_machine=sparc-tti |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
379 ;; |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
380 pbb) |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
381 basic_machine=m68k-tti |
576 | 382 ;; |
383 pc532) | |
8606 | 384 case $os in |
385 -netbsd*) | |
386 basic_machine=pc532-unknown | |
387 ;; | |
388 *) | |
389 basic_machine=ns32k-pc532 | |
390 ;; | |
391 esac | |
576 | 392 ;; |
8585
f9d1fe1ed6ec
Move m68k-ccur handling to proper part of file.
Richard M. Stallman <rms@gnu.org>
parents:
8206
diff
changeset
|
393 pentium-*) |
f9d1fe1ed6ec
Move m68k-ccur handling to proper part of file.
Richard M. Stallman <rms@gnu.org>
parents:
8206
diff
changeset
|
394 # We will change tis to say i586 once there has been |
f9d1fe1ed6ec
Move m68k-ccur handling to proper part of file.
Richard M. Stallman <rms@gnu.org>
parents:
8206
diff
changeset
|
395 # time for various packages to start to recognize that. |
f9d1fe1ed6ec
Move m68k-ccur handling to proper part of file.
Richard M. Stallman <rms@gnu.org>
parents:
8206
diff
changeset
|
396 basic_machine=i486-`echo $basic_machine | sed 's/^[^-]*-//'` |
f9d1fe1ed6ec
Move m68k-ccur handling to proper part of file.
Richard M. Stallman <rms@gnu.org>
parents:
8206
diff
changeset
|
397 ;; |
5609
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
398 pn) |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
399 basic_machine=pn-gould |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
400 ;; |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
401 ps2) |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
402 basic_machine=i386-ibm |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
403 ;; |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
404 rtpc | rtpc-*) |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
405 basic_machine=romp-ibm |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
406 ;; |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
407 sh) |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
408 basic_machine=sh-hitachi |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
409 os=-hms |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
410 ;; |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
411 sps7) |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
412 basic_machine=m68k-bull |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
413 os=-sysv2 |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
414 ;; |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
415 spur) |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
416 basic_machine=spur-unknown |
576 | 417 ;; |
418 sun2) | |
419 basic_machine=m68000-sun | |
420 ;; | |
421 sun2os3) | |
422 basic_machine=m68000-sun | |
423 os=-sunos3 | |
424 ;; | |
425 sun2os4) | |
426 basic_machine=m68000-sun | |
427 os=-sunos4 | |
428 ;; | |
429 sun3os3) | |
430 basic_machine=m68k-sun | |
431 os=-sunos3 | |
432 ;; | |
433 sun3os4) | |
434 basic_machine=m68k-sun | |
435 os=-sunos4 | |
436 ;; | |
437 sun4os3) | |
438 basic_machine=sparc-sun | |
439 os=-sunos3 | |
440 ;; | |
441 sun4os4) | |
442 basic_machine=sparc-sun | |
443 os=-sunos4 | |
444 ;; | |
445 sun3) | |
446 basic_machine=m68k-sun | |
447 ;; | |
448 sun4) | |
449 basic_machine=sparc-sun | |
450 ;; | |
451 sun386 | sun386i | roadrunner) | |
452 basic_machine=i386-sun | |
453 ;; | |
5609
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
454 symmetry) |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
455 basic_machine=i386-sequent |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
456 os=-dynix |
576 | 457 ;; |
458 tower | tower-32) | |
459 basic_machine=m68k-ncr | |
460 ;; | |
461 ultra3) | |
462 basic_machine=a29k-nyu | |
463 os=-sym1 | |
464 ;; | |
5609
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
465 vaxv) |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
466 basic_machine=vax-dec |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
467 os=-sysv |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
468 ;; |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
469 vms) |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
470 basic_machine=vax-dec |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
471 os=-vms |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
472 ;; |
576 | 473 vxworks960) |
474 basic_machine=i960-wrs | |
475 os=-vxworks | |
476 ;; | |
477 vxworks68) | |
478 basic_machine=m68k-wrs | |
479 os=-vxworks | |
480 ;; | |
5609
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
481 xmp) |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
482 basic_machine=xmp-cray |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
483 os=-unicos |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
484 ;; |
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
|
485 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
|
486 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
|
487 ;; |
576 | 488 none) |
489 basic_machine=none-none | |
490 os=-none | |
491 ;; | |
492 | |
493 # Here we handle the default manufacturer of certain CPU types. It is in | |
494 # some cases the only manufacturer, in others, it is the most popular. | |
495 mips) | |
496 basic_machine=mips-mips | |
497 ;; | |
498 romp) | |
499 basic_machine=romp-ibm | |
500 ;; | |
501 rs6000) | |
502 basic_machine=rs6000-ibm | |
503 ;; | |
504 vax) | |
505 basic_machine=vax-dec | |
506 ;; | |
652
88a5b1ed98bb
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
651
diff
changeset
|
507 we32k) |
88a5b1ed98bb
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
651
diff
changeset
|
508 basic_machine=we32k-att |
88a5b1ed98bb
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
651
diff
changeset
|
509 ;; |
576 | 510 sparc) |
511 basic_machine=sparc-sun | |
512 ;; | |
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
|
513 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
|
514 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
|
515 ;; |
9c52fcf232bf
Fri Nov 20 05:24:16 1992 Jim Blandy (jimb@totoro.cs.oberlin.edu)
Jim Blandy <jimb@redhat.com>
parents:
1627
diff
changeset
|
516 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
|
517 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
|
518 ;; |
9c52fcf232bf
Fri Nov 20 05:24:16 1992 Jim Blandy (jimb@totoro.cs.oberlin.edu)
Jim Blandy <jimb@redhat.com>
parents:
1627
diff
changeset
|
519 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
|
520 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
|
521 ;; |
576 | 522 *) |
523 echo Invalid configuration \`$1\': machine \`$basic_machine\' not recognized 1>&2 | |
524 exit 1 | |
525 ;; | |
526 esac | |
527 | |
528 # Here we canonicalize certain aliases for manufacturers. | |
529 case $basic_machine in | |
530 *-digital*) | |
531 basic_machine=`echo $basic_machine | sed 's/digital.*/dec/'` | |
532 ;; | |
533 *-commodore*) | |
534 basic_machine=`echo $basic_machine | sed 's/commodore.*/cbm/'` | |
535 ;; | |
536 *) | |
537 ;; | |
538 esac | |
539 | |
540 # Decode manufacturer-specific aliases for certain operating systems. | |
541 | |
4109
76f746324590
if [ "$os" ] --> if [ x"$os" != x"" ]
Doug Evans <dje@gnu.org>
parents:
4084
diff
changeset
|
542 if [ x"$os" != x"" ] |
576 | 543 then |
544 case $os in | |
1732
2dd86a54c11b
Translate sunos5 to solaris2, and solaris1 to sunos4.
Richard M. Stallman <rms@gnu.org>
parents:
1726
diff
changeset
|
545 # -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
|
546 -solaris1 | -solaris1.*) |
2dd86a54c11b
Translate sunos5 to solaris2, and solaris1 to sunos4.
Richard M. Stallman <rms@gnu.org>
parents:
1726
diff
changeset
|
547 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
|
548 ;; |
4055
e5d455b14d82
Make `solaris' reflect the most recent major release.
Doug Evans <dje@gnu.org>
parents:
3934
diff
changeset
|
549 -solaris) |
e5d455b14d82
Make `solaris' reflect the most recent major release.
Doug Evans <dje@gnu.org>
parents:
3934
diff
changeset
|
550 os=-solaris2 |
e5d455b14d82
Make `solaris' reflect the most recent major release.
Doug Evans <dje@gnu.org>
parents:
3934
diff
changeset
|
551 ;; |
576 | 552 # First accept the basic system types. |
553 # The portable systems comes first. | |
554 # 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
|
555 # -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
|
556 -gnu* | -bsd* | -mach* | -minix* | -genix* | -ultrix* | -irix* \ |
7089 | 557 | -vms* | -sco* | -esix* | -isc* | -aix* | -sunos | -sunos[34]* \ |
558 | -hpux* | -unos* | -osf* | -luna* | -dgux* | -solaris* | -sym* \ | |
610
5f2f551fc367
*** empty log message ***
Torbjorn Granlund <tege@swox.com>
parents:
607
diff
changeset
|
559 | -amigados* | -msdos* | -newsos* | -unicos* | -aos* \ |
2675 | 560 | -nindy* | -vxworks* | -ebmon* | -hms* | -mvs* | -clix* \ |
3382 | 561 | -riscos* | -linux* | -uniplus* | -iris* | -rtu* | -xenix* \ |
6509 | 562 | -hiux* | -386bsd* | -netbsd* | -freebsd* | -riscix* \ |
7909 | 563 | -lynxos* | -bosx* | -ns* | -cxux* | -aout* | -elf*) |
576 | 564 ;; |
1732
2dd86a54c11b
Translate sunos5 to solaris2, and solaris1 to sunos4.
Richard M. Stallman <rms@gnu.org>
parents:
1726
diff
changeset
|
565 -sunos5*) |
2dd86a54c11b
Translate sunos5 to solaris2, and solaris1 to sunos4.
Richard M. Stallman <rms@gnu.org>
parents:
1726
diff
changeset
|
566 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
|
567 ;; |
2dd86a54c11b
Translate sunos5 to solaris2, and solaris1 to sunos4.
Richard M. Stallman <rms@gnu.org>
parents:
1726
diff
changeset
|
568 -sunos6*) |
2dd86a54c11b
Translate sunos5 to solaris2, and solaris1 to sunos4.
Richard M. Stallman <rms@gnu.org>
parents:
1726
diff
changeset
|
569 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
|
570 ;; |
576 | 571 -osfrose*) |
674
d5c90f190057
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
654
diff
changeset
|
572 os=-osfrose |
576 | 573 ;; |
574 -osf*) | |
674
d5c90f190057
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
654
diff
changeset
|
575 os=-osf |
576 | 576 ;; |
742 | 577 -utek*) |
578 os=-bsd | |
579 ;; | |
576 | 580 -dynix*) |
581 os=-bsd | |
582 ;; | |
583 -acis*) | |
584 os=-aos | |
585 ;; | |
586 -ctix* | -uts*) | |
587 os=-sysv | |
588 ;; | |
589 -triton*) | |
590 os=-sysv3 | |
591 ;; | |
592 -oss*) | |
593 os=-sysv3 | |
594 ;; | |
595 -svr4) | |
596 os=-sysv4 | |
597 ;; | |
3914
a16c11d3670f
Recognize -sysv* after -sysvr4.
Richard M. Stallman <rms@gnu.org>
parents:
3904
diff
changeset
|
598 -svr3) |
a16c11d3670f
Recognize -sysv* after -sysvr4.
Richard M. Stallman <rms@gnu.org>
parents:
3904
diff
changeset
|
599 os=-sysv3 |
a16c11d3670f
Recognize -sysv* after -sysvr4.
Richard M. Stallman <rms@gnu.org>
parents:
3904
diff
changeset
|
600 ;; |
3896
bea021b3124a
Convert ...-sysvr4 into ...-sysv4.
Richard M. Stallman <rms@gnu.org>
parents:
3382
diff
changeset
|
601 -sysvr4) |
bea021b3124a
Convert ...-sysvr4 into ...-sysv4.
Richard M. Stallman <rms@gnu.org>
parents:
3382
diff
changeset
|
602 os=-sysv4 |
bea021b3124a
Convert ...-sysvr4 into ...-sysv4.
Richard M. Stallman <rms@gnu.org>
parents:
3382
diff
changeset
|
603 ;; |
3914
a16c11d3670f
Recognize -sysv* after -sysvr4.
Richard M. Stallman <rms@gnu.org>
parents:
3904
diff
changeset
|
604 # This must come after -sysvr4. |
a16c11d3670f
Recognize -sysv* after -sysvr4.
Richard M. Stallman <rms@gnu.org>
parents:
3904
diff
changeset
|
605 -sysv*) |
576 | 606 ;; |
1627
1c2f6bc3d8fe
* config.sub: Added Xenix operating system.
Jim Blandy <jimb@redhat.com>
parents:
1545
diff
changeset
|
607 -xenix) |
1c2f6bc3d8fe
* config.sub: Added Xenix operating system.
Jim Blandy <jimb@redhat.com>
parents:
1545
diff
changeset
|
608 os=-xenix |
1c2f6bc3d8fe
* config.sub: Added Xenix operating system.
Jim Blandy <jimb@redhat.com>
parents:
1545
diff
changeset
|
609 ;; |
645
57295fc40ac3
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
631
diff
changeset
|
610 -none) |
57295fc40ac3
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
631
diff
changeset
|
611 ;; |
576 | 612 *) |
613 # 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
|
614 os=`echo $os | sed 's/[^-]*-//'` |
576 | 615 echo Invalid configuration \`$1\': system \`$os\' not recognized 1>&2 |
616 exit 1 | |
617 ;; | |
618 esac | |
619 else | |
620 | |
621 # Here we handle the default operating systems that come with various machines. | |
622 # The value should be what the vendor currently ships out the door with their | |
623 # 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
|
624 |
9c52fcf232bf
Fri Nov 20 05:24:16 1992 Jim Blandy (jimb@totoro.cs.oberlin.edu)
Jim Blandy <jimb@redhat.com>
parents:
1627
diff
changeset
|
625 # 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
|
626 # "-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
|
627 # 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
|
628 # 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
|
629 # 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
|
630 |
576 | 631 case $basic_machine in |
4806
d48a4664d92a
Recognize operating system "riscix*"; recognize acorn as vendor
Erich Stefan Boleyn <erich@uruk.org>
parents:
4689
diff
changeset
|
632 *-acorn) |
d48a4664d92a
Recognize operating system "riscix*"; recognize acorn as vendor
Erich Stefan Boleyn <erich@uruk.org>
parents:
4689
diff
changeset
|
633 os=-riscix1.2 |
d48a4664d92a
Recognize operating system "riscix*"; recognize acorn as vendor
Erich Stefan Boleyn <erich@uruk.org>
parents:
4689
diff
changeset
|
634 ;; |
576 | 635 *-dec | vax-*) |
654
6d56ce1261a7
*** empty log message ***
Michael Meissner <gnu@the-meissners.org>
parents:
653
diff
changeset
|
636 os=-ultrix4.2 |
576 | 637 ;; |
638 i386-sun) | |
654
6d56ce1261a7
*** empty log message ***
Michael Meissner <gnu@the-meissners.org>
parents:
653
diff
changeset
|
639 os=-sunos4.0.2 |
576 | 640 ;; |
641 m68000-sun) | |
642 os=-sunos3 | |
643 # This also exists in the configure program, but was not the | |
644 # default. | |
645 # os=-sunos4 | |
646 ;; | |
647 *-tti) # must be before sparc entry or we get the wrong os. | |
648 os=-sysv3 | |
649 ;; | |
650 sparc-* | *-sun) | |
654
6d56ce1261a7
*** empty log message ***
Michael Meissner <gnu@the-meissners.org>
parents:
653
diff
changeset
|
651 os=-sunos4.1.1 |
576 | 652 ;; |
653 *-ibm) | |
654 os=-aix | |
655 ;; | |
656 *-hp) | |
657 os=-hpux | |
658 ;; | |
4901 | 659 *-hitachi) |
660 os=-hiux | |
661 ;; | |
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
|
662 i860-* | *-att | *-ncr | *-altos | *-motorola | *-convergent) |
576 | 663 os=-sysv |
664 ;; | |
665 *-cbm) | |
666 os=-amigados | |
667 ;; | |
668 *-dg) | |
669 os=-dgux | |
670 ;; | |
671 *-dolphin) | |
672 os=-sysv3 | |
673 ;; | |
8585
f9d1fe1ed6ec
Move m68k-ccur handling to proper part of file.
Richard M. Stallman <rms@gnu.org>
parents:
8206
diff
changeset
|
674 m68k-ccur) |
f9d1fe1ed6ec
Move m68k-ccur handling to proper part of file.
Richard M. Stallman <rms@gnu.org>
parents:
8206
diff
changeset
|
675 os=-rtu |
f9d1fe1ed6ec
Move m68k-ccur handling to proper part of file.
Richard M. Stallman <rms@gnu.org>
parents:
8206
diff
changeset
|
676 ;; |
576 | 677 m88k-omron*) |
678 os=-luna | |
679 ;; | |
1726
e44b2de1b698
Default to bsd for *-sequent.
Richard M. Stallman <rms@gnu.org>
parents:
1631
diff
changeset
|
680 *-sequent) |
e44b2de1b698
Default to bsd for *-sequent.
Richard M. Stallman <rms@gnu.org>
parents:
1631
diff
changeset
|
681 os=-bsd |
e44b2de1b698
Default to bsd for *-sequent.
Richard M. Stallman <rms@gnu.org>
parents:
1631
diff
changeset
|
682 ;; |
576 | 683 *-crds) |
684 os=-unos | |
685 ;; | |
686 *-ns) | |
687 os=-genix | |
688 ;; | |
2495 | 689 i370-*) |
690 os=-mvs | |
691 ;; | |
2497
55f73883303f
> Default to bsd if vendor is next.
Tom Wood <wood@next.com>
parents:
2495
diff
changeset
|
692 *-next) |
55f73883303f
> Default to bsd if vendor is next.
Tom Wood <wood@next.com>
parents:
2495
diff
changeset
|
693 os=-bsd |
55f73883303f
> Default to bsd if vendor is next.
Tom Wood <wood@next.com>
parents:
2495
diff
changeset
|
694 ;; |
738
81cd2a003397
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
674
diff
changeset
|
695 i[34]86-*) |
646
e283d4164aca
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
645
diff
changeset
|
696 os=-sco3.2v2 |
576 | 697 ;; |
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
|
698 *-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
|
699 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
|
700 ;; |
9c52fcf232bf
Fri Nov 20 05:24:16 1992 Jim Blandy (jimb@totoro.cs.oberlin.edu)
Jim Blandy <jimb@redhat.com>
parents:
1627
diff
changeset
|
701 *-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
|
702 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
|
703 ;; |
9c52fcf232bf
Fri Nov 20 05:24:16 1992 Jim Blandy (jimb@totoro.cs.oberlin.edu)
Jim Blandy <jimb@redhat.com>
parents:
1627
diff
changeset
|
704 *-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
|
705 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
|
706 ;; |
9c52fcf232bf
Fri Nov 20 05:24:16 1992 Jim Blandy (jimb@totoro.cs.oberlin.edu)
Jim Blandy <jimb@redhat.com>
parents:
1627
diff
changeset
|
707 *-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
|
708 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
|
709 ;; |
9c52fcf232bf
Fri Nov 20 05:24:16 1992 Jim Blandy (jimb@totoro.cs.oberlin.edu)
Jim Blandy <jimb@redhat.com>
parents:
1627
diff
changeset
|
710 *-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
|
711 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
|
712 ;; |
576 | 713 *) |
714 os=-none | |
715 ;; | |
716 esac | |
717 fi | |
718 | |
719 # Here we handle the case where we know the os, and the CPU type, but not the | |
720 # manufacturer. We pick the logical manufacturer. | |
721 vendor=unknown | |
722 case $basic_machine in | |
723 *-unknown) | |
724 case $os in | |
4806
d48a4664d92a
Recognize operating system "riscix*"; recognize acorn as vendor
Erich Stefan Boleyn <erich@uruk.org>
parents:
4689
diff
changeset
|
725 -riscix*) |
d48a4664d92a
Recognize operating system "riscix*"; recognize acorn as vendor
Erich Stefan Boleyn <erich@uruk.org>
parents:
4689
diff
changeset
|
726 vendor=acorn |
d48a4664d92a
Recognize operating system "riscix*"; recognize acorn as vendor
Erich Stefan Boleyn <erich@uruk.org>
parents:
4689
diff
changeset
|
727 ;; |
576 | 728 -sunos*) |
729 vendor=sun | |
730 ;; | |
4204 | 731 -lynxos*) |
732 vendor=lynx | |
733 ;; | |
576 | 734 -aix*) |
735 vendor=ibm | |
736 ;; | |
737 -hpux*) | |
738 vendor=hp | |
739 ;; | |
4901 | 740 -hiux*) |
741 vendor=hitachi | |
742 ;; | |
576 | 743 -unos*) |
744 vendor=crds | |
745 ;; | |
746 -dgux*) | |
747 vendor=dg | |
748 ;; | |
749 -luna*) | |
750 vendor=omron | |
751 ;; | |
752 -genix*) | |
753 vendor=ns | |
754 ;; | |
2495 | 755 -mvs*) |
756 vendor=ibm | |
757 ;; | |
576 | 758 esac |
759 basic_machine=`echo $basic_machine | sed "s/unknown/$vendor/"` | |
760 ;; | |
761 esac | |
762 | |
763 echo $basic_machine$os |