annotate config.sub @ 1631:9c52fcf232bf

Fri Nov 20 05:24:16 1992 Jim Blandy (jimb@totoro.cs.oberlin.edu) * config.sub: Added machines and operating systems for Emacs ports, since Emacs now uses config.sub for its configuration. New manufacturers recognized not to be operating systems: High Level Hardware (highlevel, defaults to using BSD), Gould (gould, defaults to System V), Commodore (cbm, defaults to amigados), National Semiconductor (ns, defaults to Genix), and Masscomp (masscomp, defaults to RTU). Recognize the NS1600 (ns16k) and the Clipper (clipper) as processors. Recognize these processors with default manufacturers: the Cydra (cydra) from Cydrome (cydrome), the XPS100 (xps100) from Honeywell (honeywell), and the Orion (orion) and Orion 1/05 (orion105) from High Level Hardware (highlevel). If the ISC operating system is given with a version number, don't kill it and set it to 2.2; just have it default to 2.2 if omitted. Make Irix SGI's default operating system, not SYSV. Make BSD Encore's default, so it applies for all Encore machines, not just the umax and mmax abbreviations. All of Encore's machines use BSD, not just the ns32k-based ones. Make it the manufacturer's default. Make it possible to specify an operating system for a Gould machine. Make sysv the manufacturer's default, so it applies when we specify the manufacturer as well as when we omit it. Add Uniplus (uniplus), Iris (iris), Xenix (xenix), and RTU (rtu) as recognized operating system names.
author Jim Blandy <jimb@redhat.com>
date Fri, 20 Nov 1992 17:14:50 +0000
parents 1c2f6bc3d8fe
children e44b2de1b698
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.
645
57295fc40ac3 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 631
diff changeset
3 # Copyright (C) 1991, 1992 Free Software Foundation, Inc.
57295fc40ac3 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 631
diff changeset
4 # This file is (in principle) common to ALL GNU software.
57295fc40ac3 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 631
diff changeset
5 # The presence of a machine in this file suggests that SOME GNU software
57295fc40ac3 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 631
diff changeset
6 # can handle that machine. It does not imply ALL GNU software can.
576
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
7
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
8 #This file is free software; you can redistribute it and/or modify
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
9 #it under the terms of the GNU General Public License as published by
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
10 #the Free Software Foundation; either version 2 of the License, or
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
11 #(at your option) any later version.
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
12
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
13 #This program is distributed in the hope that it will be useful,
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
14 #but WITHOUT ANY WARRANTY; without even the implied warranty of
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
15 #MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
16 #GNU General Public License for more details.
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
17
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
18 #You should have received a copy of the GNU General Public License
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
19 #along with this program; if not, write to the Free Software
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
20 #Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139, USA.
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
21
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
22
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
23 # Configuration subroutine to validate and canonicalize a configuration type.
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
24 # Supply the specified configuration type as an argument.
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
25 # 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
26 # Otherwise, we print the canonical config type on stdout and succeed.
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
27
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
28 # This file is supposed to be the same for all GNU packages
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
29 # and recognize all the CPU types, system types and aliases
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
30 # that are meaningful with *any* GNU software.
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
31 # Each package is responsible for reporting which valid configurations
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
32 # it does not support. The user should be able to distinguish
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
33 # a failure to support a valid configuration from a meaningless
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
34 # configuration.
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
35
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
36 # 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
37 # machine specification into a single specification in the form:
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
38 # CPU_TYPE-MANUFACTURER-OPERATING_SYSTEM
1631
9c52fcf232bf Fri Nov 20 05:24:16 1992 Jim Blandy (jimb@totoro.cs.oberlin.edu)
Jim Blandy <jimb@redhat.com>
parents: 1627
diff changeset
39 # It is wrong to echo any other type of specification.
576
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
40
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
41 # First pass through any local machine types.
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
42 case $1 in
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
43 *local*)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
44 echo $1
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
45 exit 0
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
46 ;;
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
47 *)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
48 ;;
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
49 esac
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 # Separate what the user gave into CPU-COMPANY and OS (if any).
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
52 basic_machine=`echo $1 | sed 's/-[^-]*$//'`
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
53 if [ $basic_machine != $1 ]
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
54 then os=`echo $1 | sed 's/.*-/-/'`
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
55 else os=; fi
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
56
1631
9c52fcf232bf Fri Nov 20 05:24:16 1992 Jim Blandy (jimb@totoro.cs.oberlin.edu)
Jim Blandy <jimb@redhat.com>
parents: 1627
diff changeset
57 ### Let's recognize common machines as not being operating systems so
9c52fcf232bf Fri Nov 20 05:24:16 1992 Jim Blandy (jimb@totoro.cs.oberlin.edu)
Jim Blandy <jimb@redhat.com>
parents: 1627
diff changeset
58 ### that things like config.sub decstation-3100 work. We also
9c52fcf232bf Fri Nov 20 05:24:16 1992 Jim Blandy (jimb@totoro.cs.oberlin.edu)
Jim Blandy <jimb@redhat.com>
parents: 1627
diff changeset
59 ### recognize some manufacturers as not being operating systems, so we
9c52fcf232bf Fri Nov 20 05:24:16 1992 Jim Blandy (jimb@totoro.cs.oberlin.edu)
Jim Blandy <jimb@redhat.com>
parents: 1627
diff changeset
60 ### can provide default operating systems below.
576
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
61 case $os in
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
62 -dec* | -mips* | -sequent* | -encore* | -pc532* | -sgi* | -sony* | \
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
63 -att* | -7300* | -3300* | -delta* | -motorola* | -sun[234]* | \
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
64 -unicom* | -ibm* | -next* | -hp | -isi* | -apollo | -altos* | \
674
d5c90f190057 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 654
diff changeset
65 -convergent* | -ncr* | -news | -32* | -3600* | -3100* | \
576
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
66 -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
67 -harris | -dolphin | -highlevel | -gould | -cbm | -ns | -masscomp )
576
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
68 os=
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
69 basic_machine=$1
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
70 ;;
1545
9ff238dd8a35 Don't discard SCO version number if it's 3.2v4.
Richard M. Stallman <rms@gnu.org>
parents: 1415
diff changeset
71 -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
72 # Don't forget version if it is 3.2v4 or newer.
9ff238dd8a35 Don't discard SCO version number if it's 3.2v4.
Richard M. Stallman <rms@gnu.org>
parents: 1415
diff changeset
73 os=-sco3.2v4
9ff238dd8a35 Don't discard SCO version number if it's 3.2v4.
Richard M. Stallman <rms@gnu.org>
parents: 1415
diff changeset
74 basic_machine=i386-unknown
9ff238dd8a35 Don't discard SCO version number if it's 3.2v4.
Richard M. Stallman <rms@gnu.org>
parents: 1415
diff changeset
75 ;;
576
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
76 -sco*)
646
e283d4164aca *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 645
diff changeset
77 os=-sco3.2v2
576
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
78 basic_machine=i386-unknown
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
79 ;;
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
80 -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
81 os=-isc2.2
9c52fcf232bf Fri Nov 20 05:24:16 1992 Jim Blandy (jimb@totoro.cs.oberlin.edu)
Jim Blandy <jimb@redhat.com>
parents: 1627
diff changeset
82 basic_machine=i386-unknown
9c52fcf232bf Fri Nov 20 05:24:16 1992 Jim Blandy (jimb@totoro.cs.oberlin.edu)
Jim Blandy <jimb@redhat.com>
parents: 1627
diff changeset
83 ;;
576
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
84 -isc*)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
85 basic_machine=i386-unknown
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
86 ;;
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
87 esac
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
88
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
89 # Decode aliases for certain CPU-COMPANY combinations.
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
90 case $basic_machine in
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
91 # Recognize the basic CPU types with without company name.
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
92 # Some are omitted here because they have special meanings below.
589
03fd51103bc3 *** empty log message ***
Michael Meissner <gnu@the-meissners.org>
parents: 576
diff changeset
93 tahoe | i[34]86 | i860 | m68k | m68000 | m88k | ns32k | arm | pyramid \
993
292490bf8a49 Add "alpha".
Richard Kenner <kenner@gnu.org>
parents: 955
diff changeset
94 | tron | a29k | 580 | i960 | h8300 | hppa1.0 | hppa1.1 \
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
95 | alpha | we32k | ns16k | clipper )
576
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
96 basic_machine=$basic_machine-unknown
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
97 ;;
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
98 # Recognize the basic CPU types with with company name.
607
e0ce539246b8 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 589
diff changeset
99 vax-* | tahoe-* | i[34]86-* | i860-* | m68k-* | m68000-* | m88k-* \
576
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
100 | sparc-* | ns32k-* | fx80-* | arm-* | c[123]* \
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
101 | mips-* | pyramid-* | tron-* | a29k-* | romp-* | rs6000-* \
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
102 | 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
103 | hppa1.0-* | hppa1.1-* | alpha-* | we32k-* | cydra-* | ns16k-* \
9c52fcf232bf Fri Nov 20 05:24:16 1992 Jim Blandy (jimb@totoro.cs.oberlin.edu)
Jim Blandy <jimb@redhat.com>
parents: 1627
diff changeset
104 | pn-* | np1-* | xps100-* | clipper-* | orion-* )
576
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
105 ;;
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
106 # Recognize the various machine names and aliases which stand
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
107 # for a CPU type and a company and sometimes even an OS.
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
108 vaxv)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
109 basic_machine=vax-dec
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
110 os=-sysv
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
111 ;;
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
112 vms)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
113 basic_machine=vax-dec
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
114 os=-vms
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
115 ;;
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
116 i386v32)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
117 basic_machine=i386-unknown
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
118 os=-sysv32
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
119 ;;
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
120 i386-sco* | i386sco | sco)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
121 basic_machine=i386-unknown
646
e283d4164aca *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 645
diff changeset
122 os=-sco3.2v2
576
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
123 ;;
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
124 i386-isc* | isc)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
125 basic_machine=i386-unknown
646
e283d4164aca *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 645
diff changeset
126 os=-isc
576
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
127 ;;
738
81cd2a003397 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 674
diff changeset
128 i486v32)
81cd2a003397 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 674
diff changeset
129 basic_machine=i486-unknown
81cd2a003397 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 674
diff changeset
130 os=-sysv32
81cd2a003397 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 674
diff changeset
131 ;;
81cd2a003397 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 674
diff changeset
132 i486-sco* | i486sco | sco)
81cd2a003397 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 674
diff changeset
133 basic_machine=i486-unknown
81cd2a003397 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 674
diff changeset
134 os=-sco3.2v2
81cd2a003397 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 674
diff changeset
135 ;;
81cd2a003397 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 674
diff changeset
136 i486-isc* | isc)
81cd2a003397 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 674
diff changeset
137 basic_machine=i486-unknown
81cd2a003397 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 674
diff changeset
138 os=-isc
81cd2a003397 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 674
diff changeset
139 ;;
576
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
140 i386v4*)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
141 basic_machine=i386-unknown
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
142 os=-sysv4
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
143 ;;
607
e0ce539246b8 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 589
diff changeset
144 i486v4*)
e0ce539246b8 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 589
diff changeset
145 basic_machine=i486-unknown
e0ce539246b8 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 589
diff changeset
146 os=-sysv4
e0ce539246b8 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 589
diff changeset
147 ;;
576
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
148 i386v)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
149 basic_machine=i386-unknown
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
150 os=-sysv
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
151 ;;
738
81cd2a003397 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 674
diff changeset
152 i486v)
81cd2a003397 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 674
diff changeset
153 basic_machine=i486-unknown
81cd2a003397 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 674
diff changeset
154 os=-sysv
81cd2a003397 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 674
diff changeset
155 ;;
576
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
156 spur)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
157 basic_machine=spur-unknown
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
158 ;;
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
159 alliant | fx80)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
160 basic_machine=fx80-alliant
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
161 ;;
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
162 convex-c1)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
163 basic_machine=c1-convex
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
164 os=-bsd
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
165 ;;
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
166 convex-c2)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
167 basic_machine=c2-convex
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
168 os=-bsd
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
169 ;;
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
170 convex-c32)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
171 basic_machine=c32-convex
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
172 os=-bsd
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
173 ;;
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
174 convex-c34)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
175 basic_machine=c34-convex
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
176 os=-bsd
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
177 ;;
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
178 convex-c38)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
179 basic_machine=c38-convex
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
180 os=-bsd
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
181 ;;
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
182 m88k-omron*)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
183 basic_machine=m88k-omron
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
184 ;;
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
185 merlin)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
186 basic_machine=ns32k-utek
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
187 os=-sysv
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
188 ;;
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
189 crds | unos)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
190 basic_machine=m68k-crds
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
191 ;;
1415
1b82f79c4eb4 Add support for a new 64 bit CPU type. Elxsi.
Mike Stump <mrs@apple.com>
parents: 1270
diff changeset
192 elxsi)
1b82f79c4eb4 Add support for a new 64 bit CPU type. Elxsi.
Mike Stump <mrs@apple.com>
parents: 1270
diff changeset
193 basic_machine=elxsi-elxsi
1b82f79c4eb4 Add support for a new 64 bit CPU type. Elxsi.
Mike Stump <mrs@apple.com>
parents: 1270
diff changeset
194 os=-bsd
1b82f79c4eb4 Add support for a new 64 bit CPU type. Elxsi.
Mike Stump <mrs@apple.com>
parents: 1270
diff changeset
195 ;;
576
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
196 encore | umax | mmax)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
197 basic_machine=ns32k-encore
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
198 ;;
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
199 genix)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
200 basic_machine=ns32k-ns
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
201 ;;
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
202 iris | iris4d)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
203 basic_machine=mips-sgi
651
144027c7abb2 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 646
diff changeset
204 case $os in
144027c7abb2 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 646
diff changeset
205 -irix*)
144027c7abb2 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 646
diff changeset
206 ;;
144027c7abb2 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 646
diff changeset
207 *)
144027c7abb2 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 646
diff changeset
208 os=-irix4
144027c7abb2 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 646
diff changeset
209 ;;
144027c7abb2 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 646
diff changeset
210 esac
576
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
211 ;;
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
212 news | news700 | news800 | news900)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
213 basic_machine=m68k-sony
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
214 os=-newsos
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
215 ;;
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
216 3b1 | 7300 | 7300-att | att-7300 | pc7300 | safari | unixpc)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
217 basic_machine=m68000-att
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
218 ;;
629
e47f9ff356ea *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 613
diff changeset
219 3b*)
652
88a5b1ed98bb *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 651
diff changeset
220 basic_machine=we32k-att
629
e47f9ff356ea *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 613
diff changeset
221 ;;
576
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
222 delta | 3300 | motorola-3300 | motorola-delta \
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
223 | 3300-motorola | delta-motorola)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
224 basic_machine=m68k-motorola
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
225 ;;
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
226 balance)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
227 basic_machine=ns32k-sequent
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
228 os=-dynix
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
229 ;;
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
230 pc532)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
231 basic_machine=ns32k-pc532
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
232 ;;
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
233 symmetry)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
234 basic_machine=i386-sequent
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
235 os=-dynix
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
236 ;;
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
237 sun2)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
238 basic_machine=m68000-sun
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
239 ;;
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
240 sun2os3)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
241 basic_machine=m68000-sun
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
242 os=-sunos3
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
243 ;;
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
244 sun2os4)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
245 basic_machine=m68000-sun
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
246 os=-sunos4
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
247 ;;
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
248 sun3os3)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
249 basic_machine=m68k-sun
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
250 os=-sunos3
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
251 ;;
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
252 sun3os4)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
253 basic_machine=m68k-sun
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
254 os=-sunos4
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
255 ;;
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
256 sun4os3)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
257 basic_machine=sparc-sun
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
258 os=-sunos3
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
259 ;;
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
260 sun4os4)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
261 basic_machine=sparc-sun
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
262 os=-sunos4
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
263 ;;
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
264 sun3)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
265 basic_machine=m68k-sun
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
266 ;;
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
267 sun4)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
268 basic_machine=sparc-sun
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
269 ;;
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
270 pbd)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
271 basic_machine=sparc-tti
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
272 ;;
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
273 pbb)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
274 basic_machine=m68k-tti
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
275 ;;
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
276 sun386 | sun386i | roadrunner)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
277 basic_machine=i386-sun
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
278 ;;
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
279 ps2)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
280 basic_machine=i386-ibm
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
281 ;;
652
88a5b1ed98bb *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 651
diff changeset
282 fx2800)
88a5b1ed98bb *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 651
diff changeset
283 basic_machine=i860-alliant
88a5b1ed98bb *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 651
diff changeset
284 ;;
576
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
285 next)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
286 basic_machine=m68k-next
631
3c7da8664d12 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 629
diff changeset
287 os=-bsd
576
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
288 ;;
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
289 amiga)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
290 basic_machine=m68k-cbm
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
291 ;;
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
292 amigados)
9c52fcf232bf Fri Nov 20 05:24:16 1992 Jim Blandy (jimb@totoro.cs.oberlin.edu)
Jim Blandy <jimb@redhat.com>
parents: 1627
diff changeset
293 basic_machine=m68k-cbm
9c52fcf232bf Fri Nov 20 05:24:16 1992 Jim Blandy (jimb@totoro.cs.oberlin.edu)
Jim Blandy <jimb@redhat.com>
parents: 1627
diff changeset
294 os=-amigados
9c52fcf232bf Fri Nov 20 05:24:16 1992 Jim Blandy (jimb@totoro.cs.oberlin.edu)
Jim Blandy <jimb@redhat.com>
parents: 1627
diff changeset
295 ;;
9c52fcf232bf Fri Nov 20 05:24:16 1992 Jim Blandy (jimb@totoro.cs.oberlin.edu)
Jim Blandy <jimb@redhat.com>
parents: 1627
diff changeset
296 amigaunix | amix)
9c52fcf232bf Fri Nov 20 05:24:16 1992 Jim Blandy (jimb@totoro.cs.oberlin.edu)
Jim Blandy <jimb@redhat.com>
parents: 1627
diff changeset
297 basic_machine=m68k-cbm
9c52fcf232bf Fri Nov 20 05:24:16 1992 Jim Blandy (jimb@totoro.cs.oberlin.edu)
Jim Blandy <jimb@redhat.com>
parents: 1627
diff changeset
298 os=-sysv4
9c52fcf232bf Fri Nov 20 05:24:16 1992 Jim Blandy (jimb@totoro.cs.oberlin.edu)
Jim Blandy <jimb@redhat.com>
parents: 1627
diff changeset
299 ;;
576
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
300 hp9k3[2-9][0-9])
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
301 basic_machine=m68k-hp
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
302 ;;
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
303 hp9k31[0-9] | hp9k2[0-9][0-9])
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
304 basic_machine=m68000-hp
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
305 ;;
610
5f2f551fc367 *** empty log message ***
Torbjorn Granlund <tege@swox.com>
parents: 607
diff changeset
306 hp9k7[0-9][0-9] | hp7[0-9][0-9] | hp9k8[0-9]7 | hp8[0-9]7)
5f2f551fc367 *** empty log message ***
Torbjorn Granlund <tege@swox.com>
parents: 607
diff changeset
307 basic_machine=hppa1.1-hp
576
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
308 ;;
610
5f2f551fc367 *** empty log message ***
Torbjorn Granlund <tege@swox.com>
parents: 607
diff changeset
309 hp9k8[0-9][0-9] | hp8[0-9][0-9])
5f2f551fc367 *** empty log message ***
Torbjorn Granlund <tege@swox.com>
parents: 607
diff changeset
310 basic_machine=hppa1.0-hp
607
e0ce539246b8 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 589
diff changeset
311 ;;
576
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
312 isi68 | isi)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
313 basic_machine=m68k-isi
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
314 os=-sysv
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
315 ;;
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
316 apollo68)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
317 basic_machine=m68k-apollo
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
318 os=-sysv
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
319 ;;
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
320 altos | altos3068)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
321 basic_machine=m68k-altos
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
322 ;;
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
323 miniframe)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
324 basic_machine=m68000-convergent
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
325 ;;
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
326 tower | tower-32)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
327 basic_machine=m68k-ncr
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
328 ;;
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
329 news-3600 | risc-news)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
330 basic_machine=mips-sony
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
331 os=-newsos
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
332 ;;
652
88a5b1ed98bb *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 651
diff changeset
333 decstation | decstation-3100 | pmax | pmin | dec3100 | decstatn)
576
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
334 basic_machine=mips-dec
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
335 ;;
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
336 magnum | m3230)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
337 basic_machine=mips-mips
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
338 os=-sysv
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
339 ;;
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
340 gmicro)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
341 basic_machine=tron-gmicro
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
342 os=-sysv
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
343 ;;
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
344 rtpc | rtpc-*)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
345 basic_machine=romp-ibm
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
346 ;;
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
347 am29k)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
348 basic_machine=a29k-none
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
349 os=-bsd
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
350 ;;
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
351 amdahl)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
352 basic_machine=580-amdahl
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
353 os=-sysv
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
354 ;;
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
355 cray | ymp)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
356 basic_machine=ymp-cray
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
357 os=-unicos
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
358 ;;
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
359 cray2)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
360 basic_machine=cray2-cray
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
361 os=-unicos
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
362 ;;
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
363 xmp)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
364 basic_machine=xmp-cray
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
365 os=-unicos
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
366 ;;
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
367 delta88)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
368 basic_machine=m88k-motorola
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
369 os=-m88kbcs
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
370 ;;
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
371 dpx2)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
372 basic_machine=m68k-bull
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
373 os=-sysv
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
374 ;;
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
375 ebmon29k)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
376 basic_machine=a29k-amd
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
377 os=-ebmon
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
378 ;;
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
379 h8300hds)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
380 basic_machine=h8300-hitachi
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
381 os=-hds
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
382 ;;
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
383 harris)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
384 basic_machine=m88k-harris
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
385 os=-m88kbcs
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
386 ;;
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
387 hp300bsd)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
388 basic_machine=m68k-hp
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
389 os=-bsd
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
390 ;;
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
391 hp300hpux)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
392 basic_machine=m68k-hp
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
393 os=-hpux
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
394 ;;
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
395 hp9k2[0-9][0-9] | hp9k31[0-9])
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
396 basic_machine=m68000-hp
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
397 os=-hpux
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
398 ;;
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
399 hp9k3[2-9][0-9])
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
400 basic_machine=m68k-hp
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
401 os=-hpux
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
402 ;;
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
403 ncr3000)
607
e0ce539246b8 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 589
diff changeset
404 basic_machine=i486-ncr
576
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
405 os=-sysv4
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
406 ;;
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
407 news1000)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
408 basic_machine=m68030-sony
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
409 os=-newsos
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
410 ;;
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
411 nindy960)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
412 basic_machine=i960-intel
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
413 os=-nindy
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
414 ;;
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
415 pn)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
416 basic_machine=pn-gould
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
417 ;;
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
418 np1)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
419 basic_machine=np1-gould
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
420 ;;
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
421 ultra3)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
422 basic_machine=a29k-nyu
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
423 os=-sym1
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
424 ;;
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
425 vxworks960)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
426 basic_machine=i960-wrs
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
427 os=-vxworks
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
428 ;;
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
429 vxworks68)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
430 basic_machine=m68k-wrs
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
431 os=-vxworks
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
432 ;;
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
433 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
434 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
435 ;;
576
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
436 none)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
437 basic_machine=none-none
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
438 os=-none
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
439 ;;
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 # 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
442 # some cases the only manufacturer, in others, it is the most popular.
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
443 mips)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
444 basic_machine=mips-mips
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
445 ;;
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
446 romp)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
447 basic_machine=romp-ibm
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 rs6000)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
450 basic_machine=rs6000-ibm
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
451 ;;
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
452 vax)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
453 basic_machine=vax-dec
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
454 ;;
652
88a5b1ed98bb *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 651
diff changeset
455 we32k)
88a5b1ed98bb *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 651
diff changeset
456 basic_machine=we32k-att
88a5b1ed98bb *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 651
diff changeset
457 ;;
576
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
458 sparc)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
459 basic_machine=sparc-sun
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
460 ;;
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
461 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
462 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
463 ;;
9c52fcf232bf Fri Nov 20 05:24:16 1992 Jim Blandy (jimb@totoro.cs.oberlin.edu)
Jim Blandy <jimb@redhat.com>
parents: 1627
diff changeset
464 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
465 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
466 ;;
9c52fcf232bf Fri Nov 20 05:24:16 1992 Jim Blandy (jimb@totoro.cs.oberlin.edu)
Jim Blandy <jimb@redhat.com>
parents: 1627
diff changeset
467 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
468 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
469 ;;
576
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 echo Invalid configuration \`$1\': machine \`$basic_machine\' not recognized 1>&2
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
472 exit 1
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
473 ;;
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
474 esac
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
475
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
476 # Here we canonicalize certain aliases for manufacturers.
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
477 case $basic_machine in
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
478 *-digital*)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
479 basic_machine=`echo $basic_machine | sed 's/digital.*/dec/'`
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 *-commodore*)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
482 basic_machine=`echo $basic_machine | sed 's/commodore.*/cbm/'`
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
483 ;;
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
484 *)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
485 ;;
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
486 esac
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
487
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
488 # Decode manufacturer-specific aliases for certain operating systems.
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
489
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
490 if [ "$os" ]
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
491 then
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
492 case $os in
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
493 # First accept the basic system types.
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
494 # The portable systems comes first.
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
495 # Each alternative must end in a *, to match a version number.
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
496 -bsd* | -sysv* | -mach* | -minix* | -genix* | -ultrix* | -irix* \
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
497 | -vms* | -sco* | -esix* | -isc* | -aix* | -sunos* | -hpux* \
955
a69fb1457a02 (amigaunix/amix): Use sysv4 as os.
Richard M. Stallman <rms@gnu.org>
parents: 742
diff changeset
498 | -unos* | -osf* | -luna* | -dgux* | -solari* | -sym* \
610
5f2f551fc367 *** empty log message ***
Torbjorn Granlund <tege@swox.com>
parents: 607
diff changeset
499 | -amigados* | -msdos* | -newsos* | -unicos* | -aos* \
1270
db6ef357ba3e (os handling): Recognize `linux' as a valid os.
Roland McGrath <roland@gnu.org>
parents: 1220
diff changeset
500 | -nindy* | -vxworks* | -ebmon* | -hds* | -m88kbcs* \
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
501 | -riscos* | -linux* | -uniplus* | -iris* | -rtu* | -xenix* )
576
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
502 ;;
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
503 -osfrose*)
674
d5c90f190057 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 654
diff changeset
504 os=-osfrose
576
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
505 ;;
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
506 -osf*)
674
d5c90f190057 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 654
diff changeset
507 os=-osf
576
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
508 ;;
742
7704767cd8d2 entered into RCS
Charles Hannum <mycroft@gnu.org>
parents: 738
diff changeset
509 -utek*)
7704767cd8d2 entered into RCS
Charles Hannum <mycroft@gnu.org>
parents: 738
diff changeset
510 os=-bsd
7704767cd8d2 entered into RCS
Charles Hannum <mycroft@gnu.org>
parents: 738
diff changeset
511 ;;
576
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
512 -dynix*)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
513 os=-bsd
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
514 ;;
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
515 -acis*)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
516 os=-aos
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 -ctix* | -uts*)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
519 os=-sysv
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 -triton*)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
522 os=-sysv3
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 -oss*)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
525 os=-sysv3
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
526 ;;
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
527 -svr4)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
528 os=-sysv4
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
529 ;;
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
530 -svr3)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
531 os=-sysv3
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
532 ;;
1627
1c2f6bc3d8fe * config.sub: Added Xenix operating system.
Jim Blandy <jimb@redhat.com>
parents: 1545
diff changeset
533 -xenix)
1c2f6bc3d8fe * config.sub: Added Xenix operating system.
Jim Blandy <jimb@redhat.com>
parents: 1545
diff changeset
534 os=-xenix
1c2f6bc3d8fe * config.sub: Added Xenix operating system.
Jim Blandy <jimb@redhat.com>
parents: 1545
diff changeset
535 ;;
645
57295fc40ac3 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 631
diff changeset
536 -none)
57295fc40ac3 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 631
diff changeset
537 ;;
576
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
538 *)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
539 # Get rid of the `-' at the beginning of $os.
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
540 os=`echo $1 | sed 's/[^-]*-//'`
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
541 echo Invalid configuration \`$1\': system \`$os\' not recognized 1>&2
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
542 exit 1
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
543 ;;
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
544 esac
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
545 else
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
546
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
547 # Here we handle the default operating systems that come with various machines.
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
548 # 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
549 # 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
550
9c52fcf232bf Fri Nov 20 05:24:16 1992 Jim Blandy (jimb@totoro.cs.oberlin.edu)
Jim Blandy <jimb@redhat.com>
parents: 1627
diff changeset
551 # 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
552 # "-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
553 # 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
554 # 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
555 # 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
556
576
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
557 case $basic_machine in
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
558 *-dec | vax-*)
654
6d56ce1261a7 *** empty log message ***
Michael Meissner <gnu@the-meissners.org>
parents: 653
diff changeset
559 os=-ultrix4.2
576
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 i386-sun)
654
6d56ce1261a7 *** empty log message ***
Michael Meissner <gnu@the-meissners.org>
parents: 653
diff changeset
562 os=-sunos4.0.2
576
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
563 ;;
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
564 m68000-sun)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
565 os=-sunos3
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
566 # This also exists in the configure program, but was not the
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
567 # default.
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
568 # os=-sunos4
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
569 ;;
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
570 *-tti) # must be before sparc entry or we get the wrong os.
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
571 os=-sysv3
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
572 ;;
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
573 sparc-* | *-sun)
654
6d56ce1261a7 *** empty log message ***
Michael Meissner <gnu@the-meissners.org>
parents: 653
diff changeset
574 os=-sunos4.1.1
576
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
575 ;;
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
576 *-ibm)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
577 os=-aix
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
578 ;;
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
579 *-hp)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
580 os=-hpux
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
581 ;;
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
582 i860-* | *-att | *-ncr | *-altos | *-motorola | *-convergent)
576
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
583 os=-sysv
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
584 ;;
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
585 *-cbm)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
586 os=-amigados
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
587 ;;
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
588 *-dg)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
589 os=-dgux
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
590 ;;
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
591 *-dolphin)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
592 os=-sysv3
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
593 ;;
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
594 m88k-omron*)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
595 os=-luna
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
596 ;;
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
597 *-crds)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
598 os=-unos
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
599 ;;
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
600 *-ns)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
601 os=-genix
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
602 ;;
738
81cd2a003397 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 674
diff changeset
603 i[34]86-*)
646
e283d4164aca *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 645
diff changeset
604 os=-sco3.2v2
576
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
605 ;;
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
606 *-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
607 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
608 ;;
9c52fcf232bf Fri Nov 20 05:24:16 1992 Jim Blandy (jimb@totoro.cs.oberlin.edu)
Jim Blandy <jimb@redhat.com>
parents: 1627
diff changeset
609 *-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
610 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
611 ;;
9c52fcf232bf Fri Nov 20 05:24:16 1992 Jim Blandy (jimb@totoro.cs.oberlin.edu)
Jim Blandy <jimb@redhat.com>
parents: 1627
diff changeset
612 *-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
613 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
614 ;;
9c52fcf232bf Fri Nov 20 05:24:16 1992 Jim Blandy (jimb@totoro.cs.oberlin.edu)
Jim Blandy <jimb@redhat.com>
parents: 1627
diff changeset
615 *-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
616 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
617 ;;
9c52fcf232bf Fri Nov 20 05:24:16 1992 Jim Blandy (jimb@totoro.cs.oberlin.edu)
Jim Blandy <jimb@redhat.com>
parents: 1627
diff changeset
618 *-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
619 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
620 ;;
576
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 os=-none
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
623 ;;
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
624 esac
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
625 fi
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
626
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
627 # 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
628 # manufacturer. We pick the logical manufacturer.
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
629 vendor=unknown
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
630 case $basic_machine in
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
631 *-unknown)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
632 case $os in
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
633 -sunos*)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
634 vendor=sun
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
635 ;;
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
636 -aix*)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
637 vendor=ibm
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
638 ;;
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
639 -hpux*)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
640 vendor=hp
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
641 ;;
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
642 -unos*)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
643 vendor=crds
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 -dgux*)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
646 vendor=dg
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 -luna*)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
649 vendor=omron
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
650 ;;
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
651 -genix*)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
652 vendor=ns
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
653 ;;
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
654 esac
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
655 basic_machine=`echo $basic_machine | sed "s/unknown/$vendor/"`
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
656 ;;
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
657 esac
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
658
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
659 echo $basic_machine$os