Mercurial > emacs
annotate config.sub @ 6678:e29adbacde1d
(Fdo_auto_save): Don't turn off auto save mode.
Instead, store -1 in b->save_length. And don't auto save
if there is -1 there.
(Vinhibit_file_name_handlers): New var.
(syms_of_fileio): Set up Lisp var.
(Ffind_file_name_handler): Obey the variable.
author | Richard M. Stallman <rms@gnu.org> |
---|---|
date | Tue, 05 Apr 1994 03:50:46 +0000 |
parents | 9ab67b3b597a |
children | 0cedd76336a0 |
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 |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
343 os=-bsd |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
344 ;; |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
345 nh3000) |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
346 basic_machine=m68k-harris |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
347 os=-cxux |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
348 ;; |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
349 nh[45]000) |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
350 basic_machine=m88k-harris |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
351 os=-cxux |
629
e47f9ff356ea
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
613
diff
changeset
|
352 ;; |
5609
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
353 nindy960) |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
354 basic_machine=i960-intel |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
355 os=-nindy |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
356 ;; |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
357 np1) |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
358 basic_machine=np1-gould |
576 | 359 ;; |
5609
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
360 pa-hitachi) |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
361 basic_machine=hppa1.1-hitachi |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
362 os=-hiuxwe2 |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
363 ;; |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
364 paragon) |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
365 basic_machine=i860-intel |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
366 os=-osf |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
367 ;; |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
368 pbd) |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
369 basic_machine=sparc-tti |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
370 ;; |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
371 pbb) |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
372 basic_machine=m68k-tti |
576 | 373 ;; |
374 pc532) | |
375 basic_machine=ns32k-pc532 | |
376 ;; | |
5609
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
377 pn) |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
378 basic_machine=pn-gould |
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 ps2) |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
381 basic_machine=i386-ibm |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
382 ;; |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
383 rtpc | rtpc-*) |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
384 basic_machine=romp-ibm |
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 sh) |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
387 basic_machine=sh-hitachi |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
388 os=-hms |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
389 ;; |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
390 sps7) |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
391 basic_machine=m68k-bull |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
392 os=-sysv2 |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
393 ;; |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
394 spur) |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
395 basic_machine=spur-unknown |
576 | 396 ;; |
397 sun2) | |
398 basic_machine=m68000-sun | |
399 ;; | |
400 sun2os3) | |
401 basic_machine=m68000-sun | |
402 os=-sunos3 | |
403 ;; | |
404 sun2os4) | |
405 basic_machine=m68000-sun | |
406 os=-sunos4 | |
407 ;; | |
408 sun3os3) | |
409 basic_machine=m68k-sun | |
410 os=-sunos3 | |
411 ;; | |
412 sun3os4) | |
413 basic_machine=m68k-sun | |
414 os=-sunos4 | |
415 ;; | |
416 sun4os3) | |
417 basic_machine=sparc-sun | |
418 os=-sunos3 | |
419 ;; | |
420 sun4os4) | |
421 basic_machine=sparc-sun | |
422 os=-sunos4 | |
423 ;; | |
424 sun3) | |
425 basic_machine=m68k-sun | |
426 ;; | |
427 sun4) | |
428 basic_machine=sparc-sun | |
429 ;; | |
430 sun386 | sun386i | roadrunner) | |
431 basic_machine=i386-sun | |
432 ;; | |
5609
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
433 symmetry) |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
434 basic_machine=i386-sequent |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
435 os=-dynix |
576 | 436 ;; |
437 tower | tower-32) | |
438 basic_machine=m68k-ncr | |
439 ;; | |
440 ultra3) | |
441 basic_machine=a29k-nyu | |
442 os=-sym1 | |
443 ;; | |
5609
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
444 vaxv) |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
445 basic_machine=vax-dec |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
446 os=-sysv |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
447 ;; |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
448 vms) |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
449 basic_machine=vax-dec |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
450 os=-vms |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
451 ;; |
576 | 452 vxworks960) |
453 basic_machine=i960-wrs | |
454 os=-vxworks | |
455 ;; | |
456 vxworks68) | |
457 basic_machine=m68k-wrs | |
458 os=-vxworks | |
459 ;; | |
5609
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
460 xmp) |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
461 basic_machine=xmp-cray |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
462 os=-unicos |
61b2daccd91e
Alphabetize the list of machine-name aliases.
Richard M. Stallman <rms@gnu.org>
parents:
5576
diff
changeset
|
463 ;; |
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
|
464 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
|
465 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
|
466 ;; |
576 | 467 none) |
468 basic_machine=none-none | |
469 os=-none | |
470 ;; | |
471 | |
472 # Here we handle the default manufacturer of certain CPU types. It is in | |
473 # some cases the only manufacturer, in others, it is the most popular. | |
474 mips) | |
475 basic_machine=mips-mips | |
476 ;; | |
477 romp) | |
478 basic_machine=romp-ibm | |
479 ;; | |
480 rs6000) | |
481 basic_machine=rs6000-ibm | |
482 ;; | |
483 vax) | |
484 basic_machine=vax-dec | |
485 ;; | |
652
88a5b1ed98bb
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
651
diff
changeset
|
486 we32k) |
88a5b1ed98bb
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
651
diff
changeset
|
487 basic_machine=we32k-att |
88a5b1ed98bb
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
651
diff
changeset
|
488 ;; |
576 | 489 sparc) |
490 basic_machine=sparc-sun | |
491 ;; | |
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
|
492 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
|
493 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
|
494 ;; |
9c52fcf232bf
Fri Nov 20 05:24:16 1992 Jim Blandy (jimb@totoro.cs.oberlin.edu)
Jim Blandy <jimb@redhat.com>
parents:
1627
diff
changeset
|
495 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
|
496 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
|
497 ;; |
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 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
|
499 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
|
500 ;; |
576 | 501 *) |
502 echo Invalid configuration \`$1\': machine \`$basic_machine\' not recognized 1>&2 | |
503 exit 1 | |
504 ;; | |
505 esac | |
506 | |
507 # Here we canonicalize certain aliases for manufacturers. | |
508 case $basic_machine in | |
509 *-digital*) | |
510 basic_machine=`echo $basic_machine | sed 's/digital.*/dec/'` | |
511 ;; | |
512 *-commodore*) | |
513 basic_machine=`echo $basic_machine | sed 's/commodore.*/cbm/'` | |
514 ;; | |
515 *) | |
516 ;; | |
517 esac | |
518 | |
519 # Decode manufacturer-specific aliases for certain operating systems. | |
520 | |
4109
76f746324590
if [ "$os" ] --> if [ x"$os" != x"" ]
Doug Evans <dje@gnu.org>
parents:
4084
diff
changeset
|
521 if [ x"$os" != x"" ] |
576 | 522 then |
523 case $os in | |
1732
2dd86a54c11b
Translate sunos5 to solaris2, and solaris1 to sunos4.
Richard M. Stallman <rms@gnu.org>
parents:
1726
diff
changeset
|
524 # -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
|
525 -solaris1 | -solaris1.*) |
2dd86a54c11b
Translate sunos5 to solaris2, and solaris1 to sunos4.
Richard M. Stallman <rms@gnu.org>
parents:
1726
diff
changeset
|
526 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
|
527 ;; |
4055
e5d455b14d82
Make `solaris' reflect the most recent major release.
Doug Evans <dje@gnu.org>
parents:
3934
diff
changeset
|
528 -solaris) |
e5d455b14d82
Make `solaris' reflect the most recent major release.
Doug Evans <dje@gnu.org>
parents:
3934
diff
changeset
|
529 os=-solaris2 |
e5d455b14d82
Make `solaris' reflect the most recent major release.
Doug Evans <dje@gnu.org>
parents:
3934
diff
changeset
|
530 ;; |
576 | 531 # First accept the basic system types. |
532 # The portable systems comes first. | |
533 # 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
|
534 # -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
|
535 -gnu* | -bsd* | -mach* | -minix* | -genix* | -ultrix* | -irix* \ |
1732
2dd86a54c11b
Translate sunos5 to solaris2, and solaris1 to sunos4.
Richard M. Stallman <rms@gnu.org>
parents:
1726
diff
changeset
|
536 | -vms* | -sco* | -esix* | -isc* | -aix* | -sunos | -sunos[34]* | -hpux* \ |
2dd86a54c11b
Translate sunos5 to solaris2, and solaris1 to sunos4.
Richard M. Stallman <rms@gnu.org>
parents:
1726
diff
changeset
|
537 | -unos* | -osf* | -luna* | -dgux* | -solaris* | -sym* \ |
610
5f2f551fc367
*** empty log message ***
Torbjorn Granlund <tege@swox.com>
parents:
607
diff
changeset
|
538 | -amigados* | -msdos* | -newsos* | -unicos* | -aos* \ |
2675 | 539 | -nindy* | -vxworks* | -ebmon* | -hms* | -mvs* | -clix* \ |
3382 | 540 | -riscos* | -linux* | -uniplus* | -iris* | -rtu* | -xenix* \ |
6509 | 541 | -hiux* | -386bsd* | -netbsd* | -freebsd* | -riscix* \ |
542 | -lynxos* | -bosx* ) | |
576 | 543 ;; |
1732
2dd86a54c11b
Translate sunos5 to solaris2, and solaris1 to sunos4.
Richard M. Stallman <rms@gnu.org>
parents:
1726
diff
changeset
|
544 -sunos5*) |
2dd86a54c11b
Translate sunos5 to solaris2, and solaris1 to sunos4.
Richard M. Stallman <rms@gnu.org>
parents:
1726
diff
changeset
|
545 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
|
546 ;; |
2dd86a54c11b
Translate sunos5 to solaris2, and solaris1 to sunos4.
Richard M. Stallman <rms@gnu.org>
parents:
1726
diff
changeset
|
547 -sunos6*) |
2dd86a54c11b
Translate sunos5 to solaris2, and solaris1 to sunos4.
Richard M. Stallman <rms@gnu.org>
parents:
1726
diff
changeset
|
548 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
|
549 ;; |
576 | 550 -osfrose*) |
674
d5c90f190057
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
654
diff
changeset
|
551 os=-osfrose |
576 | 552 ;; |
553 -osf*) | |
674
d5c90f190057
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
654
diff
changeset
|
554 os=-osf |
576 | 555 ;; |
742 | 556 -utek*) |
557 os=-bsd | |
558 ;; | |
576 | 559 -dynix*) |
560 os=-bsd | |
561 ;; | |
562 -acis*) | |
563 os=-aos | |
564 ;; | |
565 -ctix* | -uts*) | |
566 os=-sysv | |
567 ;; | |
568 -triton*) | |
569 os=-sysv3 | |
570 ;; | |
571 -oss*) | |
572 os=-sysv3 | |
573 ;; | |
574 -svr4) | |
575 os=-sysv4 | |
576 ;; | |
3914
a16c11d3670f
Recognize -sysv* after -sysvr4.
Richard M. Stallman <rms@gnu.org>
parents:
3904
diff
changeset
|
577 -svr3) |
a16c11d3670f
Recognize -sysv* after -sysvr4.
Richard M. Stallman <rms@gnu.org>
parents:
3904
diff
changeset
|
578 os=-sysv3 |
a16c11d3670f
Recognize -sysv* after -sysvr4.
Richard M. Stallman <rms@gnu.org>
parents:
3904
diff
changeset
|
579 ;; |
3896
bea021b3124a
Convert ...-sysvr4 into ...-sysv4.
Richard M. Stallman <rms@gnu.org>
parents:
3382
diff
changeset
|
580 -sysvr4) |
bea021b3124a
Convert ...-sysvr4 into ...-sysv4.
Richard M. Stallman <rms@gnu.org>
parents:
3382
diff
changeset
|
581 os=-sysv4 |
bea021b3124a
Convert ...-sysvr4 into ...-sysv4.
Richard M. Stallman <rms@gnu.org>
parents:
3382
diff
changeset
|
582 ;; |
3914
a16c11d3670f
Recognize -sysv* after -sysvr4.
Richard M. Stallman <rms@gnu.org>
parents:
3904
diff
changeset
|
583 # This must come after -sysvr4. |
a16c11d3670f
Recognize -sysv* after -sysvr4.
Richard M. Stallman <rms@gnu.org>
parents:
3904
diff
changeset
|
584 -sysv*) |
576 | 585 ;; |
1627
1c2f6bc3d8fe
* config.sub: Added Xenix operating system.
Jim Blandy <jimb@redhat.com>
parents:
1545
diff
changeset
|
586 -xenix) |
1c2f6bc3d8fe
* config.sub: Added Xenix operating system.
Jim Blandy <jimb@redhat.com>
parents:
1545
diff
changeset
|
587 os=-xenix |
1c2f6bc3d8fe
* config.sub: Added Xenix operating system.
Jim Blandy <jimb@redhat.com>
parents:
1545
diff
changeset
|
588 ;; |
645
57295fc40ac3
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
631
diff
changeset
|
589 -none) |
57295fc40ac3
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
631
diff
changeset
|
590 ;; |
576 | 591 *) |
592 # Get rid of the `-' at the beginning of $os. | |
593 os=`echo $1 | sed 's/[^-]*-//'` | |
594 echo Invalid configuration \`$1\': system \`$os\' not recognized 1>&2 | |
595 exit 1 | |
596 ;; | |
597 esac | |
598 else | |
599 | |
600 # Here we handle the default operating systems that come with various machines. | |
601 # The value should be what the vendor currently ships out the door with their | |
602 # 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
|
603 |
9c52fcf232bf
Fri Nov 20 05:24:16 1992 Jim Blandy (jimb@totoro.cs.oberlin.edu)
Jim Blandy <jimb@redhat.com>
parents:
1627
diff
changeset
|
604 # 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
|
605 # "-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
|
606 # 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
|
607 # 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
|
608 # 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
|
609 |
576 | 610 case $basic_machine in |
4806
d48a4664d92a
Recognize operating system "riscix*"; recognize acorn as vendor
Erich Stefan Boleyn <erich@uruk.org>
parents:
4689
diff
changeset
|
611 *-acorn) |
d48a4664d92a
Recognize operating system "riscix*"; recognize acorn as vendor
Erich Stefan Boleyn <erich@uruk.org>
parents:
4689
diff
changeset
|
612 os=-riscix1.2 |
d48a4664d92a
Recognize operating system "riscix*"; recognize acorn as vendor
Erich Stefan Boleyn <erich@uruk.org>
parents:
4689
diff
changeset
|
613 ;; |
576 | 614 *-dec | vax-*) |
654
6d56ce1261a7
*** empty log message ***
Michael Meissner <gnu@the-meissners.org>
parents:
653
diff
changeset
|
615 os=-ultrix4.2 |
576 | 616 ;; |
617 i386-sun) | |
654
6d56ce1261a7
*** empty log message ***
Michael Meissner <gnu@the-meissners.org>
parents:
653
diff
changeset
|
618 os=-sunos4.0.2 |
576 | 619 ;; |
620 m68000-sun) | |
621 os=-sunos3 | |
622 # This also exists in the configure program, but was not the | |
623 # default. | |
624 # os=-sunos4 | |
625 ;; | |
626 *-tti) # must be before sparc entry or we get the wrong os. | |
627 os=-sysv3 | |
628 ;; | |
629 sparc-* | *-sun) | |
654
6d56ce1261a7
*** empty log message ***
Michael Meissner <gnu@the-meissners.org>
parents:
653
diff
changeset
|
630 os=-sunos4.1.1 |
576 | 631 ;; |
632 *-ibm) | |
633 os=-aix | |
634 ;; | |
635 *-hp) | |
636 os=-hpux | |
637 ;; | |
4901 | 638 *-hitachi) |
639 os=-hiux | |
640 ;; | |
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
|
641 i860-* | *-att | *-ncr | *-altos | *-motorola | *-convergent) |
576 | 642 os=-sysv |
643 ;; | |
644 *-cbm) | |
645 os=-amigados | |
646 ;; | |
647 *-dg) | |
648 os=-dgux | |
649 ;; | |
650 *-dolphin) | |
651 os=-sysv3 | |
652 ;; | |
653 m88k-omron*) | |
654 os=-luna | |
655 ;; | |
1726
e44b2de1b698
Default to bsd for *-sequent.
Richard M. Stallman <rms@gnu.org>
parents:
1631
diff
changeset
|
656 *-sequent) |
e44b2de1b698
Default to bsd for *-sequent.
Richard M. Stallman <rms@gnu.org>
parents:
1631
diff
changeset
|
657 os=-bsd |
e44b2de1b698
Default to bsd for *-sequent.
Richard M. Stallman <rms@gnu.org>
parents:
1631
diff
changeset
|
658 ;; |
576 | 659 *-crds) |
660 os=-unos | |
661 ;; | |
662 *-ns) | |
663 os=-genix | |
664 ;; | |
2495 | 665 i370-*) |
666 os=-mvs | |
667 ;; | |
2497
55f73883303f
> Default to bsd if vendor is next.
Tom Wood <wood@next.com>
parents:
2495
diff
changeset
|
668 *-next) |
55f73883303f
> Default to bsd if vendor is next.
Tom Wood <wood@next.com>
parents:
2495
diff
changeset
|
669 os=-bsd |
55f73883303f
> Default to bsd if vendor is next.
Tom Wood <wood@next.com>
parents:
2495
diff
changeset
|
670 ;; |
738
81cd2a003397
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
674
diff
changeset
|
671 i[34]86-*) |
646
e283d4164aca
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
645
diff
changeset
|
672 os=-sco3.2v2 |
576 | 673 ;; |
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
|
674 *-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
|
675 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
|
676 ;; |
9c52fcf232bf
Fri Nov 20 05:24:16 1992 Jim Blandy (jimb@totoro.cs.oberlin.edu)
Jim Blandy <jimb@redhat.com>
parents:
1627
diff
changeset
|
677 *-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
|
678 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
|
679 ;; |
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 *-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
|
681 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
|
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 *-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
|
684 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
|
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 *-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
|
687 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
|
688 ;; |
576 | 689 *) |
690 os=-none | |
691 ;; | |
692 esac | |
693 fi | |
694 | |
695 # Here we handle the case where we know the os, and the CPU type, but not the | |
696 # manufacturer. We pick the logical manufacturer. | |
697 vendor=unknown | |
698 case $basic_machine in | |
699 *-unknown) | |
700 case $os in | |
4806
d48a4664d92a
Recognize operating system "riscix*"; recognize acorn as vendor
Erich Stefan Boleyn <erich@uruk.org>
parents:
4689
diff
changeset
|
701 -riscix*) |
d48a4664d92a
Recognize operating system "riscix*"; recognize acorn as vendor
Erich Stefan Boleyn <erich@uruk.org>
parents:
4689
diff
changeset
|
702 vendor=acorn |
d48a4664d92a
Recognize operating system "riscix*"; recognize acorn as vendor
Erich Stefan Boleyn <erich@uruk.org>
parents:
4689
diff
changeset
|
703 ;; |
576 | 704 -sunos*) |
705 vendor=sun | |
706 ;; | |
4204 | 707 -lynxos*) |
708 vendor=lynx | |
709 ;; | |
576 | 710 -aix*) |
711 vendor=ibm | |
712 ;; | |
713 -hpux*) | |
714 vendor=hp | |
715 ;; | |
4901 | 716 -hiux*) |
717 vendor=hitachi | |
718 ;; | |
576 | 719 -unos*) |
720 vendor=crds | |
721 ;; | |
722 -dgux*) | |
723 vendor=dg | |
724 ;; | |
725 -luna*) | |
726 vendor=omron | |
727 ;; | |
728 -genix*) | |
729 vendor=ns | |
730 ;; | |
2495 | 731 -mvs*) |
732 vendor=ibm | |
733 ;; | |
576 | 734 esac |
735 basic_machine=`echo $basic_machine | sed "s/unknown/$vendor/"` | |
736 ;; | |
737 esac | |
738 | |
739 echo $basic_machine$os |