annotate config.sub @ 2204:41258d6c3eee

(sparclite, sparclite-*): New configuration.
author Jim Wilson <wilson@gnu.org>
date Mon, 15 Mar 1993 19:36:54 +0000
parents 755588575884
children d21c82eba8ab
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
1961
eeb000068cc8 Error if company name is more than one word.
Richard M. Stallman <rms@gnu.org>
parents: 1852
diff changeset
62 -sun*os*)
eeb000068cc8 Error if company name is more than one word.
Richard M. Stallman <rms@gnu.org>
parents: 1852
diff changeset
63 # Prevent following clause from handling this invalid input.
eeb000068cc8 Error if company name is more than one word.
Richard M. Stallman <rms@gnu.org>
parents: 1852
diff changeset
64 ;;
576
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
65 -dec* | -mips* | -sequent* | -encore* | -pc532* | -sgi* | -sony* | \
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
66 -att* | -7300* | -3300* | -delta* | -motorola* | -sun[234]* | \
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
67 -unicom* | -ibm* | -next* | -hp | -isi* | -apollo | -altos* | \
674
d5c90f190057 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 654
diff changeset
68 -convergent* | -ncr* | -news | -32* | -3600* | -3100* | \
576
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
69 -c[123]* | -convex* | -sun | -crds | -omron* | -dg | -ultra | -tti* | \
1631
9c52fcf232bf Fri Nov 20 05:24:16 1992 Jim Blandy (jimb@totoro.cs.oberlin.edu)
Jim Blandy <jimb@redhat.com>
parents: 1627
diff changeset
70 -harris | -dolphin | -highlevel | -gould | -cbm | -ns | -masscomp )
576
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
71 os=
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
72 basic_machine=$1
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
73 ;;
1545
9ff238dd8a35 Don't discard SCO version number if it's 3.2v4.
Richard M. Stallman <rms@gnu.org>
parents: 1415
diff changeset
74 -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
75 # 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
76 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
77 ;;
576
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
78 -sco*)
646
e283d4164aca *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 645
diff changeset
79 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
80 basic_machine=`echo $1 | sed -e 's/86-.*/86-unknown/'`
576
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
81 ;;
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
82 -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
83 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
84 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
85 ;;
576
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
86 -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
87 basic_machine=`echo $1 | sed -e 's/86-.*/86-unknown/'`
576
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 esac
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
90
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
91 # Decode aliases for certain CPU-COMPANY combinations.
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
92 case $basic_machine in
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
93 # Recognize the basic CPU types with without company name.
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
94 # 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
95 tahoe | i[34]86 | i860 | m68k | m68000 | m88k | ns32k | arm | pyramid \
993
292490bf8a49 Add "alpha".
Richard Kenner <kenner@gnu.org>
parents: 955
diff changeset
96 | tron | a29k | 580 | i960 | h8300 | hppa1.0 | hppa1.1 \
2204
41258d6c3eee (sparclite, sparclite-*): New configuration.
Jim Wilson <wilson@gnu.org>
parents: 2009
diff changeset
97 | alpha | we32k | ns16k | clipper | sparclite )
576
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
98 basic_machine=$basic_machine-unknown
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
99 ;;
1961
eeb000068cc8 Error if company name is more than one word.
Richard M. Stallman <rms@gnu.org>
parents: 1852
diff changeset
100 # 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
101 *-*-*)
eeb000068cc8 Error if company name is more than one word.
Richard M. Stallman <rms@gnu.org>
parents: 1852
diff changeset
102 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
103 exit 1
eeb000068cc8 Error if company name is more than one word.
Richard M. Stallman <rms@gnu.org>
parents: 1852
diff changeset
104 ;;
576
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
105 # Recognize the basic CPU types with with company name.
607
e0ce539246b8 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 589
diff changeset
106 vax-* | tahoe-* | i[34]86-* | i860-* | m68k-* | m68000-* | m88k-* \
576
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
107 | sparc-* | ns32k-* | fx80-* | arm-* | c[123]* \
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
108 | mips-* | pyramid-* | tron-* | a29k-* | romp-* | rs6000-* \
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
109 | 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
110 | hppa1.0-* | hppa1.1-* | alpha-* | we32k-* | cydra-* | ns16k-* \
2204
41258d6c3eee (sparclite, sparclite-*): New configuration.
Jim Wilson <wilson@gnu.org>
parents: 2009
diff changeset
111 | pn-* | np1-* | xps100-* | clipper-* | orion-* | sparclite-* )
576
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
112 ;;
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
113 # Recognize the various machine names and aliases which stand
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
114 # for a CPU type and a company and sometimes even an OS.
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
115 vaxv)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
116 basic_machine=vax-dec
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
117 os=-sysv
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
118 ;;
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
119 vms)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
120 basic_machine=vax-dec
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
121 os=-vms
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
122 ;;
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
123 # I'm not sure what "Sysv32" means. Should this be sysv3.2?
5032e4faca19 ($os alternatives for sco and isc): Preserve the specified os version if any.
Richard M. Stallman <rms@gnu.org>
parents: 1732
diff changeset
124 i[34]86v32)
5032e4faca19 ($os alternatives for sco and isc): Preserve the specified os version if any.
Richard M. Stallman <rms@gnu.org>
parents: 1732
diff changeset
125 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
126 os=-sysv32
81cd2a003397 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 674
diff changeset
127 ;;
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
128 i[34]86v4*)
5032e4faca19 ($os alternatives for sco and isc): Preserve the specified os version if any.
Richard M. Stallman <rms@gnu.org>
parents: 1732
diff changeset
129 basic_machine=`echo $1 | sed -e 's/86.*/86-unknown/'`
576
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
130 os=-sysv4
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
131 ;;
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
132 i[34]86v)
5032e4faca19 ($os alternatives for sco and isc): Preserve the specified os version if any.
Richard M. Stallman <rms@gnu.org>
parents: 1732
diff changeset
133 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
134 os=-sysv
81cd2a003397 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 674
diff changeset
135 ;;
1840
b00ada422354 (i[34]86sol2): New abbrev for i[34]86-unknown-solaris2.
Jim Wilson <wilson@gnu.org>
parents: 1735
diff changeset
136 i[34]86sol2)
b00ada422354 (i[34]86sol2): New abbrev for i[34]86-unknown-solaris2.
Jim Wilson <wilson@gnu.org>
parents: 1735
diff changeset
137 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
138 os=-solaris2
b00ada422354 (i[34]86sol2): New abbrev for i[34]86-unknown-solaris2.
Jim Wilson <wilson@gnu.org>
parents: 1735
diff changeset
139 ;;
576
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
140 spur)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
141 basic_machine=spur-unknown
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
142 ;;
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
143 alliant | fx80)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
144 basic_machine=fx80-alliant
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
145 ;;
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
146 convex-c1)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
147 basic_machine=c1-convex
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
148 os=-bsd
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
149 ;;
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
150 convex-c2)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
151 basic_machine=c2-convex
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
152 os=-bsd
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
153 ;;
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
154 convex-c32)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
155 basic_machine=c32-convex
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
156 os=-bsd
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
157 ;;
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
158 convex-c34)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
159 basic_machine=c34-convex
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
160 os=-bsd
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-c38)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
163 basic_machine=c38-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 m88k-omron*)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
167 basic_machine=m88k-omron
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
168 ;;
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
169 merlin)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
170 basic_machine=ns32k-utek
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
171 os=-sysv
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
172 ;;
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
173 crds | unos)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
174 basic_machine=m68k-crds
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
175 ;;
1415
1b82f79c4eb4 Add support for a new 64 bit CPU type. Elxsi.
Mike Stump <mrs@apple.com>
parents: 1270
diff changeset
176 elxsi)
1b82f79c4eb4 Add support for a new 64 bit CPU type. Elxsi.
Mike Stump <mrs@apple.com>
parents: 1270
diff changeset
177 basic_machine=elxsi-elxsi
1b82f79c4eb4 Add support for a new 64 bit CPU type. Elxsi.
Mike Stump <mrs@apple.com>
parents: 1270
diff changeset
178 os=-bsd
1b82f79c4eb4 Add support for a new 64 bit CPU type. Elxsi.
Mike Stump <mrs@apple.com>
parents: 1270
diff changeset
179 ;;
576
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
180 encore | umax | mmax)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
181 basic_machine=ns32k-encore
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
182 ;;
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
183 genix)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
184 basic_machine=ns32k-ns
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
185 ;;
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
186 iris | iris4d)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
187 basic_machine=mips-sgi
651
144027c7abb2 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 646
diff changeset
188 case $os in
144027c7abb2 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 646
diff changeset
189 -irix*)
144027c7abb2 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 646
diff changeset
190 ;;
144027c7abb2 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 646
diff changeset
191 *)
144027c7abb2 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 646
diff changeset
192 os=-irix4
144027c7abb2 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 646
diff changeset
193 ;;
144027c7abb2 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 646
diff changeset
194 esac
576
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
195 ;;
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
196 news | news700 | news800 | news900)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
197 basic_machine=m68k-sony
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
198 os=-newsos
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
199 ;;
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
200 3b1 | 7300 | 7300-att | att-7300 | pc7300 | safari | unixpc)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
201 basic_machine=m68000-att
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
202 ;;
629
e47f9ff356ea *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 613
diff changeset
203 3b*)
652
88a5b1ed98bb *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 651
diff changeset
204 basic_machine=we32k-att
629
e47f9ff356ea *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 613
diff changeset
205 ;;
576
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
206 delta | 3300 | motorola-3300 | motorola-delta \
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
207 | 3300-motorola | delta-motorola)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
208 basic_machine=m68k-motorola
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
209 ;;
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
210 balance)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
211 basic_machine=ns32k-sequent
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
212 os=-dynix
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
213 ;;
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
214 pc532)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
215 basic_machine=ns32k-pc532
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
216 ;;
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
217 symmetry)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
218 basic_machine=i386-sequent
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
219 os=-dynix
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
220 ;;
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
221 sun2)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
222 basic_machine=m68000-sun
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
223 ;;
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
224 sun2os3)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
225 basic_machine=m68000-sun
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
226 os=-sunos3
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
227 ;;
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
228 sun2os4)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
229 basic_machine=m68000-sun
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
230 os=-sunos4
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
231 ;;
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
232 sun3os3)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
233 basic_machine=m68k-sun
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
234 os=-sunos3
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
235 ;;
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
236 sun3os4)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
237 basic_machine=m68k-sun
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
238 os=-sunos4
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 sun4os3)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
241 basic_machine=sparc-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 sun4os4)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
245 basic_machine=sparc-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 sun3)
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 ;;
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
251 sun4)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
252 basic_machine=sparc-sun
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
253 ;;
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
254 pbd)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
255 basic_machine=sparc-tti
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
256 ;;
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
257 pbb)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
258 basic_machine=m68k-tti
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 sun386 | sun386i | roadrunner)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
261 basic_machine=i386-sun
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
262 ;;
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
263 ps2)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
264 basic_machine=i386-ibm
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
265 ;;
652
88a5b1ed98bb *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 651
diff changeset
266 fx2800)
88a5b1ed98bb *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 651
diff changeset
267 basic_machine=i860-alliant
88a5b1ed98bb *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 651
diff changeset
268 ;;
576
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
269 next)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
270 basic_machine=m68k-next
631
3c7da8664d12 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 629
diff changeset
271 os=-bsd
576
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 amiga)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
274 basic_machine=m68k-cbm
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
275 ;;
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
276 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
277 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
278 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
279 ;;
9c52fcf232bf Fri Nov 20 05:24:16 1992 Jim Blandy (jimb@totoro.cs.oberlin.edu)
Jim Blandy <jimb@redhat.com>
parents: 1627
diff changeset
280 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
281 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
282 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
283 ;;
576
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
284 hp9k3[2-9][0-9])
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
285 basic_machine=m68k-hp
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
286 ;;
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
287 hp9k31[0-9] | hp9k2[0-9][0-9])
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
288 basic_machine=m68000-hp
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
289 ;;
610
5f2f551fc367 *** empty log message ***
Torbjorn Granlund <tege@swox.com>
parents: 607
diff changeset
290 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
291 basic_machine=hppa1.1-hp
576
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
292 ;;
610
5f2f551fc367 *** empty log message ***
Torbjorn Granlund <tege@swox.com>
parents: 607
diff changeset
293 hp9k8[0-9][0-9] | hp8[0-9][0-9])
5f2f551fc367 *** empty log message ***
Torbjorn Granlund <tege@swox.com>
parents: 607
diff changeset
294 basic_machine=hppa1.0-hp
607
e0ce539246b8 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 589
diff changeset
295 ;;
576
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
296 isi68 | isi)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
297 basic_machine=m68k-isi
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
298 os=-sysv
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
299 ;;
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
300 apollo68)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
301 basic_machine=m68k-apollo
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
302 os=-sysv
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
303 ;;
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
304 altos | altos3068)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
305 basic_machine=m68k-altos
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
306 ;;
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
307 miniframe)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
308 basic_machine=m68000-convergent
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
309 ;;
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
310 tower | tower-32)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
311 basic_machine=m68k-ncr
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
312 ;;
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
313 news-3600 | risc-news)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
314 basic_machine=mips-sony
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
315 os=-newsos
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
316 ;;
652
88a5b1ed98bb *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 651
diff changeset
317 decstation | decstation-3100 | pmax | pmin | dec3100 | decstatn)
576
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
318 basic_machine=mips-dec
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 magnum | m3230)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
321 basic_machine=mips-mips
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
322 os=-sysv
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
323 ;;
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
324 gmicro)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
325 basic_machine=tron-gmicro
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
326 os=-sysv
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
327 ;;
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
328 rtpc | rtpc-*)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
329 basic_machine=romp-ibm
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
330 ;;
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
331 am29k)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
332 basic_machine=a29k-none
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
333 os=-bsd
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
334 ;;
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
335 amdahl)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
336 basic_machine=580-amdahl
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
337 os=-sysv
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
338 ;;
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
339 cray | ymp)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
340 basic_machine=ymp-cray
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
341 os=-unicos
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
342 ;;
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
343 cray2)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
344 basic_machine=cray2-cray
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
345 os=-unicos
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 xmp)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
348 basic_machine=xmp-cray
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
349 os=-unicos
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 delta88)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
352 basic_machine=m88k-motorola
1852
93cf37057957 removed m88kbcs, changed delta88 and harris to
John Hassey <hassey@dg-rtp.dg.com>
parents: 1840
diff changeset
353 os=-sysv3
576
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 dpx2)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
356 basic_machine=m68k-bull
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
357 os=-sysv
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 ebmon29k)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
360 basic_machine=a29k-amd
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
361 os=-ebmon
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
362 ;;
2009
755588575884 (h8300hds): Change hds to hms.
Steve Chamberlain <sac@transmeta.com>
parents: 1961
diff changeset
363 h8300hms)
576
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
364 basic_machine=h8300-hitachi
2009
755588575884 (h8300hds): Change hds to hms.
Steve Chamberlain <sac@transmeta.com>
parents: 1961
diff changeset
365 os=-hms
576
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 harris)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
368 basic_machine=m88k-harris
1852
93cf37057957 removed m88kbcs, changed delta88 and harris to
John Hassey <hassey@dg-rtp.dg.com>
parents: 1840
diff changeset
369 os=-sysv3
576
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 hp300bsd)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
372 basic_machine=m68k-hp
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
373 os=-bsd
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 hp300hpux)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
376 basic_machine=m68k-hp
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
377 os=-hpux
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 hp9k2[0-9][0-9] | hp9k31[0-9])
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
380 basic_machine=m68000-hp
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
381 os=-hpux
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 hp9k3[2-9][0-9])
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
384 basic_machine=m68k-hp
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
385 os=-hpux
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 ncr3000)
607
e0ce539246b8 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 589
diff changeset
388 basic_machine=i486-ncr
576
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
389 os=-sysv4
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 news1000)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
392 basic_machine=m68030-sony
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
393 os=-newsos
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 nindy960)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
396 basic_machine=i960-intel
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
397 os=-nindy
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 pn)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
400 basic_machine=pn-gould
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
401 ;;
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
402 np1)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
403 basic_machine=np1-gould
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
404 ;;
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
405 ultra3)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
406 basic_machine=a29k-nyu
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
407 os=-sym1
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
408 ;;
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
409 vxworks960)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
410 basic_machine=i960-wrs
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
411 os=-vxworks
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
412 ;;
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
413 vxworks68)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
414 basic_machine=m68k-wrs
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
415 os=-vxworks
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
416 ;;
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
417 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
418 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
419 ;;
576
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
420 none)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
421 basic_machine=none-none
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
422 os=-none
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
423 ;;
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 # 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
426 # some cases the only manufacturer, in others, it is the most popular.
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
427 mips)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
428 basic_machine=mips-mips
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
429 ;;
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
430 romp)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
431 basic_machine=romp-ibm
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
432 ;;
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
433 rs6000)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
434 basic_machine=rs6000-ibm
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
435 ;;
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
436 vax)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
437 basic_machine=vax-dec
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
438 ;;
652
88a5b1ed98bb *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 651
diff changeset
439 we32k)
88a5b1ed98bb *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 651
diff changeset
440 basic_machine=we32k-att
88a5b1ed98bb *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 651
diff changeset
441 ;;
576
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
442 sparc)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
443 basic_machine=sparc-sun
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
444 ;;
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
445 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
446 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
447 ;;
9c52fcf232bf Fri Nov 20 05:24:16 1992 Jim Blandy (jimb@totoro.cs.oberlin.edu)
Jim Blandy <jimb@redhat.com>
parents: 1627
diff changeset
448 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
449 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
450 ;;
9c52fcf232bf Fri Nov 20 05:24:16 1992 Jim Blandy (jimb@totoro.cs.oberlin.edu)
Jim Blandy <jimb@redhat.com>
parents: 1627
diff changeset
451 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
452 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
453 ;;
576
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
454 *)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
455 echo Invalid configuration \`$1\': machine \`$basic_machine\' not recognized 1>&2
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
456 exit 1
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
457 ;;
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
458 esac
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
459
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
460 # Here we canonicalize certain aliases for manufacturers.
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
461 case $basic_machine in
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
462 *-digital*)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
463 basic_machine=`echo $basic_machine | sed 's/digital.*/dec/'`
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
464 ;;
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
465 *-commodore*)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
466 basic_machine=`echo $basic_machine | sed 's/commodore.*/cbm/'`
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 *)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
469 ;;
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
470 esac
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
471
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
472 # Decode manufacturer-specific aliases for certain operating systems.
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 if [ "$os" ]
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
475 then
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
476 case $os in
1732
2dd86a54c11b Translate sunos5 to solaris2, and solaris1 to sunos4.
Richard M. Stallman <rms@gnu.org>
parents: 1726
diff changeset
477 # -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
478 -solaris1 | -solaris1.*)
2dd86a54c11b Translate sunos5 to solaris2, and solaris1 to sunos4.
Richard M. Stallman <rms@gnu.org>
parents: 1726
diff changeset
479 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
480 ;;
576
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
481 # First accept the basic system types.
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
482 # The portable systems comes first.
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
483 # Each alternative must end in a *, to match a version number.
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
484 -bsd* | -sysv* | -mach* | -minix* | -genix* | -ultrix* | -irix* \
1732
2dd86a54c11b Translate sunos5 to solaris2, and solaris1 to sunos4.
Richard M. Stallman <rms@gnu.org>
parents: 1726
diff changeset
485 | -vms* | -sco* | -esix* | -isc* | -aix* | -sunos | -sunos[34]* | -hpux* \
2dd86a54c11b Translate sunos5 to solaris2, and solaris1 to sunos4.
Richard M. Stallman <rms@gnu.org>
parents: 1726
diff changeset
486 | -unos* | -osf* | -luna* | -dgux* | -solaris* | -sym* \
610
5f2f551fc367 *** empty log message ***
Torbjorn Granlund <tege@swox.com>
parents: 607
diff changeset
487 | -amigados* | -msdos* | -newsos* | -unicos* | -aos* \
2009
755588575884 (h8300hds): Change hds to hms.
Steve Chamberlain <sac@transmeta.com>
parents: 1961
diff changeset
488 | -nindy* | -vxworks* | -ebmon* | -hms* \
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
489 | -riscos* | -linux* | -uniplus* | -iris* | -rtu* | -xenix* )
576
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
490 ;;
1732
2dd86a54c11b Translate sunos5 to solaris2, and solaris1 to sunos4.
Richard M. Stallman <rms@gnu.org>
parents: 1726
diff changeset
491 -sunos5*)
2dd86a54c11b Translate sunos5 to solaris2, and solaris1 to sunos4.
Richard M. Stallman <rms@gnu.org>
parents: 1726
diff changeset
492 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
493 ;;
2dd86a54c11b Translate sunos5 to solaris2, and solaris1 to sunos4.
Richard M. Stallman <rms@gnu.org>
parents: 1726
diff changeset
494 -sunos6*)
2dd86a54c11b Translate sunos5 to solaris2, and solaris1 to sunos4.
Richard M. Stallman <rms@gnu.org>
parents: 1726
diff changeset
495 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
496 ;;
576
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
497 -osfrose*)
674
d5c90f190057 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 654
diff changeset
498 os=-osfrose
576
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
499 ;;
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
500 -osf*)
674
d5c90f190057 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 654
diff changeset
501 os=-osf
576
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
502 ;;
742
7704767cd8d2 entered into RCS
Charles Hannum <mycroft@gnu.org>
parents: 738
diff changeset
503 -utek*)
7704767cd8d2 entered into RCS
Charles Hannum <mycroft@gnu.org>
parents: 738
diff changeset
504 os=-bsd
7704767cd8d2 entered into RCS
Charles Hannum <mycroft@gnu.org>
parents: 738
diff changeset
505 ;;
576
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
506 -dynix*)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
507 os=-bsd
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
508 ;;
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
509 -acis*)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
510 os=-aos
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 -ctix* | -uts*)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
513 os=-sysv
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 -triton*)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
516 os=-sysv3
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 -oss*)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
519 os=-sysv3
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 -svr4)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
522 os=-sysv4
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 -svr3)
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 ;;
1627
1c2f6bc3d8fe * config.sub: Added Xenix operating system.
Jim Blandy <jimb@redhat.com>
parents: 1545
diff changeset
527 -xenix)
1c2f6bc3d8fe * config.sub: Added Xenix operating system.
Jim Blandy <jimb@redhat.com>
parents: 1545
diff changeset
528 os=-xenix
1c2f6bc3d8fe * config.sub: Added Xenix operating system.
Jim Blandy <jimb@redhat.com>
parents: 1545
diff changeset
529 ;;
645
57295fc40ac3 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 631
diff changeset
530 -none)
57295fc40ac3 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 631
diff changeset
531 ;;
576
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
532 *)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
533 # Get rid of the `-' at the beginning of $os.
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
534 os=`echo $1 | sed 's/[^-]*-//'`
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
535 echo Invalid configuration \`$1\': system \`$os\' not recognized 1>&2
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
536 exit 1
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
537 ;;
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
538 esac
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
539 else
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
540
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
541 # Here we handle the default operating systems that come with various machines.
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
542 # 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
543 # 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
544
9c52fcf232bf Fri Nov 20 05:24:16 1992 Jim Blandy (jimb@totoro.cs.oberlin.edu)
Jim Blandy <jimb@redhat.com>
parents: 1627
diff changeset
545 # 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
546 # "-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
547 # 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
548 # 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
549 # 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
550
576
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
551 case $basic_machine in
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
552 *-dec | vax-*)
654
6d56ce1261a7 *** empty log message ***
Michael Meissner <gnu@the-meissners.org>
parents: 653
diff changeset
553 os=-ultrix4.2
576
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
554 ;;
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
555 i386-sun)
654
6d56ce1261a7 *** empty log message ***
Michael Meissner <gnu@the-meissners.org>
parents: 653
diff changeset
556 os=-sunos4.0.2
576
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
557 ;;
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
558 m68000-sun)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
559 os=-sunos3
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
560 # This also exists in the configure program, but was not the
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
561 # default.
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
562 # os=-sunos4
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 *-tti) # must be before sparc entry or we get the wrong os.
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
565 os=-sysv3
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
566 ;;
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
567 sparc-* | *-sun)
654
6d56ce1261a7 *** empty log message ***
Michael Meissner <gnu@the-meissners.org>
parents: 653
diff changeset
568 os=-sunos4.1.1
576
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 *-ibm)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
571 os=-aix
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 *-hp)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
574 os=-hpux
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
575 ;;
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
576 i860-* | *-att | *-ncr | *-altos | *-motorola | *-convergent)
576
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
577 os=-sysv
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 *-cbm)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
580 os=-amigados
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
581 ;;
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
582 *-dg)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
583 os=-dgux
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 *-dolphin)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
586 os=-sysv3
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 m88k-omron*)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
589 os=-luna
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
590 ;;
1726
e44b2de1b698 Default to bsd for *-sequent.
Richard M. Stallman <rms@gnu.org>
parents: 1631
diff changeset
591 *-sequent)
e44b2de1b698 Default to bsd for *-sequent.
Richard M. Stallman <rms@gnu.org>
parents: 1631
diff changeset
592 os=-bsd
e44b2de1b698 Default to bsd for *-sequent.
Richard M. Stallman <rms@gnu.org>
parents: 1631
diff changeset
593 ;;
576
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
594 *-crds)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
595 os=-unos
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 *-ns)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
598 os=-genix
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
599 ;;
738
81cd2a003397 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 674
diff changeset
600 i[34]86-*)
646
e283d4164aca *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 645
diff changeset
601 os=-sco3.2v2
576
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
602 ;;
1631
9c52fcf232bf Fri Nov 20 05:24:16 1992 Jim Blandy (jimb@totoro.cs.oberlin.edu)
Jim Blandy <jimb@redhat.com>
parents: 1627
diff changeset
603 *-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
604 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
605 ;;
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 *-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
607 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
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 *-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
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 *-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
613 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
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 *-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
616 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
617 ;;
576
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 os=-none
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
620 ;;
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
621 esac
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
622 fi
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 # 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
625 # manufacturer. We pick the logical manufacturer.
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
626 vendor=unknown
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
627 case $basic_machine in
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
628 *-unknown)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
629 case $os in
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
630 -sunos*)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
631 vendor=sun
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
632 ;;
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
633 -aix*)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
634 vendor=ibm
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 -hpux*)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
637 vendor=hp
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 -unos*)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
640 vendor=crds
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 -dgux*)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
643 vendor=dg
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 -luna*)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
646 vendor=omron
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 -genix*)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
649 vendor=ns
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 esac
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
652 basic_machine=`echo $basic_machine | sed "s/unknown/$vendor/"`
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
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
656 echo $basic_machine$os