annotate config.sub @ 595:114b502d0822

*** empty log message ***
author Jim Blandy <jimb@redhat.com>
date Sat, 21 Mar 1992 06:26:29 +0000
parents 03fd51103bc3
children e0ce539246b8
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
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
2 # Configuration validation subroutine script, version 1.0.
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
3 # Copyright (C) 1991 Free Software Foundation, Inc.
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
4
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
5 #This file is free software; you can redistribute it and/or modify
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
6 #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
7 #the Free Software Foundation; either version 2 of the License, or
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
8 #(at your option) any later version.
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
9
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
10 #This program is distributed in the hope that it will be useful,
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
11 #but WITHOUT ANY WARRANTY; without even the implied warranty of
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
12 #MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
13 #GNU General Public License for more details.
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
14
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
15 #You should have received a copy of the GNU General Public License
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
16 #along with this program; if not, write to the Free Software
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
17 #Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139, USA.
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
18
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
19
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
20 # Configuration subroutine to validate and canonicalize a configuration type.
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
21 # Supply the specified configuration type as an argument.
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
22 # 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
23 # Otherwise, we print the canonical config type on stdout and succeed.
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
24
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
25 # This file is supposed to be the same for all GNU packages
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
26 # and recognize all the CPU types, system types and aliases
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
27 # that are meaningful with *any* GNU software.
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
28 # Each package is responsible for reporting which valid configurations
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
29 # it does not support. The user should be able to distinguish
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
30 # a failure to support a valid configuration from a meaningless
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
31 # configuration.
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
32
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
33 # 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
34 # machine specification into a single specification in the form:
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
35 # CPU_TYPE-MANUFACTURER-OPERATING_SYSTEM
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
36 # it is wrong to echo any other type of specification
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
37
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
38 # First pass through any local machine types.
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
39 case $1 in
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
40 *local*)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
41 echo $1
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
42 exit 0
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
43 ;;
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
44 *)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
45 ;;
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
46 esac
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 # Separate what the user gave into CPU-COMPANY and OS (if any).
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
49 basic_machine=`echo $1 | sed 's/-[^-]*$//'`
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
50 if [ $basic_machine != $1 ]
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
51 then os=`echo $1 | sed 's/.*-/-/'`
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
52 else os=; fi
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
53
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
54 # Lets recognize common machines as not being OS so that things like
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
55 # config.subr decstation-3100 as legal.
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
56 case $os in
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
57 -dec* | -mips* | -sequent* | -encore* | -pc532* | -sgi* | -sony* | \
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
58 -att* | -7300* | -3300* | -delta* | -motorola* | -sun[234]* | \
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
59 -unicom* | -ibm* | -next* | -hp | -isi* | -apollo | -altos* | \
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
60 -convergent* | -ncr* | -news | -32* | -3600* | -3100* | -osf* | \
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
61 -c[123]* | -convex* | -sun | -crds | -omron* | -dg | -ultra | -tti* | \
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
62 -harris | -dolphin)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
63 os=
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
64 basic_machine=$1
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
65 ;;
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
66 -sco*)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
67 os=-scosysv322
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
68 basic_machine=i386-unknown
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
69 ;;
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
70 -isc*)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
71 os=-iscsysv
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
72 basic_machine=i386-unknown
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
73 ;;
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
74 esac
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
75
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
76 # Decode aliases for certain CPU-COMPANY combinations.
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
77 case $basic_machine in
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
78 # Recognize the basic CPU types with without company name.
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
79 # 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
80 tahoe | i[34]86 | i860 | m68k | m68000 | m88k | ns32k | arm | pyramid \
576
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
81 | tron | a29k | 580 | i960 | h8300 | hppa)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
82 basic_machine=$basic_machine-unknown
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
83 ;;
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
84 # Recognize the basic CPU types with with company name.
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
85 vax-* | tahoe-* | i386-* | i860-* | m68k-* | m68000-* | m88k-* \
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
86 | sparc-* | ns32k-* | fx80-* | arm-* | c[123]* \
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
87 | mips-* | pyramid-* | tron-* | a29k-* | romp-* | rs6000-* \
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
88 | none-* | 580-* | cray2-* | h8300-* | i960-* | xmp-* | ymp-* \
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
89 | hppa-*)
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 # Recognize the various machine names and aliases which stand
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
92 # for a CPU type and a company and sometimes even an OS.
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
93 vaxv)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
94 basic_machine=vax-dec
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
95 os=-sysv
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
96 ;;
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
97 vms)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
98 basic_machine=vax-dec
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
99 os=-vms
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
100 ;;
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
101 i386v32)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
102 basic_machine=i386-unknown
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
103 os=-sysv32
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
104 ;;
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
105 i386-sco* | i386sco | sco)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
106 basic_machine=i386-unknown
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
107 os=-scosysv322
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
108 ;;
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
109 i386-isc* | isc)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
110 basic_machine=i386-unknown
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
111 os=-iscsysv
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 i386v4*)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
114 basic_machine=i386-unknown
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
115 os=-sysv4
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
116 ;;
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
117 i386v)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
118 basic_machine=i386-unknown
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
119 os=-sysv
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
120 ;;
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
121 spur)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
122 basic_machine=spur-unknown
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 alliant | fx80)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
125 basic_machine=fx80-alliant
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
126 ;;
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
127 convex-c1)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
128 basic_machine=c1-convex
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
129 os=-bsd
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
130 ;;
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
131 convex-c2)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
132 basic_machine=c2-convex
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
133 os=-bsd
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
134 ;;
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
135 convex-c32)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
136 basic_machine=c32-convex
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
137 os=-bsd
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
138 ;;
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
139 convex-c34)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
140 basic_machine=c34-convex
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
141 os=-bsd
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 convex-c38)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
144 basic_machine=c38-convex
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
145 os=-bsd
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
146 ;;
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
147 m88k-omron*)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
148 basic_machine=m88k-omron
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 merlin)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
151 basic_machine=ns32k-utek
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
152 os=-sysv
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 crds | unos)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
155 basic_machine=m68k-crds
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
156 ;;
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
157 encore | umax | mmax)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
158 basic_machine=ns32k-encore
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
159 os=-sysv
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
160 ;;
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
161 genix)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
162 basic_machine=ns32k-ns
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
163 ;;
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
164 iris | iris4d)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
165 basic_machine=mips-sgi
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
166 os=-irix
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
167 ;;
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
168 news | news700 | news800 | news900)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
169 basic_machine=m68k-sony
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
170 os=-newsos
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
171 ;;
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
172 3b1 | 7300 | 7300-att | att-7300 | pc7300 | safari | unixpc)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
173 basic_machine=m68000-att
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
174 ;;
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
175 delta | 3300 | motorola-3300 | motorola-delta \
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
176 | 3300-motorola | delta-motorola)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
177 basic_machine=m68k-motorola
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
178 ;;
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
179 balance)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
180 basic_machine=ns32k-sequent
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
181 os=-dynix
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 pc532)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
184 basic_machine=ns32k-pc532
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 symmetry)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
187 basic_machine=i386-sequent
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
188 os=-dynix
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
189 ;;
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
190 sun2)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
191 basic_machine=m68000-sun
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
192 ;;
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
193 sun2os3)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
194 basic_machine=m68000-sun
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
195 os=-sunos3
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
196 ;;
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
197 sun2os4)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
198 basic_machine=m68000-sun
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
199 os=-sunos4
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
200 ;;
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
201 sun3os3)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
202 basic_machine=m68k-sun
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
203 os=-sunos3
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
204 ;;
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
205 sun3os4)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
206 basic_machine=m68k-sun
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
207 os=-sunos4
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
208 ;;
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
209 sun4os3)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
210 basic_machine=sparc-sun
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
211 os=-sunos3
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
212 ;;
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
213 sun4os4)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
214 basic_machine=sparc-sun
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
215 os=-sunos4
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 sun3)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
218 basic_machine=m68k-sun
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
219 ;;
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
220 sun4)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
221 basic_machine=sparc-sun
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
222 ;;
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
223 pbd)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
224 basic_machine=sparc-tti
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 pbb)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
227 basic_machine=m68k-tti
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
228 ;;
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
229 sun386 | sun386i | roadrunner)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
230 basic_machine=i386-sun
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 ps2)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
233 basic_machine=i386-ibm
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
234 ;;
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
235 next)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
236 basic_machine=m68k-next
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
237 os=-sysv
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
238 ;;
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
239 amiga)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
240 basic_machine=m68k-cbm
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
241 ;;
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
242 hp9k3[2-9][0-9])
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
243 basic_machine=m68k-hp
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
244 ;;
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
245 hp9k31[0-9] | hp9k2[0-9][0-9])
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
246 basic_machine=m68000-hp
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 hp9k8[0-9][0-9] | hp9k7[0-9][0-9] | hp8[0-9][0-9] | hp7[0-9][0-9])
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
249 basic_machine=hp800-hp
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 isi68 | isi)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
252 basic_machine=m68k-isi
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
253 os=-sysv
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
254 ;;
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
255 apollo68)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
256 basic_machine=m68k-apollo
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
257 os=-sysv
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
258 ;;
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
259 altos | altos3068)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
260 basic_machine=m68k-altos
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
261 ;;
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
262 miniframe)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
263 basic_machine=m68000-convergent
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
264 ;;
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
265 tower | tower-32)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
266 basic_machine=m68k-ncr
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
267 ;;
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
268 news-3600 | risc-news)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
269 basic_machine=mips-sony
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
270 os=-newsos
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
271 ;;
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
272 decstation-dec | decstation | decstation-3100 | pmax | pmin | dec3100 | decstatn)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
273 basic_machine=mips-dec
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
274 ;;
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
275 magnum | m3230)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
276 basic_machine=mips-mips
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
277 os=-sysv
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 gmicro)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
280 basic_machine=tron-gmicro
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
281 os=-sysv
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
282 ;;
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
283 rtpc | rtpc-*)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
284 basic_machine=romp-ibm
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
285 ;;
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
286 am29k)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
287 basic_machine=a29k-none
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
288 os=-bsd
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
289 ;;
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
290 amdahl)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
291 basic_machine=580-amdahl
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
292 os=-sysv
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
293 ;;
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
294 amigados)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
295 basic_machine=m68k-cbm
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
296 os=-amigados
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
297 ;;
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
298 amigaunix | amix)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
299 basic_machine=m68k-cbm
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
300 os=-amix
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
301 ;;
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
302 cray | ymp)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
303 basic_machine=ymp-cray
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
304 os=-unicos
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
305 ;;
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
306 cray2)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
307 basic_machine=cray2-cray
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
308 os=-unicos
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 xmp)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
311 basic_machine=xmp-cray
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
312 os=-unicos
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
313 ;;
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
314 delta88)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
315 basic_machine=m88k-motorola
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
316 os=-m88kbcs
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
317 ;;
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
318 dpx2)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
319 basic_machine=m68k-bull
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
320 os=-sysv
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
321 ;;
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
322 ebmon29k)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
323 basic_machine=a29k-amd
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
324 os=-ebmon
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 h8300hds)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
327 basic_machine=h8300-hitachi
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
328 os=-hds
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
329 ;;
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
330 harris)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
331 basic_machine=m88k-harris
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
332 os=-m88kbcs
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
333 ;;
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
334 hp300bsd)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
335 basic_machine=m68k-hp
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
336 os=-bsd
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
337 ;;
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
338 hp300hpux)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
339 basic_machine=m68k-hp
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
340 os=-hpux
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
341 ;;
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
342 hp9k2[0-9][0-9] | hp9k31[0-9])
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
343 basic_machine=m68000-hp
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
344 os=-hpux
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
345 ;;
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
346 hp9k3[2-9][0-9])
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
347 basic_machine=m68k-hp
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
348 os=-hpux
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
349 ;;
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
350 ncr3000)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
351 basic_machine=i386-ncr
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
352 os=-sysv4
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
353 ;;
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
354 news1000)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
355 basic_machine=m68030-sony
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
356 os=-newsos
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
357 ;;
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
358 nindy960)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
359 basic_machine=i960-intel
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
360 os=-nindy
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
361 ;;
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
362 pn)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
363 basic_machine=pn-gould
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
364 os=-sysv
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
365 ;;
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
366 np1)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
367 basic_machine=np1-gould
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
368 os=-sysv
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
369 ;;
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
370 ultra3)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
371 basic_machine=a29k-nyu
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
372 os=-sym1
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
373 ;;
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
374 vxworks960)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
375 basic_machine=i960-wrs
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
376 os=-vxworks
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
377 ;;
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
378 vxworks68)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
379 basic_machine=m68k-wrs
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
380 os=-vxworks
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
381 ;;
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
382 none)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
383 basic_machine=none-none
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
384 os=-none
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
385 ;;
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 # 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
388 # some cases the only manufacturer, in others, it is the most popular.
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
389 mips)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
390 basic_machine=mips-mips
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
391 ;;
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
392 romp)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
393 basic_machine=romp-ibm
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 rs6000)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
396 basic_machine=rs6000-ibm
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
397 ;;
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
398 vax)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
399 basic_machine=vax-dec
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
400 ;;
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
401 sparc)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
402 basic_machine=sparc-sun
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
403 ;;
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
404 fx2800)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
405 basic_machine=i860-alliant
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 *)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
408 echo Invalid configuration \`$1\': machine \`$basic_machine\' not recognized 1>&2
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
409 exit 1
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 esac
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 # Here we canonicalize certain aliases for manufacturers.
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
414 case $basic_machine in
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
415 *-digital*)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
416 basic_machine=`echo $basic_machine | sed 's/digital.*/dec/'`
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 *-commodore*)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
419 basic_machine=`echo $basic_machine | sed 's/commodore.*/cbm/'`
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 *)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
422 ;;
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
423 esac
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 # Decode manufacturer-specific aliases for certain operating systems.
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
426
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
427 if [ "$os" ]
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
428 then
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
429 case $os in
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
430 # First accept the basic system types.
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
431 # The portable systems comes first.
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
432 # Each alternative must end in a *, to match a version number.
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
433 -bsd* | -sysv* | -mach* | -minix* | -genix* | -ultrix* | -irix* \
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
434 | -vms* | -sco* | -esix* | -isc* | -aix* | -sunos* | -hpux* \
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
435 | -unos* | -osf* | -luna* | -dgux* | -solari* | -sym* | -amix* \
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
436 | -amigados* | -msdos* | -unicos* | -aos* \
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
437 | -nindy* | -vxworks* | -ebmon* | -hds* | -m88kbcs*)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
438 ;;
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
439 -newsos*)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
440 os=-bsd
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
441 ;;
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
442 -osfrose*)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
443 os=-osf
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
444 ;;
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
445 -osf*)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
446 os=-bsd
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
447 ;;
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
448 -dynix*)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
449 os=-bsd
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
450 ;;
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
451 -acis*)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
452 os=-aos
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
453 ;;
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
454 -ctix* | -uts*)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
455 os=-sysv
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
456 ;;
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
457 -triton*)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
458 os=-sysv3
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 -oss*)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
461 os=-sysv3
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
462 ;;
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
463 -svr4)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
464 os=-sysv4
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
465 ;;
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
466 -svr3)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
467 os=-sysv3
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 # Get rid of the `-' at the beginning of $os.
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
471 os=`echo $1 | sed 's/[^-]*-//'`
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
472 echo Invalid configuration \`$1\': system \`$os\' not recognized 1>&2
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
473 exit 1
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
474 ;;
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
475 esac
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
476 else
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
477
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
478 # Here we handle the default operating systems that come with various machines.
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
479 # 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
480 # machine or put another way, the most popular os provided with the machine.
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
481 case $basic_machine in
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
482 *-dec | vax-*)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
483 os=-ultrix42
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 i386-sun)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
486 os=-sunos402
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 m68000-sun)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
489 os=-sunos3
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
490 # This also exists in the configure program, but was not the
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
491 # default.
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
492 # os=-sunos4
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
493 ;;
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
494 *-tti) # must be before sparc entry or we get the wrong os.
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
495 os=-sysv3
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
496 ;;
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
497 sparc-* | *-sun)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
498 os=-sunos411
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 *-ibm)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
501 os=-aix
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 *-hp)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
504 os=-hpux
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 *-sgi | i860-* | *-att | *-ncr | *-altos | *-motorola | *-convergent)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
507 os=-sysv
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 *-cbm)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
510 os=-amigados
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 *-dg)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
513 os=-dgux
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 *-dolphin)
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 m88k-omron*)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
519 os=-luna
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 *-crds)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
522 os=-unos
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 *-ns)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
525 os=-genix
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 i386-*)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
528 os=-scosysv322
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 *)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
531 os=-none
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 esac
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
534 fi
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
535
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
536 # 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
537 # manufacturer. We pick the logical manufacturer.
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
538 vendor=unknown
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
539 case $basic_machine in
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
540 *-unknown)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
541 case $os in
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
542 -sunos*)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
543 vendor=sun
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
544 ;;
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
545 -aix*)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
546 vendor=ibm
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
547 ;;
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
548 -hpux*)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
549 vendor=hp
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
550 ;;
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
551 -unos*)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
552 vendor=crds
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
553 ;;
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
554 -dgux*)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
555 vendor=dg
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
556 ;;
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
557 -luna*)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
558 vendor=omron
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
559 ;;
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
560 -genix*)
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
561 vendor=ns
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
562 ;;
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
563 esac
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
564 basic_machine=`echo $basic_machine | sed "s/unknown/$vendor/"`
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
565 ;;
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
566 esac
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
567
a63fdacd41b3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
568 echo $basic_machine$os