annotate config.sub @ 9941:6d82f17895cf

(tags-query-replace): Use query-replace-read-args in interactive spec.
author Roland McGrath <roland@gnu.org>
date Tue, 15 Nov 1994 21:03:22 +0000
parents 5cc36be39154
children 6a72b1f71ee4
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
576
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
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
1449eaee85a9 Fix typo in -hiux* case.
Richard Kenner <kenner@gnu.org>
parents: 4902
diff changeset
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
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
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
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
26
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
27 # Configuration subroutine to validate and canonicalize a configuration type.
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
28 # Supply the specified configuration type as an argument.
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
29 # If it is invalid, we print an error message on stderr and exit with code 1.
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
30 # Otherwise, we print the canonical config type on stdout and succeed.
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
31
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
32 # This file is supposed to be the same for all GNU packages
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
33 # and recognize all the CPU types, system types and aliases
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
34 # that are meaningful with *any* GNU software.
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
35 # Each package is responsible for reporting which valid configurations
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
36 # it does not support. The user should be able to distinguish
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
37 # a failure to support a valid configuration from a meaningless
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
38 # configuration.
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
39
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
40 # The goal of this file is to map all the various variations of a given
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
41 # machine specification into a single specification in the form:
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
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
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
44
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
45 # First pass through any local machine types.
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
46 case $1 in
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
47 *local*)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
48 echo $1
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
49 exit 0
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
50 ;;
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
51 *)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
52 ;;
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
53 esac
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
54
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
55 # Separate what the user gave into CPU-COMPANY and OS (if any).
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
56 basic_machine=`echo $1 | sed 's/-[^-]*$//'`
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
57 if [ $basic_machine != $1 ]
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
58 then os=`echo $1 | sed 's/.*-/-/'`
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
59 else os=; fi
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
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
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
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
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
69 -dec* | -mips* | -sequent* | -encore* | -pc532* | -sgi* | -sony* | \
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
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
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
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
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
75 os=
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
76 basic_machine=$1
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
77 ;;
4901
c8bade6c2b02 Add H3050/RX support.
Richard Kenner <kenner@gnu.org>
parents: 4898
diff changeset
78 -hiux*)
5576
1449eaee85a9 Fix typo in -hiux* case.
Richard Kenner <kenner@gnu.org>
parents: 4902
diff changeset
79 os=-hiuxwe2
4901
c8bade6c2b02 Add H3050/RX support.
Richard Kenner <kenner@gnu.org>
parents: 4898
diff changeset
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
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
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
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
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
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
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
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
106 ;;
4204
de836f326554 (lynx): Recognize as vendor.
Jim Wilson <wilson@gnu.org>
parents: 4109
diff changeset
107 -lynx)
de836f326554 (lynx): Recognize as vendor.
Jim Wilson <wilson@gnu.org>
parents: 4109
diff changeset
108 os=-lynxos
de836f326554 (lynx): Recognize as vendor.
Jim Wilson <wilson@gnu.org>
parents: 4109
diff changeset
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
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
116 esac
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
117
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
118 # Decode aliases for certain CPU-COMPANY combinations.
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
119 case $basic_machine in
4829
d223eac75bc4 fix 2 typos
Doug Evans <dje@gnu.org>
parents: 4806
diff changeset
120 # Recognize the basic CPU types without company name.
576
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
121 # Some are omitted here because they have special meanings below.
8719
8c82017999af Accept i586 like i386.
Richard M. Stallman <rms@gnu.org>
parents: 8716
diff changeset
122 tahoe | i[345]86 | i860 | m68k | m68000 | m88k | ns32k | arm | pyramid \
993
292490bf8a49 Add "alpha".
Richard Kenner <kenner@gnu.org>
parents: 955
diff changeset
123 | tron | a29k | 580 | i960 | h8300 | hppa1.0 | hppa1.1 \
4859
aa1a42c0b779 Recognize powerpc.
Richard M. Stallman <rms@gnu.org>
parents: 4829
diff changeset
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
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
127 basic_machine=$basic_machine-unknown
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
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
d223eac75bc4 fix 2 typos
Doug Evans <dje@gnu.org>
parents: 4806
diff changeset
134 # Recognize the basic CPU types with company name.
8719
8c82017999af Accept i586 like i386.
Richard M. Stallman <rms@gnu.org>
parents: 8716
diff changeset
135 vax-* | tahoe-* | i[345]86-* | i860-* | m68k-* | m68000-* | m88k-* \
576
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
136 | sparc-* | ns32k-* | fx80-* | arm-* | c[123]* \
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
137 | mips-* | pyramid-* | tron-* | a29k-* | romp-* | rs6000-* \
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
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
bad8a1dfeb3b Accept sh, hms.
Steve Chamberlain <sac@transmeta.com>
parents: 2497
diff changeset
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
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
143 ;;
6122
6e9a078b16bd Move comment to proper place.
Doug Evans <dje@gnu.org>
parents: 6060
diff changeset
144 # Recognize the various machine names and aliases which stand
6e9a078b16bd Move comment to proper place.
Doug Evans <dje@gnu.org>
parents: 6060
diff changeset
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
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
179 os=-sysv
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
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
9ab67b3b597a Add case for Bull dpx20.
Richard Kenner <kenner@gnu.org>
parents: 6229
diff changeset
230 dpx20 | dpx20-*)
9ab67b3b597a Add case for Bull dpx20.
Richard Kenner <kenner@gnu.org>
parents: 6229
diff changeset
231 basic_machine=rs6000-bull
9ab67b3b597a Add case for Bull dpx20.
Richard Kenner <kenner@gnu.org>
parents: 6229
diff changeset
232 os=-bosx
9ab67b3b597a Add case for Bull dpx20.
Richard Kenner <kenner@gnu.org>
parents: 6229
diff changeset
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
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
293 ;;
2495
1142464b2ef5 Accept i370, mvs.
Richard M. Stallman <rms@gnu.org>
parents: 2344
diff changeset
294 i370-ibm* | ibm*)
1142464b2ef5 Accept i370, mvs.
Richard M. Stallman <rms@gnu.org>
parents: 2344
diff changeset
295 basic_machine=i370-ibm
1142464b2ef5 Accept i370, mvs.
Richard M. Stallman <rms@gnu.org>
parents: 2344
diff changeset
296 os=-mvs
1142464b2ef5 Accept i370, mvs.
Richard M. Stallman <rms@gnu.org>
parents: 2344
diff changeset
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
8c82017999af Accept i586 like i386.
Richard M. Stallman <rms@gnu.org>
parents: 8716
diff changeset
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
8c82017999af Accept i586 like i386.
Richard M. Stallman <rms@gnu.org>
parents: 8716
diff changeset
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
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
305 os=-sysv4
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
306 ;;
8719
8c82017999af Accept i586 like i386.
Richard M. Stallman <rms@gnu.org>
parents: 8716
diff changeset
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
8c82017999af Accept i586 like i386.
Richard M. Stallman <rms@gnu.org>
parents: 8716
diff changeset
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
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
315 iris | iris4d)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
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
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
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
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
353 news | news700 | news800 | news900)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
354 basic_machine=m68k-sony
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
355 os=-newsos
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
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
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
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
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
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
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
406 ;;
8620
bd28973c6fe8 Revert pc532 handling.
Charles Hannum <mycroft@gnu.org>
parents: 8619
diff changeset
407 pc532 | pc532-*)
bd28973c6fe8 Revert pc532 handling.
Charles Hannum <mycroft@gnu.org>
parents: 8619
diff changeset
408 basic_machine=ns32k-pc532
576
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
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
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
437 ;;
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
438 sun2)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
439 basic_machine=m68000-sun
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
440 ;;
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
441 sun2os3)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
442 basic_machine=m68000-sun
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
443 os=-sunos3
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
444 ;;
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
445 sun2os4)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
446 basic_machine=m68000-sun
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
447 os=-sunos4
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
448 ;;
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
449 sun3os3)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
450 basic_machine=m68k-sun
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
451 os=-sunos3
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
452 ;;
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
453 sun3os4)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
454 basic_machine=m68k-sun
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
455 os=-sunos4
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
456 ;;
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
457 sun4os3)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
458 basic_machine=sparc-sun
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
459 os=-sunos3
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
460 ;;
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
461 sun4os4)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
462 basic_machine=sparc-sun
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
463 os=-sunos4
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
464 ;;
8619
a131e8501151 Rearrange handling of NetBSD ports.
Charles Hannum <mycroft@gnu.org>
parents: 8615
diff changeset
465 sun3 | sun3-*)
576
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
466 basic_machine=m68k-sun
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
467 ;;
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
468 sun4)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
469 basic_machine=sparc-sun
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
470 ;;
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
471 sun386 | sun386i | roadrunner)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
472 basic_machine=i386-sun
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
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
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
477 ;;
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
478 tower | tower-32)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
479 basic_machine=m68k-ncr
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
480 ;;
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
481 ultra3)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
482 basic_machine=a29k-nyu
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
483 os=-sym1
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
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
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
493 vxworks960)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
494 basic_machine=i960-wrs
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
495 os=-vxworks
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
496 ;;
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
497 vxworks68)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
498 basic_machine=m68k-wrs
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
499 os=-vxworks
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
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
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
508 none)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
509 basic_machine=none-none
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
510 os=-none
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
511 ;;
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
512
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
513 # Here we handle the default manufacturer of certain CPU types. It is in
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
514 # some cases the only manufacturer, in others, it is the most popular.
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
515 mips)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
516 basic_machine=mips-mips
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
517 ;;
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
518 romp)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
519 basic_machine=romp-ibm
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
520 ;;
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
521 rs6000)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
522 basic_machine=rs6000-ibm
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
523 ;;
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
524 vax)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
525 basic_machine=vax-dec
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
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
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
533 sparc)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
534 basic_machine=sparc-sun
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
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
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
545 *)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
546 echo Invalid configuration \`$1\': machine \`$basic_machine\' not recognized 1>&2
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
547 exit 1
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
548 ;;
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
549 esac
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
550
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
551 # Here we canonicalize certain aliases for manufacturers.
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
552 case $basic_machine in
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
553 *-digital*)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
554 basic_machine=`echo $basic_machine | sed 's/digital.*/dec/'`
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
555 ;;
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
556 *-commodore*)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
557 basic_machine=`echo $basic_machine | sed 's/commodore.*/cbm/'`
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
558 ;;
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
559 *)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
560 ;;
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
561 esac
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
562
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
563 # Decode manufacturer-specific aliases for certain operating systems.
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
564
4109
76f746324590 if [ "$os" ] --> if [ x"$os" != x"" ]
Doug Evans <dje@gnu.org>
parents: 4084
diff changeset
565 if [ x"$os" != x"" ]
576
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
566 then
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
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
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
578 # First accept the basic system types.
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
579 # The portable systems comes first.
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
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
8c82017999af Accept i586 like i386.
Richard M. Stallman <rms@gnu.org>
parents: 8716
diff changeset
583 | -vms* | -sco* | -esix* | -isc* | -aix* | -sunos | -sunos[345]* \
7089
3088496208ce Recognize FreeBSD.
Richard Kenner <kenner@gnu.org>
parents: 6836
diff changeset
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
42f8f43792ba > (os): Add -clix*.
Jim Wilson <wilson@gnu.org>
parents: 2616
diff changeset
586 | -nindy* | -vxworks* | -ebmon* | -hms* | -mvs* | -clix* \
3382
6c8018422fb3 Handle 386bsd.
Richard M. Stallman <rms@gnu.org>
parents: 2675
diff changeset
587 | -riscos* | -linux* | -uniplus* | -iris* | -rtu* | -xenix* \
6509
9ab67b3b597a Add case for Bull dpx20.
Richard Kenner <kenner@gnu.org>
parents: 6229
diff changeset
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
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
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
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
598 -osfrose*)
674
d5c90f190057 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 654
diff changeset
599 os=-osfrose
576
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
600 ;;
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
601 -osf*)
674
d5c90f190057 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 654
diff changeset
602 os=-osf
576
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
603 ;;
742
7704767cd8d2 entered into RCS
Charles Hannum <mycroft@gnu.org>
parents: 738
diff changeset
604 -utek*)
7704767cd8d2 entered into RCS
Charles Hannum <mycroft@gnu.org>
parents: 738
diff changeset
605 os=-bsd
7704767cd8d2 entered into RCS
Charles Hannum <mycroft@gnu.org>
parents: 738
diff changeset
606 ;;
576
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
607 -dynix*)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
608 os=-bsd
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
609 ;;
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
610 -acis*)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
611 os=-aos
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
612 ;;
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
613 -ctix* | -uts*)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
614 os=-sysv
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
615 ;;
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
616 -triton*)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
617 os=-sysv3
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
618 ;;
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
619 -oss*)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
620 os=-sysv3
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
621 ;;
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
622 -svr4)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
623 os=-sysv4
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
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
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
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
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
639 *)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
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
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
642 echo Invalid configuration \`$1\': system \`$os\' not recognized 1>&2
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
643 exit 1
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
644 ;;
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
645 esac
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
646 else
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
647
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
648 # Here we handle the default operating systems that come with various machines.
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
649 # The value should be what the vendor currently ships out the door with their
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
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
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
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
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
665 *-dec | vax-*)
654
6d56ce1261a7 *** empty log message ***
Michael Meissner <gnu@the-meissners.org>
parents: 653
diff changeset
666 os=-ultrix4.2
576
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
667 ;;
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
668 i386-sun)
654
6d56ce1261a7 *** empty log message ***
Michael Meissner <gnu@the-meissners.org>
parents: 653
diff changeset
669 os=-sunos4.0.2
576
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
670 ;;
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
671 m68000-sun)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
672 os=-sunos3
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
673 # This also exists in the configure program, but was not the
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
674 # default.
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
675 # os=-sunos4
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
676 ;;
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
677 *-tti) # must be before sparc entry or we get the wrong os.
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
678 os=-sysv3
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
679 ;;
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
680 sparc-* | *-sun)
654
6d56ce1261a7 *** empty log message ***
Michael Meissner <gnu@the-meissners.org>
parents: 653
diff changeset
681 os=-sunos4.1.1
576
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
682 ;;
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
683 *-ibm)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
684 os=-aix
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
685 ;;
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
686 *-hp)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
687 os=-hpux
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
688 ;;
4901
c8bade6c2b02 Add H3050/RX support.
Richard Kenner <kenner@gnu.org>
parents: 4898
diff changeset
689 *-hitachi)
c8bade6c2b02 Add H3050/RX support.
Richard Kenner <kenner@gnu.org>
parents: 4898
diff changeset
690 os=-hiux
c8bade6c2b02 Add H3050/RX support.
Richard Kenner <kenner@gnu.org>
parents: 4898
diff changeset
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
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
693 os=-sysv
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
694 ;;
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
695 *-cbm)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
696 os=-amigados
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
697 ;;
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
698 *-dg)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
699 os=-dgux
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
700 ;;
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
701 *-dolphin)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
702 os=-sysv3
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
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
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
707 m88k-omron*)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
708 os=-luna
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
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
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
713 *-crds)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
714 os=-unos
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
715 ;;
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
716 *-ns)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
717 os=-genix
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
718 ;;
2495
1142464b2ef5 Accept i370, mvs.
Richard M. Stallman <rms@gnu.org>
parents: 2344
diff changeset
719 i370-*)
1142464b2ef5 Accept i370, mvs.
Richard M. Stallman <rms@gnu.org>
parents: 2344
diff changeset
720 os=-mvs
1142464b2ef5 Accept i370, mvs.
Richard M. Stallman <rms@gnu.org>
parents: 2344
diff changeset
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
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
740 *)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
741 os=-none
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
742 ;;
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
743 esac
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
744 fi
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
745
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
746 # Here we handle the case where we know the os, and the CPU type, but not the
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
747 # manufacturer. We pick the logical manufacturer.
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
748 vendor=unknown
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
749 case $basic_machine in
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
750 *-unknown)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
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
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
755 -sunos*)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
756 vendor=sun
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
757 ;;
4204
de836f326554 (lynx): Recognize as vendor.
Jim Wilson <wilson@gnu.org>
parents: 4109
diff changeset
758 -lynxos*)
de836f326554 (lynx): Recognize as vendor.
Jim Wilson <wilson@gnu.org>
parents: 4109
diff changeset
759 vendor=lynx
de836f326554 (lynx): Recognize as vendor.
Jim Wilson <wilson@gnu.org>
parents: 4109
diff changeset
760 ;;
576
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
761 -aix*)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
762 vendor=ibm
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
763 ;;
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
764 -hpux*)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
765 vendor=hp
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
766 ;;
4901
c8bade6c2b02 Add H3050/RX support.
Richard Kenner <kenner@gnu.org>
parents: 4898
diff changeset
767 -hiux*)
c8bade6c2b02 Add H3050/RX support.
Richard Kenner <kenner@gnu.org>
parents: 4898
diff changeset
768 vendor=hitachi
c8bade6c2b02 Add H3050/RX support.
Richard Kenner <kenner@gnu.org>
parents: 4898
diff changeset
769 ;;
576
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
770 -unos*)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
771 vendor=crds
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
772 ;;
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
773 -dgux*)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
774 vendor=dg
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
775 ;;
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
776 -luna*)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
777 vendor=omron
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
778 ;;
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
779 -genix*)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
780 vendor=ns
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
781 ;;
2495
1142464b2ef5 Accept i370, mvs.
Richard M. Stallman <rms@gnu.org>
parents: 2344
diff changeset
782 -mvs*)
1142464b2ef5 Accept i370, mvs.
Richard M. Stallman <rms@gnu.org>
parents: 2344
diff changeset
783 vendor=ibm
1142464b2ef5 Accept i370, mvs.
Richard M. Stallman <rms@gnu.org>
parents: 2344
diff changeset
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
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
788 esac
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
789 basic_machine=`echo $basic_machine | sed "s/unknown/$vendor/"`
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
790 ;;
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
791 esac
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
792
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
793 echo $basic_machine$os