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