annotate configure1.in @ 1642:340feb030df1

*** empty log message ***
author David J. MacKenzie <djm@gnu.org>
date Thu, 26 Nov 1992 04:42:40 +0000
parents b57feef74718
children bd3afc204773
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
603
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
1 #!/bin/sh
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
2 # Configuration script for GNU Emacs
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
3 # Copyright (C) 1992 Free Software Foundation, Inc.
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
4
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
5 #This file is part of GNU Emacs.
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
6
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
7 #GNU Emacs is free software; you can redistribute it and/or modify
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
8 #it under the terms of the GNU General Public License as published by
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
9 #the Free Software Foundation; either version 1, or (at your option)
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
10 #any later version.
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
11
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
12 #GNU Emacs is distributed in the hope that it will be useful,
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
13 #but WITHOUT ANY WARRANTY; without even the implied warranty of
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
14 #MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
15 #GNU General Public License for more details.
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
16
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
17 #You should have received a copy of the GNU General Public License
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
18 #along with GNU Emacs; see the file COPYING. If not, write to
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
19 #the Free Software Foundation, 675 Mass Ave, Cambridge, MA 02139, USA.
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
20
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
21 # Shell script to edit files and make symlinks in preparation for
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
22 # compiling Emacs.
617
cde1f15848c6 *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 605
diff changeset
23 #
1629
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
24 # Usage: configure config_name
603
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
25 #
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
26 # If configure succeeds, it leaves its status in config.status.
617
cde1f15848c6 *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 605
diff changeset
27 # If configure fails after disturbing the status quo,
603
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
28 # config.status is removed.
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
29 #
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
30
1112
1dba066c1e0a *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 999
diff changeset
31 # Remove any leading "." elements from the path name. If we don't
1dba066c1e0a *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 999
diff changeset
32 # remove them, then another "./" will be prepended to the file name
1dba066c1e0a *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 999
diff changeset
33 # each time we use config.status, and the program name will get larger
1dba066c1e0a *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 999
diff changeset
34 # and larger. This wouldn't be a problem, except that since progname
1dba066c1e0a *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 999
diff changeset
35 # gets recorded in all the Makefiles this script produces,
638
40b255f55df3 *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 621
diff changeset
36 # move-if-changed thinks they're different when they're not.
1112
1dba066c1e0a *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 999
diff changeset
37 #
1dba066c1e0a *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 999
diff changeset
38 # It would be nice if we could put the ./ in a \( \) group and then
1dba066c1e0a *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 999
diff changeset
39 # apply the * operator to that, so we remove as many leading ./././'s
1dba066c1e0a *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 999
diff changeset
40 # as are present, but some seds (like Ultrix's sed) don't allow you to
1dba066c1e0a *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 999
diff changeset
41 # apply * to a \( \) group. Bleah.
1dba066c1e0a *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 999
diff changeset
42 progname="`echo $0 | sed 's:^\./::'`"
603
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
43
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
44 short_usage="Type \`${progname} -usage' for more information about options."
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
45
1629
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
46 usage_message="Usage: ${progname} CONFIGURATION [-OPTION[=VALUE] ...]
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
47
603
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
48 Set compilation and installation parameters for GNU Emacs, and report.
1629
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
49 CONFIGURATION specifies the machine and operating system to build for.
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
50 For example:
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
51 ${progname} sparc-sun-sunos4.1
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
52 configures Emacs to build on a Sun Sparc machine running SunOS 4.1, and
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
53 ${progname} decstation
1423
93ee9c5e7eec Partially changed to use GCC-style configuration names.
Jim Blandy <jimb@redhat.com>
parents: 1139
diff changeset
54 configures Emacs to run on a DECstation running Ultrix. See \`etc/MACHINES'.
603
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
55 Options are:
1423
93ee9c5e7eec Partially changed to use GCC-style configuration names.
Jim Blandy <jimb@redhat.com>
parents: 1139
diff changeset
56 --with-x, --with-x11 or --with-x10 - what window system to use;
93ee9c5e7eec Partially changed to use GCC-style configuration names.
Jim Blandy <jimb@redhat.com>
parents: 1139
diff changeset
57 default is to use X11 if present. If you don't want X, specify
93ee9c5e7eec Partially changed to use GCC-style configuration names.
Jim Blandy <jimb@redhat.com>
parents: 1139
diff changeset
58 \`--with-x=no'.
93ee9c5e7eec Partially changed to use GCC-style configuration names.
Jim Blandy <jimb@redhat.com>
parents: 1139
diff changeset
59 -g, -O - Passed to the compiler. Default is -g, plus -O if using gcc.
1139
4875b01ff377 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents: 1112
diff changeset
60 --prefix=DIR - where to install Emacs's library files
4875b01ff377 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents: 1112
diff changeset
61 --libdir=DIR - where to look for arch-dependent library files
4875b01ff377 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents: 1112
diff changeset
62 --datadir=DIR - where to look for architecture-independent library files
4875b01ff377 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents: 1112
diff changeset
63 --bindir=DIR - where to install the Emacs executable, and some friends
4875b01ff377 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents: 1112
diff changeset
64 --lisppath=PATH - colon-separated list of Emacs Lisp directories
4875b01ff377 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents: 1112
diff changeset
65 --lockdir=DIR - where Emacs should do its file-locking stuff
603
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
66 If successful, ${progname} leaves its status in config.status. If
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
67 unsuccessful after disturbing the status quo, config.status is removed."
1139
4875b01ff377 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents: 1112
diff changeset
68 # These are omitted since users should not mess with them.
4875b01ff377 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents: 1112
diff changeset
69 # --gnu-malloc=[yes] or no - use the GNU memory allocator
4875b01ff377 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents: 1112
diff changeset
70 # --rel-alloc=[yes] or no - use compacting allocator for buffers
4875b01ff377 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents: 1112
diff changeset
71 # --lisp-float-type=[yes] or no - Support floating point in Emacs Lisp.
4875b01ff377 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents: 1112
diff changeset
72 # --window-system is omitted because --with... follow the conventions.
603
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
73
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
74 if [ ! -r ./src/lisp.h ]; then
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
75 echo "${progname}: Can't find Emacs sources in \`./src'.
732
a8d94735277e *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 704
diff changeset
76 Run this config script in the top directory of the Emacs source tree." >&2
603
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
77 exit 1
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
78 fi
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
79
1139
4875b01ff377 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents: 1112
diff changeset
80 # The option names defined here are actually the shell variable names.
4875b01ff377 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents: 1112
diff changeset
81 # They should have `_' in place of `-'.
603
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
82 options=":\
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
83 usage:help:\
1423
93ee9c5e7eec Partially changed to use GCC-style configuration names.
Jim Blandy <jimb@redhat.com>
parents: 1139
diff changeset
84 with_x:with_x11:with_x10:\
93ee9c5e7eec Partially changed to use GCC-style configuration names.
Jim Blandy <jimb@redhat.com>
parents: 1139
diff changeset
85 g:O:\
621
eca8812e61cd *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 617
diff changeset
86 prefix:bindir:emacsdir:datadir:lispdir:locallisppath:\
eca8812e61cd *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 617
diff changeset
87 lisppath:buildlisppath:statedir:lockdir:libdir:mandir:infodir:\
603
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
88 "
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
89
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
90 boolean_opts=":\
1423
93ee9c5e7eec Partially changed to use GCC-style configuration names.
Jim Blandy <jimb@redhat.com>
parents: 1139
diff changeset
91 g:O:with_x:with_x10:\
603
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
92 "
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
93
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
94 config_h_opts=":\
1423
93ee9c5e7eec Partially changed to use GCC-style configuration names.
Jim Blandy <jimb@redhat.com>
parents: 1139
diff changeset
95 have_x_windows:have_x11:have_x_menu:\
1483
868dcc4f0edd Update LISP_FLOAT_TYPE in config.h.
Richard M. Stallman <rms@gnu.org>
parents: 1482
diff changeset
96 c_switch_site:sigtype:gnu_malloc:rel_alloc:lisp_float_type:\
603
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
97 "
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
98
621
eca8812e61cd *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 617
diff changeset
99 prefix=
605
5f36058e31f9 *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 603
diff changeset
100 bindir=/usr/local/bin
603
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
101 gnu_malloc=yes
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
102 lisp_float_type=yes
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
103
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
104 # The default values for the following options are guessed at after other
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
105 # options have been checked and given values, so we set them to null here.
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
106 lisppath=""
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
107 datadir=""
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
108 libdir=""
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
109 lockdir=""
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
110 window_system=""
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
111
638
40b255f55df3 *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 621
diff changeset
112 # Record all the arguments, so we can save them in config.status.
1423
93ee9c5e7eec Partially changed to use GCC-style configuration names.
Jim Blandy <jimb@redhat.com>
parents: 1139
diff changeset
113 arguments="$@"
638
40b255f55df3 *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 621
diff changeset
114
617
cde1f15848c6 *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 605
diff changeset
115 echo "Examining options."
621
eca8812e61cd *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 617
diff changeset
116 while [ $# != 0 ]; do
eca8812e61cd *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 617
diff changeset
117 arg="$1"
603
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
118 case "${arg}" in
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
119 -*)
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
120 # Separate the switch name from the value it's being given.
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
121 case "${arg}" in
1139
4875b01ff377 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents: 1112
diff changeset
122 -*=*)
1423
93ee9c5e7eec Partially changed to use GCC-style configuration names.
Jim Blandy <jimb@redhat.com>
parents: 1139
diff changeset
123 opt=`echo ${arg} | sed 's:^-*\([^=]*\)=.*$:\1:'`
1139
4875b01ff377 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents: 1112
diff changeset
124 val=`echo ${arg} | sed 's:^-*[^=]*=\(.*\)$:\1:'`
603
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
125 valomitted=no
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
126 ;;
1139
4875b01ff377 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents: 1112
diff changeset
127 -*)
621
eca8812e61cd *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 617
diff changeset
128 # If FOO is a boolean argument, -FOO is equivalent to
eca8812e61cd *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 617
diff changeset
129 # -FOO=yes. Otherwise, the value comes from the next
eca8812e61cd *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 617
diff changeset
130 # argument - see below.
1423
93ee9c5e7eec Partially changed to use GCC-style configuration names.
Jim Blandy <jimb@redhat.com>
parents: 1139
diff changeset
131 opt=`echo ${arg} | sed 's:^-*\(.*\)$:\1:'`
603
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
132 val="yes"
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
133 valomitted=yes
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
134 ;;
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
135 esac
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
136
1423
93ee9c5e7eec Partially changed to use GCC-style configuration names.
Jim Blandy <jimb@redhat.com>
parents: 1139
diff changeset
137 # Also change `-' in the option name to `_'.
93ee9c5e7eec Partially changed to use GCC-style configuration names.
Jim Blandy <jimb@redhat.com>
parents: 1139
diff changeset
138 opt="`echo ${opt} | tr - _`"
93ee9c5e7eec Partially changed to use GCC-style configuration names.
Jim Blandy <jimb@redhat.com>
parents: 1139
diff changeset
139
603
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
140 # Make sure the argument is valid and unambiguous.
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
141 case ${options} in
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
142 *:${opt}:* ) # Exact match.
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
143 optvar=${opt}
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
144 ;;
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
145 *:${opt}*:${opt}*:* ) # Ambiguous prefix.
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
146 echo "\`-${opt}' is an ambiguous switch; it could be any of the following:"
732
a8d94735277e *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 704
diff changeset
147 # We can't just use tr to translate colons to newlines, since
a8d94735277e *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 704
diff changeset
148 # BSD sed and SYSV sed use different syntaxes for that.
a8d94735277e *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 704
diff changeset
149 spaced_options=`echo ${options} | tr ':' ' '`
a8d94735277e *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 704
diff changeset
150 echo `(for option in ${spaced_options}; do echo $option; done) \
a8d94735277e *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 704
diff changeset
151 | grep "^${opt}"`
603
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
152 echo ${short_usage}
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
153 exit 1
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
154 ;;
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
155 *:${opt}*:* ) # Unambigous prefix.
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
156 optvar=`echo ${options} | sed 's/^.*:\('${opt}'[^:]*\):.*$/\1/'`
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
157 ;;
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
158 * )
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
159 (echo "\`-${opt}' is not a valid option."
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
160 echo "${short_usage}") | more
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
161 exit 1
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
162 ;;
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
163 esac
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
164
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
165 case "${optvar}" in
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
166 usage | help)
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
167 echo "${usage_message}" | more
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
168 exit 1
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
169 ;;
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
170 esac
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
171
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
172 # If the variable is supposed to be boolean, make sure the value
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
173 # given is either "yes" or "no". If not, make sure some value
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
174 # was given.
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
175 case "${boolean_opts}" in
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
176 *:${optvar}:* )
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
177 case "${val}" in
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
178 y | ye | yes ) val=yes ;;
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
179 n | no ) val=no ;;
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
180 * )
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
181 echo "The \`-${optvar}' option (\`-${opt}') is supposed to have a boolean
732
a8d94735277e *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 704
diff changeset
182 value - set it to either \`yes' or \`no'." >&2
603
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
183 exit 1
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
184 ;;
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
185 esac
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
186 ;;
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
187 *)
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
188 if [ "${valomitted}" = "yes" ]; then
621
eca8812e61cd *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 617
diff changeset
189 if [ $# = 1 ]; then
eca8812e61cd *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 617
diff changeset
190 (echo "${progname}: You must give a value for the \`-${opt}' option, as in
eca8812e61cd *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 617
diff changeset
191 \`-${opt}=FOO'."
eca8812e61cd *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 617
diff changeset
192 echo "${short_usage}") | more
eca8812e61cd *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 617
diff changeset
193 exit 1
eca8812e61cd *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 617
diff changeset
194 fi
eca8812e61cd *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 617
diff changeset
195 shift; val="$1"
603
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
196 fi
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
197 ;;
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
198 esac
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
199
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
200 eval "${optvar}=\"${val}\""
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
201 ;;
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
202 *)
1629
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
203 configuration=${arg}
603
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
204 ;;
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
205 esac
621
eca8812e61cd *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 617
diff changeset
206 shift
603
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
207 done
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
208
1629
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
209 if [ "${configuration}" = "" ]; then
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
210 (echo "You must specify a configuration name as an argument to ${progname}."
603
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
211 echo "${short_usage}") | more
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
212 exit 1
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
213 fi
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
214
1629
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
215 # Canonicalize the configuration name.
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
216 echo "Checking the configuration name."
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
217 if configuration=`./config.sub "${configuration}"` ; then : ; else
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
218 exit $?
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
219 fi
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
220
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
221 # Given the canonicalized configuration name, set machfile and opsysfile to
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
222 # the names of the m/*.h and s/*.h files we should use.
603
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
223
1629
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
224 ### You would hope that you could choose an m/*.h file pretty much
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
225 ### based on the machine portion of the configuration name, and an s-
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
226 ### file based on the operating system portion. However, it turns out
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
227 ### that each m/*.h file is pretty manufacturer-specific - for
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
228 ### example, apollo.h, hp9000s300.h, mega68k, news.h, and tad68k are
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
229 ### all 68000 machines; mips.h, pmax.h, and news-risc are all MIPS
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
230 ### machines. So we basically have to have a special case for each
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
231 ### configuration name.
603
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
232
1629
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
233 ### As far as handling version numbers on operating systems is
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
234 ### concerned, make sure things will fail in a fixable way. If
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
235 ### /etc/MACHINES doesn't say anything about version numbers, be
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
236 ### prepared to handle anything reasonably. If version numbers
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
237 ### matter, be sure /etc/MACHINES says something about it.
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
238 machine='' opsys='' unported='false'
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
239 case "${configuration}" in
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
240
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
241 ## Alliant machines
1423
93ee9c5e7eec Partially changed to use GCC-style configuration names.
Jim Blandy <jimb@redhat.com>
parents: 1139
diff changeset
242 ## Strictly speaking, we need the version of the alliant operating
93ee9c5e7eec Partially changed to use GCC-style configuration names.
Jim Blandy <jimb@redhat.com>
parents: 1139
diff changeset
243 ## system to choose the right machine file, but currently the
93ee9c5e7eec Partially changed to use GCC-style configuration names.
Jim Blandy <jimb@redhat.com>
parents: 1139
diff changeset
244 ## configuration name doesn't tell us enough to choose the right
93ee9c5e7eec Partially changed to use GCC-style configuration names.
Jim Blandy <jimb@redhat.com>
parents: 1139
diff changeset
245 ## one; we need to give alliants their own operating system name to
93ee9c5e7eec Partially changed to use GCC-style configuration names.
Jim Blandy <jimb@redhat.com>
parents: 1139
diff changeset
246 ## do this right. When someone cares, they can help us.
93ee9c5e7eec Partially changed to use GCC-style configuration names.
Jim Blandy <jimb@redhat.com>
parents: 1139
diff changeset
247 fx80-alliant-* )
1629
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
248 machine=alliant4 opsys=bsd4-2
1423
93ee9c5e7eec Partially changed to use GCC-style configuration names.
Jim Blandy <jimb@redhat.com>
parents: 1139
diff changeset
249 ;;
93ee9c5e7eec Partially changed to use GCC-style configuration names.
Jim Blandy <jimb@redhat.com>
parents: 1139
diff changeset
250 i860-alliant-* )
1629
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
251 machine=alliant-2800 opsys=bsd4-3
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
252 ;;
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
253
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
254 ## Altos 3068
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
255 m68*-altos-sysv* )
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
256 machine=altos opsys=usg5-2
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
257 ;;
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
258
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
259 ## Amdahl UTS
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
260 580-amdahl-sysv* )
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
261 machine=amdahl opsys=usg5-2-2
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
262 ;;
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
263
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
264 ## Appallings - I mean, Apollos - running Domain
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
265 m68*-apollo* )
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
266 machine=apollo opsysfile=bsd4-2.h
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
267 ;;
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
268
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
269 ## AT&T 3b2, 3b5, 3b15, 3b20
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
270 we32k-att-sysv* )
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
271 machine=att3b opsys=usg5-2-2
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
272 ;;
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
273
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
274 ## AT&T 3b1 - The Mighty Unix PC!
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
275 m68*-att-sysv* )
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
276 machine=7300 opsys=usg5-2-2
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
277 ;;
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
278
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
279 ## Bull sps7
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
280 m68*-bull-sysv* )
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
281 machine=sps7 opsys=usg5-2
1423
93ee9c5e7eec Partially changed to use GCC-style configuration names.
Jim Blandy <jimb@redhat.com>
parents: 1139
diff changeset
282 ;;
603
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
283
1629
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
284 ## CCI 5/32, 6/32 -- see "Tahoe".
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
285
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
286 ## Celerity
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
287 ## I don't know what configuration name to use for this; config.sub
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
288 ## doesn't seem to know anything about it. Hey, Celerity users, get
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
289 ## in touch with us!
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
290 celerity-celerity-bsd* )
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
291 machine=celerity opsys=bsd4-2
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
292 ;;
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
293
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
294 ## Clipper
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
295 ## What operating systems does this chip run that Emacs has been
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
296 ## tested on?
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
297 clipper-* )
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
298 machine=clipper
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
299 ## We'll use the catch-all code at the bottom to guess the
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
300 ## operating system.
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
301 ;;
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
302
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
303 ## Convex
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
304 *-convex-bsd* )
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
305 machine=convex opsys=bsd4-3
1423
93ee9c5e7eec Partially changed to use GCC-style configuration names.
Jim Blandy <jimb@redhat.com>
parents: 1139
diff changeset
306 ;;
1629
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
307
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
308 ## Cubix QBx/386
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
309 i386-cubix-sysv* )
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
310 machine=intel386 opsys=usg5-3
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
311 ;;
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
312
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
313 ## Cydra 5
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
314 cydra*-cydrome-sysv* )
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
315 machine=cydra5 opsys=usg5-3
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
316 ;;
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
317
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
318 ## DECstations
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
319 mips-dec-ultrix[0-3].* | mips-dec-ultrix4.0 | mips-dec-bsd4.2 )
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
320 machine=pmax opsys=bsd4-2
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
321 ;;
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
322 mips-dec-ultrix* | mips-dec-bsd* )
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
323 machine=pmax opsys=bsd4-3
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
324 ;;
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
325 mips-dec-osf* )
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
326 machine=pmax opsys=osf1
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
327 ;;
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
328
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
329 ## Motorola Delta machines
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
330 m68*-motorola-sysv* )
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
331 machine=delta opsys=usg5-3
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
332 ;;
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
333 m88k-motorola-sysv* | m88k-motorola-m88kbcs* )
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
334 machine=delta88k opsys=usg5-3
1423
93ee9c5e7eec Partially changed to use GCC-style configuration names.
Jim Blandy <jimb@redhat.com>
parents: 1139
diff changeset
335 ;;
603
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
336
1629
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
337 ## Dual machines
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
338 m68*-dual-sysv* )
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
339 machine=dual opsys=usg5-2
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
340 ;;
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
341 m68*-dual-uniplus* )
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
342 machine=dual opsys=unipl5-2
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
343 ;;
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
344
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
345 ## Elxsi 6400
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
346 elxsi-elxsi-sysv* )
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
347 machine=elxsi opsys=usg5-2
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
348 ;;
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
349
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
350 ## Encore machines
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
351 ns16k-encore-bsd* )
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
352 machine=ns16000 opsys=umax
1423
93ee9c5e7eec Partially changed to use GCC-style configuration names.
Jim Blandy <jimb@redhat.com>
parents: 1139
diff changeset
353 ;;
1629
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
354
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
355 ## The GEC 93 - apparently, this port isn't really finished yet.
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
356
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
357 ## Gould Power Node and NP1
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
358 pn-gould-bsd4.2 )
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
359 machine=gould opsys=bsd4-2
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
360 ;;
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
361 pn-gould-bsd4.3 )
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
362 machine=gould opsys=bsd4-3
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
363 ;;
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
364 np1-gould-bsd* )
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
365 machine=gould-np1 opsys=bsd4-3
1423
93ee9c5e7eec Partially changed to use GCC-style configuration names.
Jim Blandy <jimb@redhat.com>
parents: 1139
diff changeset
366 ;;
1629
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
367
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
368 ## Honeywell XPS100
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
369 xps*-honeywell-sysv* )
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
370 machine=xps100 opsys=usg5-2
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
371 ;;
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
372
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
373 ## HP 9000 series 200 or 300
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
374 m68*-hp-bsd* )
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
375 machine=hp9000s300 opsys=bsd4-3
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
376 ;;
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
377 ## HP/UX 8 doesn't run on these machines, so use HP/UX 7.
1423
93ee9c5e7eec Partially changed to use GCC-style configuration names.
Jim Blandy <jimb@redhat.com>
parents: 1139
diff changeset
378 m68*-hp-hpux* )
1629
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
379 machine=hp9000s300 opsys=hpux
1423
93ee9c5e7eec Partially changed to use GCC-style configuration names.
Jim Blandy <jimb@redhat.com>
parents: 1139
diff changeset
380 ;;
603
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
381
1629
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
382 ## HP 9000 series 800, running HP/UX
1423
93ee9c5e7eec Partially changed to use GCC-style configuration names.
Jim Blandy <jimb@redhat.com>
parents: 1139
diff changeset
383 hppa1.0-hp-hpux* )
1629
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
384 machine=hp9000s800 opsys=hpux
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
385 ;;
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
386
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
387 ## Orion machines
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
388 orion-orion-bsd* )
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
389 machine=orion opsys=bsd4-2
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
390 ;;
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
391 clipper-orion-bsd* )
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
392 machine=orion105 opsys=bsd4-2
1423
93ee9c5e7eec Partially changed to use GCC-style configuration names.
Jim Blandy <jimb@redhat.com>
parents: 1139
diff changeset
393 ;;
603
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
394
1629
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
395 ## IBM machines
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
396 i386-ibm-aix1.1 )
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
397 machine=ibmps2-aix opsys=usg5-2-2
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
398 ;;
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
399 i386-ibm-aix1.2 )
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
400 machine=ibmps2-aix opsys=usg5-3
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
401 ;;
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
402 rs6000-ibm-aix* )
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
403 machine=ibmrs6000 opsys=aix3-1
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
404 ;;
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
405 romp-ibm-bsd* )
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
406 machine=ibmrt opsys=bsd4-2
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
407 ;;
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
408 romp-ibm-aix* )
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
409 machine=ibmrt-aix opsys=usg5-2-2
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
410 ;;
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
411
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
412 ## Integrated Solutions `Optimum V'
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
413 m68*-isi-bsd4.2 )
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
414 machine=isi-ov opsys=bsd4-2
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
415 ;;
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
416 m68*-isi-bsd4.3 )
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
417 machine=isi-ov opsys=bsd4-3
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
418 ;;
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
419
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
420 ## Intel 386 machines where we do care about the manufacturer
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
421 i[34]86-intsys-sysv* )
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
422 machine=is386 opsys=usg5-2-2
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
423 ;;
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
424 ## Intel 386 machines where we don't care about the manufacturer
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
425 i[34]86-* )
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
426 machine=intel386
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
427 case "${configuration}" in
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
428 *-isc1.* | *-isc2.[01]* ) opsys=386-ix ;;
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
429 *-isc* ) opsys=isc2-2 ;;
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
430 *-esix* ) opsys=esix ;;
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
431 *-xenix* ) opsys=xenix ;;
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
432 ## Otherwise, we'll fall through to the generic opsys code at the bottom.
1423
93ee9c5e7eec Partially changed to use GCC-style configuration names.
Jim Blandy <jimb@redhat.com>
parents: 1139
diff changeset
433 esac
93ee9c5e7eec Partially changed to use GCC-style configuration names.
Jim Blandy <jimb@redhat.com>
parents: 1139
diff changeset
434 ;;
93ee9c5e7eec Partially changed to use GCC-style configuration names.
Jim Blandy <jimb@redhat.com>
parents: 1139
diff changeset
435
1629
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
436 ## Silicon Graphics machines
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
437 ## Iris 2500 and Iris 2500 Turbo (aka the Iris 3030)
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
438 m68*-sgi-iris3.5 )
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
439 machine=irist opsys=iris3-5
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
440 ;;
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
441 m68*-sgi-iris3.6 | m68*-sgi-iris*)
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
442 machine=irist opsys=iris3-6
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
443 ;;
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
444 ## Iris 4D
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
445 mips-sgi-irix3.* )
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
446 machine=iris4d opsys=irix3-3
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
447 ;;
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
448 mips-sgi-irix4.* | mips-sgi-irix* )
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
449 machine=iris4d opsys=irix4-0
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
450 ;;
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
451
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
452 ## Masscomp machines
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
453 m68*-masscomp-rtu )
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
454 machine=masscomp opsys=rtu
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
455 ;;
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
456
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
457 ## Megatest machines
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
458 m68*-megatest-bsd* )
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
459 machine=mega68 opsys=bsd4-2
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
460 ;;
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
461
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
462 ## Workstations sold by MIPS
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
463 ## This is not necessarily all workstations using the MIPS processor -
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
464 ## Irises are produced by SGI, and DECstations by DEC.
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
465
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
466 ## etc/MACHINES lists mips.h and mips4.h as possible machine files,
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
467 ## and usg5-2-2 and bsd4-3 as possible OS files. The only guidance
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
468 ## it gives for choosing between the alternatives seems to be "Use
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
469 ## -machine=mips4 for RISCOS version 4; use -opsystem=bsd4-3 with
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
470 ## the BSD world." I'll assume that these are instructions for
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
471 ## handling two odd situations, and that every other situation
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
472 ## should use mips.h and usg5-2-2, they being listed first.
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
473 mips-mips-riscos4* )
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
474 machine=mips4 opsys=usg5-2-2
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
475 ;;
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
476 mips-mips-bsd* )
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
477 machine=mips opsys=bsd4-3
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
478 ;;
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
479 mips-mips-* )
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
480 machine=mips opsys=usg5-2-2
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
481 ;;
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
482
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
483 ## The complete machine from National Semiconductor
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
484 ns32k-ns-genix* )
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
485 machine=ns32000 opsys=usg5-2
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
486 ;;
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
487
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
488 ## NCR machines
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
489 m68*-ncr-sysv2* )
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
490 machine=tower32 opsys=usg5-2-2
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
491 ;;
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
492 m68*-ncr-sysv3* )
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
493 machine=tower32v3 opsys=usg5-3
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
494 ;;
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
495
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
496 ## Nixdorf Targon 31
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
497 m68*-nixdorf-sysv* )
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
498 machine=targon31 opsys=usg5-2-2
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
499 ;;
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
500
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
501 ## Nu (TI or LMI)
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
502 m68*-nu-sysv* )
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
503 machine=nu opsys=usg5-2
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
504 ;;
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
505
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
506 ## Plexus
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
507 m68*-plexus-sysv* )
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
508 machine=plexus opsys=usg5-2
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
509 ;;
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
510
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
511 ## Prime EXL
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
512 i386-prime-sysv* )
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
513 machine=i386 opsys=usg5-3
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
514 ;;
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
515
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
516 ## Pyramid machines
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
517 ## I don't really have any idea what sort of processor the Pyramid has,
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
518 ## so I'm assuming it is its own architecture.
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
519 pyramid-pyramid-bsd* )
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
520 machine=pyramid opsys=bsd4-2
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
521 ;;
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
522
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
523 ## Sequent Balance
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
524 ns32k-sequent-bsd4.2 )
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
525 machine=sequent opsys=bsd4-2
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
526 ;;
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
527 ns32k-sequent-bsd4.3 )
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
528 machine=sequent opsys=bsd4-3
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
529 ;;
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
530 ## Sequent Symmetry
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
531 i386-sequent-bsd* )
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
532 machine=symmetry opsys=bsd4-3
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
533 ;;
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
534
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
535 ## SONY machines
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
536 m68*-sony-bsd4.2 )
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
537 machine=news opsys=bsd4-2
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
538 ;;
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
539 m68*-sony-bsd4.3 )
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
540 machine=news opsys=bsd4-3
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
541 ;;
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
542 mips-sony-bsd* )
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
543 machine=news-risc opsys=bsd4-3
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
544 ;;
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
545
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
546 ## Stride
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
547 m68*-stride-sysv* )
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
548 machine=stride opsys=usg5-2
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
549 ;;
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
550
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
551 ## Suns
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
552 *-sun-sunos* | *-sun-bsd* )
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
553 case "${configuration}" in
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
554 m68*-sunos1* ) machine=sun1 ;;
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
555 m68*-sunos2* ) machine=sun2 ;;
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
556 m68* ) machine=sun3 ;;
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
557 i[34]86* ) machine=sun386 ;;
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
558 sparc* ) machine=sparc ;;
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
559 * ) unported=true ;;
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
560 esac
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
561 case "${configuration}" in
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
562 *-sunos4.0* ) opsys=sunos4-0 ;;
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
563 *-sunos4* | *-sunos ) opsys=sunos4-1 ;;
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
564 * ) opsys=bsd4-2 ;;
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
565 esac
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
566 ;;
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
567
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
568 ## Tadpole 68k
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
569 m68*-tadpole-sysv* )
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
570 machine=tad68k opsys=usg5-3
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
571 ;;
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
572
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
573 ## Tahoe machines
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
574 tahoe-tahoe-bsd4.2 )
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
575 machine=tahoe opsys=bsd4-2
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
576 ;;
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
577 tahoe-tahoe-bsd4.3 )
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
578 machine=tahoe opsys=bsd4-3
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
579 ;;
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
580
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
581 ## Tandem Integrity S2
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
582 mips-tandem-sysv* )
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
583 machine=tandem-s2 opsys=usg5-3
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
584 ;;
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
585
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
586 ## Tektronix 16000 box (6130?)
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
587 ns16k-tektronix-bsd* )
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
588 machine=ns16000 opsys=bsd4-2
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
589 ;;
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
590 ## Tektronix 4300
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
591 ## src/m/tek4300.h hints that this is a m68k machine.
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
592 m68*-tektronix-bsd* )
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
593 machine=tex4300 opsys=bsd4-3
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
594 ;;
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
595
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
596 ## Titan P2 or P3
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
597 ## We seem to have lost the machine-description file titan.h!
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
598 titan-titan-sysv* )
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
599 machine=titan opsys=usg5-3
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
600 ;;
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
601
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
602 ## Ustation E30 (SS5E)
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
603 m68*-unisys-uniplus* )
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
604 machine=ustation opsystem=unipl5-2
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
605 ;;
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
606
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
607 ## Vaxen.
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
608 vax-dec-* )
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
609 machine=vax
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
610 case "${configuration}" in
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
611 *-bsd4.1 ) opsys=bsd4-1 ;;
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
612 *-bsd4.2 | *-ultrix[0-3].* | *-ultrix4.0 ) opsys=bsd4-2 ;;
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
613 *-bsd4.3 | *-ultrix* ) opsys=bsd4-3 ;;
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
614 *-sysv[01]* ) opsys=usg5-0 ;;
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
615 *-sysv2* ) opsys=usg5-2 ;;
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
616 *-vms* ) opsys=vms ;;
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
617 * ) unported=true
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
618 esac
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
619 ;;
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
620
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
621 ## Whitechapel MG1
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
622 ns16k-whitechapel-* )
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
623 machine=mg1
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
624 ## We don't know what sort of OS runs on these; we'll let the
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
625 ## operating system guessing code below try.
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
626 ;;
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
627
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
628 ## Wicat
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
629 m68*-wicat-sysv* )
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
630 machine=wicat opsys=usg5-2
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
631 ;;
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
632
1423
93ee9c5e7eec Partially changed to use GCC-style configuration names.
Jim Blandy <jimb@redhat.com>
parents: 1139
diff changeset
633 * )
1629
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
634 unported=true
1423
93ee9c5e7eec Partially changed to use GCC-style configuration names.
Jim Blandy <jimb@redhat.com>
parents: 1139
diff changeset
635 ;;
93ee9c5e7eec Partially changed to use GCC-style configuration names.
Jim Blandy <jimb@redhat.com>
parents: 1139
diff changeset
636 esac
603
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
637
1629
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
638 ### If the code above didn't choose an operating system, just choose
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
639 ### an operating system based on the configuration name. You really
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
640 ### only want to use this when you have no idea what the right
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
641 ### operating system is; if you know what operating systems a machine
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
642 ### runs, it's cleaner to make it explicit in the case statement
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
643 ### above.
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
644 if [ ! "${opsys}" ]; then
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
645 case "${configuration}" in
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
646 *-bsd4.[01] ) opsys=bsd4-1 ;;
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
647 *-bsd4.2 ) opsys=bsd4-2 ;;
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
648 *-bsd4.3 ) opsys=bsd4-3 ;;
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
649 *-sysv0 ) opsys=usg5-0 ;;
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
650 *-sysv2 ) opsys=usg5-2 ;;
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
651 *-sysv2.2 ) opsys=usg5-2-2 ;;
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
652 *-sysv3 ) opsys=usg5-3 ;;
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
653 *-sysv4 ) opsys=usg5-4 ;;
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
654 * )
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
655 unported=true
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
656 ;;
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
657 esac
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
658 fi
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
659
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
660 if $unported ; then
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
661 (echo "${progname}: Emacs hasn't been ported to \`${configuration}' systems."
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
662 echo "${progname}: Check \`etc/MACHINES' for recognized configuration names."
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
663 ) >&2
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
664 exit 1
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
665 fi
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
666
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
667 machfile="m/${machine}.h"
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
668 opsysfile="s/${opsys}.h"
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
669
621
eca8812e61cd *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 617
diff changeset
670 if [ ! "${prefix}" ]; then
eca8812e61cd *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 617
diff changeset
671 prefix="/usr/local"
eca8812e61cd *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 617
diff changeset
672 fi
eca8812e61cd *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 617
diff changeset
673
eca8812e61cd *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 617
diff changeset
674 if [ ! "${emacsdir}" ]; then
eca8812e61cd *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 617
diff changeset
675 emacsdir="${prefix}/emacs-19.0"
eca8812e61cd *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 617
diff changeset
676 fi
eca8812e61cd *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 617
diff changeset
677
eca8812e61cd *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 617
diff changeset
678 if [ ! "${datadir}" ]; then
eca8812e61cd *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 617
diff changeset
679 datadir="${emacsdir}/etc"
eca8812e61cd *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 617
diff changeset
680 fi
eca8812e61cd *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 617
diff changeset
681
eca8812e61cd *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 617
diff changeset
682 if [ ! "${lispdir}" ]; then
eca8812e61cd *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 617
diff changeset
683 lispdir="${emacsdir}/lisp"
eca8812e61cd *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 617
diff changeset
684 fi
eca8812e61cd *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 617
diff changeset
685
eca8812e61cd *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 617
diff changeset
686 if [ ! "${locallisppath}" ]; then
eca8812e61cd *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 617
diff changeset
687 locallisppath="${emacsdir}/local-lisp"
eca8812e61cd *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 617
diff changeset
688 fi
eca8812e61cd *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 617
diff changeset
689
eca8812e61cd *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 617
diff changeset
690 if [ ! "${lisppath}" ]; then
eca8812e61cd *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 617
diff changeset
691 lisppath="${locallisppath}:${lispdir}"
eca8812e61cd *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 617
diff changeset
692 fi
eca8812e61cd *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 617
diff changeset
693
eca8812e61cd *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 617
diff changeset
694 if [ ! "${buildlisppath}" ]; then
eca8812e61cd *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 617
diff changeset
695 buildlisppath=../lisp
eca8812e61cd *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 617
diff changeset
696 fi
eca8812e61cd *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 617
diff changeset
697
eca8812e61cd *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 617
diff changeset
698 if [ ! "${statedir}" ]; then
eca8812e61cd *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 617
diff changeset
699 statedir="${emacsdir}"
eca8812e61cd *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 617
diff changeset
700 fi
eca8812e61cd *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 617
diff changeset
701
eca8812e61cd *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 617
diff changeset
702 if [ ! "${lockdir}" ]; then
eca8812e61cd *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 617
diff changeset
703 lockdir="${statedir}/lock"
eca8812e61cd *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 617
diff changeset
704 fi
eca8812e61cd *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 617
diff changeset
705
eca8812e61cd *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 617
diff changeset
706 if [ "${libdir}" = "" ]; then
eca8812e61cd *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 617
diff changeset
707 libdir="${emacsdir}/arch-lib"
eca8812e61cd *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 617
diff changeset
708 fi
eca8812e61cd *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 617
diff changeset
709
eca8812e61cd *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 617
diff changeset
710 if [ ! "${mandir}" ]; then
eca8812e61cd *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 617
diff changeset
711 mandir="/usr/man/man1"
eca8812e61cd *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 617
diff changeset
712 fi
eca8812e61cd *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 617
diff changeset
713
eca8812e61cd *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 617
diff changeset
714 if [ ! "${infodir}" ]; then
eca8812e61cd *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 617
diff changeset
715 infodir="${prefix}/info"
603
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
716 fi
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
717
617
cde1f15848c6 *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 605
diff changeset
718 echo "Checking window system."
1629
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
719 window_system=''
1423
93ee9c5e7eec Partially changed to use GCC-style configuration names.
Jim Blandy <jimb@redhat.com>
parents: 1139
diff changeset
720 case "${with_x}" in
93ee9c5e7eec Partially changed to use GCC-style configuration names.
Jim Blandy <jimb@redhat.com>
parents: 1139
diff changeset
721 yes )
93ee9c5e7eec Partially changed to use GCC-style configuration names.
Jim Blandy <jimb@redhat.com>
parents: 1139
diff changeset
722 window_system=${window_system}x11
93ee9c5e7eec Partially changed to use GCC-style configuration names.
Jim Blandy <jimb@redhat.com>
parents: 1139
diff changeset
723 ;;
93ee9c5e7eec Partially changed to use GCC-style configuration names.
Jim Blandy <jimb@redhat.com>
parents: 1139
diff changeset
724 no )
93ee9c5e7eec Partially changed to use GCC-style configuration names.
Jim Blandy <jimb@redhat.com>
parents: 1139
diff changeset
725 window_system=${window_system}none
93ee9c5e7eec Partially changed to use GCC-style configuration names.
Jim Blandy <jimb@redhat.com>
parents: 1139
diff changeset
726 esac
1139
4875b01ff377 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents: 1112
diff changeset
727 case "${with_x11}" in
4875b01ff377 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents: 1112
diff changeset
728 yes )
4875b01ff377 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents: 1112
diff changeset
729 window_system=${window_system}x11
1423
93ee9c5e7eec Partially changed to use GCC-style configuration names.
Jim Blandy <jimb@redhat.com>
parents: 1139
diff changeset
730 ;;
1139
4875b01ff377 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents: 1112
diff changeset
731 esac
4875b01ff377 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents: 1112
diff changeset
732 case "${with_x10}" in
4875b01ff377 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents: 1112
diff changeset
733 yes )
4875b01ff377 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents: 1112
diff changeset
734 window_system=${window_system}x10
1423
93ee9c5e7eec Partially changed to use GCC-style configuration names.
Jim Blandy <jimb@redhat.com>
parents: 1139
diff changeset
735 ;;
1139
4875b01ff377 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents: 1112
diff changeset
736 esac
4875b01ff377 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents: 1112
diff changeset
737
603
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
738 case "${window_system}" in
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
739 "none" | "x11" | "x10" ) ;;
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
740 "" )
617
cde1f15848c6 *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 605
diff changeset
741 echo " No window system specifed. Looking for X Windows."
603
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
742 window_system=none
958
cc82116a8f1c *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 732
diff changeset
743 if [ -r /usr/lib/libX11.a -o -d /usr/include/X11 ]; then
603
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
744 window_system=x11
617
cde1f15848c6 *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 605
diff changeset
745 fi
603
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
746 ;;
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
747 * )
1139
4875b01ff377 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents: 1112
diff changeset
748 echo "Don\'t specify the window system more than once." >&2
603
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
749 exit 1
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
750 ;;
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
751 esac
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
752
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
753 case "${window_system}" in
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
754 x11 )
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
755 have_x_windows=yes
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
756 have_x11=yes
1629
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
757 echo " Using X11."
603
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
758 ;;
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
759 x10 )
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
760 have_x_windows=yes
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
761 have_x11=no
1629
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
762 echo " Using X10."
603
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
763 ;;
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
764 none )
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
765 have_x_windows=no
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
766 have_x11=no
1629
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
767 echo " Using no window system."
603
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
768 ;;
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
769 esac
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
770
1423
93ee9c5e7eec Partially changed to use GCC-style configuration names.
Jim Blandy <jimb@redhat.com>
parents: 1139
diff changeset
771 # If we're using X11, we should use the X menu package.
93ee9c5e7eec Partially changed to use GCC-style configuration names.
Jim Blandy <jimb@redhat.com>
parents: 1139
diff changeset
772 have_x_menu=no
93ee9c5e7eec Partially changed to use GCC-style configuration names.
Jim Blandy <jimb@redhat.com>
parents: 1139
diff changeset
773 case ${have_x11} in
93ee9c5e7eec Partially changed to use GCC-style configuration names.
Jim Blandy <jimb@redhat.com>
parents: 1139
diff changeset
774 yes )
93ee9c5e7eec Partially changed to use GCC-style configuration names.
Jim Blandy <jimb@redhat.com>
parents: 1139
diff changeset
775 have_x_menu=yes
603
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
776 ;;
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
777 esac
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
778
1423
93ee9c5e7eec Partially changed to use GCC-style configuration names.
Jim Blandy <jimb@redhat.com>
parents: 1139
diff changeset
779 echo "Checking for GCC."
93ee9c5e7eec Partially changed to use GCC-style configuration names.
Jim Blandy <jimb@redhat.com>
parents: 1139
diff changeset
780 temppath=`echo $PATH | sed 's/^:/.:/
93ee9c5e7eec Partially changed to use GCC-style configuration names.
Jim Blandy <jimb@redhat.com>
parents: 1139
diff changeset
781 s/::/:.:/g
93ee9c5e7eec Partially changed to use GCC-style configuration names.
Jim Blandy <jimb@redhat.com>
parents: 1139
diff changeset
782 s/:$/:./
93ee9c5e7eec Partially changed to use GCC-style configuration names.
Jim Blandy <jimb@redhat.com>
parents: 1139
diff changeset
783 s/:/ /g'`
93ee9c5e7eec Partially changed to use GCC-style configuration names.
Jim Blandy <jimb@redhat.com>
parents: 1139
diff changeset
784 cc=`(
93ee9c5e7eec Partially changed to use GCC-style configuration names.
Jim Blandy <jimb@redhat.com>
parents: 1139
diff changeset
785 for dir in ${temppath}; do
93ee9c5e7eec Partially changed to use GCC-style configuration names.
Jim Blandy <jimb@redhat.com>
parents: 1139
diff changeset
786 if [ -f ${dir}/gcc ]; then echo gcc; exit 0; fi
93ee9c5e7eec Partially changed to use GCC-style configuration names.
Jim Blandy <jimb@redhat.com>
parents: 1139
diff changeset
787 done
93ee9c5e7eec Partially changed to use GCC-style configuration names.
Jim Blandy <jimb@redhat.com>
parents: 1139
diff changeset
788 echo cc
93ee9c5e7eec Partially changed to use GCC-style configuration names.
Jim Blandy <jimb@redhat.com>
parents: 1139
diff changeset
789 )`
93ee9c5e7eec Partially changed to use GCC-style configuration names.
Jim Blandy <jimb@redhat.com>
parents: 1139
diff changeset
790
621
eca8812e61cd *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 617
diff changeset
791 case "${cc}" in
eca8812e61cd *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 617
diff changeset
792 "gcc" )
1629
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
793 echo " Using GCC."
621
eca8812e61cd *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 617
diff changeset
794 # With GCC, both O and g should default to yes, no matter what
eca8812e61cd *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 617
diff changeset
795 # the other is.
eca8812e61cd *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 617
diff changeset
796 case "${O},${g}" in
eca8812e61cd *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 617
diff changeset
797 , ) O=yes; g=yes ;;
eca8812e61cd *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 617
diff changeset
798 ,* ) O=yes; ;;
eca8812e61cd *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 617
diff changeset
799 *, ) g=yes ;;
eca8812e61cd *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 617
diff changeset
800 esac
eca8812e61cd *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 617
diff changeset
801 ;;
eca8812e61cd *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 617
diff changeset
802 "*" )
1629
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
803 echo " Using the system's CC."
621
eca8812e61cd *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 617
diff changeset
804 # With other compilers, treat them as mutually exclusive,
eca8812e61cd *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 617
diff changeset
805 # defaulting to debug.
eca8812e61cd *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 617
diff changeset
806 case "${O},${g}" in
eca8812e61cd *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 617
diff changeset
807 , ) O=no ; g=yes ;;
eca8812e61cd *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 617
diff changeset
808 ,no ) O=yes; ;;
eca8812e61cd *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 617
diff changeset
809 ,yes ) O=no ; ;;
eca8812e61cd *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 617
diff changeset
810 no, ) g=yes ;;
eca8812e61cd *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 617
diff changeset
811 yes, ) g=no ;;
eca8812e61cd *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 617
diff changeset
812 esac
eca8812e61cd *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 617
diff changeset
813 ;;
603
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
814 esac
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
815
621
eca8812e61cd *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 617
diff changeset
816 # What is the return type of a signal handler? We run
eca8812e61cd *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 617
diff changeset
817 # /usr/include/signal.h through cpp and grep for the declaration of
eca8812e61cd *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 617
diff changeset
818 # the signal function. Yuck.
eca8812e61cd *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 617
diff changeset
819 echo "Looking for return type of signal handler functions."
eca8812e61cd *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 617
diff changeset
820 signal_h_file=''
eca8812e61cd *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 617
diff changeset
821 if [ -r /usr/include/signal.h ]; then
eca8812e61cd *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 617
diff changeset
822 signal_h_file=/usr/include/signal.h
eca8812e61cd *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 617
diff changeset
823 elif [ -r /usr/include/sys/signal.h ]; then
eca8812e61cd *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 617
diff changeset
824 signal_h_file=/usr/include/sys/signal.h
eca8812e61cd *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 617
diff changeset
825 fi
eca8812e61cd *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 617
diff changeset
826 sigtype=void
eca8812e61cd *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 617
diff changeset
827 if [ "${signal_h_file}" ]; then
eca8812e61cd *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 617
diff changeset
828 sigpattern='[ ]*([ ]*\*[ ]*signal[ ]*('
eca8812e61cd *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 617
diff changeset
829
999
d8d503897aa5 *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 958
diff changeset
830 # We make a copy whose name ends in .c, so the compiler
621
eca8812e61cd *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 617
diff changeset
831 # won't complain about having only been given a .h file.
eca8812e61cd *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 617
diff changeset
832 tempcname="configure.tmp.$$.c"
999
d8d503897aa5 *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 958
diff changeset
833 cp ${signal_h_file} ${tempcname}
621
eca8812e61cd *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 617
diff changeset
834 if ${cc} -E ${tempcname} | grep "int${sigpattern}" > /dev/null; then
eca8812e61cd *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 617
diff changeset
835 sigtype=int
eca8812e61cd *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 617
diff changeset
836 fi
999
d8d503897aa5 *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 958
diff changeset
837 rm -f ${tempcname}
621
eca8812e61cd *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 617
diff changeset
838 fi
1629
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
839 echo " Guessing that signals return \`${sigtype}'."
621
eca8812e61cd *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 617
diff changeset
840
617
cde1f15848c6 *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 605
diff changeset
841 echo "Examining the machine- and system-dependent files to find out"
cde1f15848c6 *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 605
diff changeset
842 echo " - which libraries the lib-src programs will want, and"
cde1f15848c6 *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 605
diff changeset
843 echo " - whether the GNU malloc routines are usable."
cde1f15848c6 *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 605
diff changeset
844 tempcname="configure.tmp.$$.c"
1112
1dba066c1e0a *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 999
diff changeset
845 echo '#include "src/'${opsysfile}'"
1dba066c1e0a *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 999
diff changeset
846 #include "src/'${machfile}'"
603
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
847 #ifndef LIBS_MACHINE
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
848 #define LIBS_MACHINE
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
849 #endif
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
850 #ifndef LIBS_SYSTEM
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
851 #define LIBS_SYSTEM
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
852 #endif
621
eca8812e61cd *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 617
diff changeset
853 @configure@ libsrc_libs=LIBS_MACHINE LIBS_SYSTEM
617
cde1f15848c6 *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 605
diff changeset
854 #ifdef SYSTEM_MALLOC
621
eca8812e61cd *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 617
diff changeset
855 @configure@ system_malloc=yes
617
cde1f15848c6 *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 605
diff changeset
856 #else
621
eca8812e61cd *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 617
diff changeset
857 @configure@ system_malloc=no
617
cde1f15848c6 *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 605
diff changeset
858 #endif
cde1f15848c6 *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 605
diff changeset
859 ' > ${tempcname}
621
eca8812e61cd *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 617
diff changeset
860 eval `${cc} -E ${tempcname} \
eca8812e61cd *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 617
diff changeset
861 | grep '@configure@' \
eca8812e61cd *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 617
diff changeset
862 | sed -e 's/^@configure@//'`
617
cde1f15848c6 *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 605
diff changeset
863 rm ${tempcname}
cde1f15848c6 *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 605
diff changeset
864
cde1f15848c6 *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 605
diff changeset
865 # Do the opsystem or machine files prohibit the use of the GNU malloc?
cde1f15848c6 *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 605
diff changeset
866 if [ "${system_malloc}" = "yes" ]; then
cde1f15848c6 *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 605
diff changeset
867 gnu_malloc=no
cde1f15848c6 *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 605
diff changeset
868 gnu_malloc_reason="
1629
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
869 (The GNU allocators don't work with this system configuration.)"
617
cde1f15848c6 *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 605
diff changeset
870 fi
cde1f15848c6 *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 605
diff changeset
871
cde1f15848c6 *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 605
diff changeset
872 if [ ! "${rel_alloc}" ]; then
cde1f15848c6 *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 605
diff changeset
873 rel_alloc=${gnu_malloc}
cde1f15848c6 *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 605
diff changeset
874 fi
603
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
875
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
876 rm -f config.status
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
877 set -e
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
878
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
879 # Make the proper settings in the config file.
617
cde1f15848c6 *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 605
diff changeset
880 echo "Making src/config.h from src/config.h.in"
603
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
881 case "${g}" in
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
882 "yes" ) c_switch_site="${c_switch_site} -g" ;;
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
883 esac
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
884 case "${O}" in
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
885 "yes" ) c_switch_site="${c_switch_site} -O" ;;
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
886 esac
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
887 sed_flags="-e 's:@machine@:${machfile}:'"
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
888 sed_flags="${sed_flags} -e 's:@opsystem@:${opsysfile}:'"
1482
b695cbb4fdab Update GNU_MALLOC and REL_ALLOC in config.h.
Richard M. Stallman <rms@gnu.org>
parents: 1423
diff changeset
889
603
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
890 for flag in `echo ${config_h_opts} | tr ':' ' '`; do
732
a8d94735277e *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 704
diff changeset
891 # Note that SYSV `tr' doesn't handle character ranges.
621
eca8812e61cd *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 617
diff changeset
892 cflagname=`echo ${flag} \
eca8812e61cd *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 617
diff changeset
893 | tr abcdefghijklmnopqrstuvwxyz ABCDEFGHIJKLMNOPQRSTUVWXYZ`
603
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
894 val=`eval echo '$'${flag}`
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
895 case ${val} in
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
896 no | "")
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
897 f="-e 's:.*#define ${cflagname}.*:/\\* #define ${cflagname} \\*/:'"
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
898 ;;
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
899 yes)
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
900 f="-e 's:.*#define ${cflagname}.*:#define ${cflagname}:'"
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
901 ;;
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
902 *)
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
903 f="-e 's:.*#define ${cflagname}.*:#define ${cflagname} ${val}:'"
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
904 ;;
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
905 esac
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
906 sed_flags="${sed_flags} ${f}"
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
907 done
1482
b695cbb4fdab Update GNU_MALLOC and REL_ALLOC in config.h.
Richard M. Stallman <rms@gnu.org>
parents: 1423
diff changeset
908
704
2aacd42951ef *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 638
diff changeset
909 rm -f src/config.h.tmp
638
40b255f55df3 *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 621
diff changeset
910 eval '/bin/sed '${sed_flags}' < src/config.h.in > src/config.h.tmp'
40b255f55df3 *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 621
diff changeset
911 ./move-if-change src/config.h.tmp src/config.h
617
cde1f15848c6 *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 605
diff changeset
912 # Remind people not to edit this.
cde1f15848c6 *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 605
diff changeset
913 chmod -w src/config.h
603
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
914
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
915 # Modify the parameters in the top makefile.
617
cde1f15848c6 *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 605
diff changeset
916 echo "Producing ./Makefile from ./Makefile.in."
704
2aacd42951ef *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 638
diff changeset
917 rm -f Makefile.tmp
617
cde1f15848c6 *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 605
diff changeset
918 (echo "# This file is generated by \`${progname}' from \`./Makefile.in'.
cde1f15848c6 *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 605
diff changeset
919 # If you are thinking about editing it, you should seriously consider
cde1f15848c6 *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 605
diff changeset
920 # editing \`./Makefile.in' itself, or running \`${progname}' instead."
cde1f15848c6 *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 605
diff changeset
921 /bin/sed < Makefile.in \
cde1f15848c6 *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 605
diff changeset
922 -e '/^# DIST: /d' \
621
eca8812e61cd *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 617
diff changeset
923 -e 's;^\(prefix=\).*$;\1'"${prefix};" \
617
cde1f15848c6 *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 605
diff changeset
924 -e 's;^\(bindir=\).*$;\1'"${bindir};" \
621
eca8812e61cd *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 617
diff changeset
925 -e 's;^\(emacsdir=\).*$;\1'"${emacsdir};" \
eca8812e61cd *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 617
diff changeset
926 -e 's;^\(datadir=\).*$;\1'"${datadir};" \
eca8812e61cd *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 617
diff changeset
927 -e 's;^\(lispdir=\).*$;\1'"${lispdir};" \
eca8812e61cd *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 617
diff changeset
928 -e 's;^\(locallisppath=\).*$;\1'"${locallisppath};" \
617
cde1f15848c6 *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 605
diff changeset
929 -e 's;^\(lisppath=\).*$;\1'"${lisppath};" \
621
eca8812e61cd *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 617
diff changeset
930 -e 's;^\(buildlisppath=\).*$;\1'"${buildlisppath};" \
eca8812e61cd *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 617
diff changeset
931 -e 's;^\(statedir=\).*$;\1'"${statedir};" \
617
cde1f15848c6 *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 605
diff changeset
932 -e 's;^\(lockdir=\).*$;\1'"${lockdir};" \
621
eca8812e61cd *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 617
diff changeset
933 -e 's;^\(libdir=\).*$;\1'"${libdir};" \
eca8812e61cd *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 617
diff changeset
934 -e 's;^\(mandir=\).*$;\1'"${mandir};" \
eca8812e61cd *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 617
diff changeset
935 -e 's;^\(infodir=\).*$;\1'"${infodir};" \
638
40b255f55df3 *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 621
diff changeset
936 ) > ./Makefile.tmp
40b255f55df3 *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 621
diff changeset
937 ./move-if-change Makefile.tmp Makefile
617
cde1f15848c6 *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 605
diff changeset
938 # Remind people not to edit this.
cde1f15848c6 *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 605
diff changeset
939 chmod -w ./Makefile
603
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
940
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
941 # Modify the parameters in the `build-install' script.
617
cde1f15848c6 *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 605
diff changeset
942 echo "Producing ./build-install from ./build-install.in."
704
2aacd42951ef *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 638
diff changeset
943 rm -f ./build-install.tmp
617
cde1f15848c6 *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 605
diff changeset
944 (echo "# This file is generated by \`${progname}' from \`./build-install.in'.
cde1f15848c6 *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 605
diff changeset
945 # If you are thinking about editing it, you should seriously consider
cde1f15848c6 *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 605
diff changeset
946 # editing \`./build-install.in' itself, or running \`${progname}' instead."
cde1f15848c6 *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 605
diff changeset
947 /bin/sed < build-install.in \
621
eca8812e61cd *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 617
diff changeset
948 -e 's;^\(prefix=\).*$;\1'"${prefix};" \
eca8812e61cd *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 617
diff changeset
949 -e 's;^\(bindir=\).*$;\1'"${bindir};" \
eca8812e61cd *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 617
diff changeset
950 -e 's;^\(lisppath=\).*$;\1'"${lisppath};" \
eca8812e61cd *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 617
diff changeset
951 -e 's;^\(datadir=\).*$;\1'"${datadir};" \
eca8812e61cd *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 617
diff changeset
952 -e 's;^\(lockdir=\).*$;\1'"${lockdir};" \
638
40b255f55df3 *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 621
diff changeset
953 -e 's;^\(libdir=\).*$;\1'"${libdir};") > ./build-install.tmp
40b255f55df3 *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 621
diff changeset
954 ./move-if-change build-install.tmp build-install
617
cde1f15848c6 *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 605
diff changeset
955 # Remind people not to edit this.
cde1f15848c6 *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 605
diff changeset
956 chmod -w build-install
cde1f15848c6 *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 605
diff changeset
957 chmod +x build-install
603
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
958
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
959 # Modify the parameters in the src makefile.
617
cde1f15848c6 *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 605
diff changeset
960 echo "Producing src/Makefile from src/Makefile.in."
704
2aacd42951ef *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 638
diff changeset
961 rm -f src/Makefile.tmp
617
cde1f15848c6 *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 605
diff changeset
962 (echo "# This file is generated by \`${progname}' from \`Makefile.in'.
cde1f15848c6 *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 605
diff changeset
963 # If you are thinking about editing it, you should seriously consider
cde1f15848c6 *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 605
diff changeset
964 # editing \`Makefile.in' itself, or running \`${progname}' instead."
cde1f15848c6 *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 605
diff changeset
965 /bin/sed < src/Makefile.in \
1112
1dba066c1e0a *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 999
diff changeset
966 -e '/^# DIST: /d' \
638
40b255f55df3 *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 621
diff changeset
967 -e 's;^\(CC[ ]*=\).*$;\1'"${cc};") > src/Makefile.tmp
40b255f55df3 *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 621
diff changeset
968 ./move-if-change src/Makefile.tmp src/Makefile
617
cde1f15848c6 *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 605
diff changeset
969 # Remind people not to edit this.
cde1f15848c6 *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 605
diff changeset
970 chmod -w src/Makefile
603
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
971
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
972 # Modify the parameters in the lib-src makefile.
617
cde1f15848c6 *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 605
diff changeset
973 echo "Producing lib-src/Makefile from lib-src/Makefile.in."
704
2aacd42951ef *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 638
diff changeset
974 rm -f lib-src/Makefile.tmp
617
cde1f15848c6 *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 605
diff changeset
975 (echo "# This file is generated by \`${progname}' from \`Makefile.in'.
cde1f15848c6 *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 605
diff changeset
976 # If you are thinking about editing it, you should seriously consider
cde1f15848c6 *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 605
diff changeset
977 # editing \`Makefile.in' itself, or running \`${progname}' instead."
cde1f15848c6 *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 605
diff changeset
978 /bin/sed < lib-src/Makefile.in \
1112
1dba066c1e0a *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 999
diff changeset
979 -e '/^# DIST: /d' \
1559
b941e08deb56 Wed Nov 4 15:09:07 1992 Jim Blandy (jimb@totoro.cs.oberlin.edu)
Jim Blandy <jimb@redhat.com>
parents: 1483
diff changeset
980 -e 's;^\(CONFIG_CFLAGS=\).*$;\1'"${c_switch_site};" \
617
cde1f15848c6 *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 605
diff changeset
981 -e 's;^\(LOADLIBES=\).*$;\1'"${libsrc_libs};" \
638
40b255f55df3 *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 621
diff changeset
982 -e 's;^\(CC=\).*$;\1'"${cc};") > lib-src/Makefile.tmp
40b255f55df3 *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 621
diff changeset
983 ./move-if-change lib-src/Makefile.tmp lib-src/Makefile
617
cde1f15848c6 *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 605
diff changeset
984 # Remind people not to edit this.
cde1f15848c6 *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 605
diff changeset
985 chmod -w lib-src/Makefile
cde1f15848c6 *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 605
diff changeset
986
603
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
987
605
5f36058e31f9 *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 603
diff changeset
988 # Create a verbal description of what we have done.
1629
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
989 message="Configured for \`${configuration}'.
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
990
732
a8d94735277e *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 704
diff changeset
991 The following values have been set in ./Makefile and ./build-install:
1423
93ee9c5e7eec Partially changed to use GCC-style configuration names.
Jim Blandy <jimb@redhat.com>
parents: 1139
diff changeset
992 \`make install' or \`build-install' will place executables in
732
a8d94735277e *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 704
diff changeset
993 ${bindir}.
a8d94735277e *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 704
diff changeset
994 Emacs's lisp search path will be
a8d94735277e *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 704
diff changeset
995 \`${lisppath}'.
a8d94735277e *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 704
diff changeset
996 Emacs will look for its architecture-independent data in
a8d94735277e *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 704
diff changeset
997 ${datadir}.
a8d94735277e *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 704
diff changeset
998 Emacs will look for its utility programs and other architecture-
a8d94735277e *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 704
diff changeset
999 dependent data in
a8d94735277e *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 704
diff changeset
1000 ${libdir}.
a8d94735277e *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 704
diff changeset
1001 Emacs will keep track of file-locking in
a8d94735277e *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 704
diff changeset
1002 ${lockdir}.
1629
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
1003
732
a8d94735277e *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 704
diff changeset
1004 The following values have been set in src/config.h:
1629
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
1005 What operating system and machine description files should Emacs use?
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
1006 \`${opsysfile}' and \`${machfile}'
732
a8d94735277e *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 704
diff changeset
1007 Should Emacs use the GNU version of malloc? ${gnu_malloc}${gnu_malloc_reason}
a8d94735277e *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 704
diff changeset
1008 Should Emacs use the relocating allocator for buffers? ${rel_alloc}
1139
4875b01ff377 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents: 1112
diff changeset
1009 Should Emacs support a floating point data type? ${lisp_float_type}
732
a8d94735277e *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 704
diff changeset
1010 What window system should Emacs use? ${window_system}
a8d94735277e *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 704
diff changeset
1011 What compiler should emacs be built with? ${cc}
a8d94735277e *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 704
diff changeset
1012 Should the compilation use \`-g' and/or \`-O'? ${c_switch_site- neither}"
605
5f36058e31f9 *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 603
diff changeset
1013
5f36058e31f9 *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 603
diff changeset
1014 # Document the damage we have done by writing config.status.
5f36058e31f9 *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 603
diff changeset
1015
5f36058e31f9 *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 603
diff changeset
1016 echo '#!/bin/sh' > config.status
5f36058e31f9 *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 603
diff changeset
1017
5f36058e31f9 *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 603
diff changeset
1018 echo "# This file is generated by \`${progname}.'
5f36058e31f9 *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 603
diff changeset
1019 # If you are thinking about editing it, you should seriously consider
5f36058e31f9 *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 603
diff changeset
1020 # running \`${progname}' instead.
5f36058e31f9 *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 603
diff changeset
1021 " >> config.status
732
a8d94735277e *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 704
diff changeset
1022 echo "${message}" | sed -e 's/^/# /' >> config.status
999
d8d503897aa5 *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 958
diff changeset
1023 echo "'${progname}' ${arguments} "'$@' >> config.status
617
cde1f15848c6 *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 605
diff changeset
1024 # Remind people not to edit this.
cde1f15848c6 *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 605
diff changeset
1025 chmod -w config.status
605
5f36058e31f9 *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 603
diff changeset
1026 chmod +x config.status
5f36058e31f9 *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 603
diff changeset
1027
5f36058e31f9 *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 603
diff changeset
1028 # Print the description.
603
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
1029 echo
732
a8d94735277e *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 704
diff changeset
1030 echo "${message}"
603
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
1031
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
1032 exit 0