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