annotate configure1.in @ 1804:fe2bebf150c7

* c-mode.el (c-switch-label-regexp): New constant. (electric-c-terminator, c-indent-line, indent-c-exp): Use it to correctly recognize default labels in switch statements.
author Jim Blandy <jimb@redhat.com>
date Sat, 16 Jan 1993 06:04:16 +0000
parents 48b1565291a6
children bf9e3f462e86
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
1699
48b1565291a6 * configure: Start with a blank line; this keeps some old CSH's
Jim Blandy <jimb@redhat.com>
parents: 1687
diff changeset
1
48b1565291a6 * configure: Start with a blank line; this keeps some old CSH's
Jim Blandy <jimb@redhat.com>
parents: 1687
diff changeset
2 ### The above line is deliberately left blank. If it starts with a #,
48b1565291a6 * configure: Start with a blank line; this keeps some old CSH's
Jim Blandy <jimb@redhat.com>
parents: 1687
diff changeset
3 ### some CSH's will think this is a csh script.
48b1565291a6 * configure: Start with a blank line; this keeps some old CSH's
Jim Blandy <jimb@redhat.com>
parents: 1687
diff changeset
4
1647
bd3afc204773 Now partially conforms with GNU coding standards. I'm only checking
Jim Blandy <jimb@redhat.com>
parents: 1629
diff changeset
5 #### Configuration script for GNU Emacs
bd3afc204773 Now partially conforms with GNU coding standards. I'm only checking
Jim Blandy <jimb@redhat.com>
parents: 1629
diff changeset
6 #### Copyright (C) 1992 Free Software Foundation, Inc.
603
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
7
1647
bd3afc204773 Now partially conforms with GNU coding standards. I'm only checking
Jim Blandy <jimb@redhat.com>
parents: 1629
diff changeset
8 ### This file is part of GNU Emacs.
603
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
9
1647
bd3afc204773 Now partially conforms with GNU coding standards. I'm only checking
Jim Blandy <jimb@redhat.com>
parents: 1629
diff changeset
10 ### GNU Emacs is free software; you can redistribute it and/or modify
bd3afc204773 Now partially conforms with GNU coding standards. I'm only checking
Jim Blandy <jimb@redhat.com>
parents: 1629
diff changeset
11 ### it under the terms of the GNU General Public License as published by
bd3afc204773 Now partially conforms with GNU coding standards. I'm only checking
Jim Blandy <jimb@redhat.com>
parents: 1629
diff changeset
12 ### the Free Software Foundation; either version 1, or (at your option)
bd3afc204773 Now partially conforms with GNU coding standards. I'm only checking
Jim Blandy <jimb@redhat.com>
parents: 1629
diff changeset
13 ### any later version.
603
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
14
1647
bd3afc204773 Now partially conforms with GNU coding standards. I'm only checking
Jim Blandy <jimb@redhat.com>
parents: 1629
diff changeset
15 ### GNU Emacs is distributed in the hope that it will be useful,
bd3afc204773 Now partially conforms with GNU coding standards. I'm only checking
Jim Blandy <jimb@redhat.com>
parents: 1629
diff changeset
16 ### but WITHOUT ANY WARRANTY; without even the implied warranty of
bd3afc204773 Now partially conforms with GNU coding standards. I'm only checking
Jim Blandy <jimb@redhat.com>
parents: 1629
diff changeset
17 ### MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
bd3afc204773 Now partially conforms with GNU coding standards. I'm only checking
Jim Blandy <jimb@redhat.com>
parents: 1629
diff changeset
18 ### GNU General Public License for more details.
603
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
19
1647
bd3afc204773 Now partially conforms with GNU coding standards. I'm only checking
Jim Blandy <jimb@redhat.com>
parents: 1629
diff changeset
20 ### You should have received a copy of the GNU General Public License
bd3afc204773 Now partially conforms with GNU coding standards. I'm only checking
Jim Blandy <jimb@redhat.com>
parents: 1629
diff changeset
21 ### along with GNU Emacs; see the file COPYING. If not, write to
bd3afc204773 Now partially conforms with GNU coding standards. I'm only checking
Jim Blandy <jimb@redhat.com>
parents: 1629
diff changeset
22 ### the Free Software Foundation, 675 Mass Ave, Cambridge, MA 02139, USA.
603
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
23
1647
bd3afc204773 Now partially conforms with GNU coding standards. I'm only checking
Jim Blandy <jimb@redhat.com>
parents: 1629
diff changeset
24 ### Shell script to edit files and make symlinks in preparation for
bd3afc204773 Now partially conforms with GNU coding standards. I'm only checking
Jim Blandy <jimb@redhat.com>
parents: 1629
diff changeset
25 ### compiling Emacs.
bd3afc204773 Now partially conforms with GNU coding standards. I'm only checking
Jim Blandy <jimb@redhat.com>
parents: 1629
diff changeset
26 ###
bd3afc204773 Now partially conforms with GNU coding standards. I'm only checking
Jim Blandy <jimb@redhat.com>
parents: 1629
diff changeset
27 ### Usage: configure config_name
bd3afc204773 Now partially conforms with GNU coding standards. I'm only checking
Jim Blandy <jimb@redhat.com>
parents: 1629
diff changeset
28 ###
bd3afc204773 Now partially conforms with GNU coding standards. I'm only checking
Jim Blandy <jimb@redhat.com>
parents: 1629
diff changeset
29 ### If configure succeeds, it leaves its status in config.status.
bd3afc204773 Now partially conforms with GNU coding standards. I'm only checking
Jim Blandy <jimb@redhat.com>
parents: 1629
diff changeset
30 ### If configure fails after disturbing the status quo,
bd3afc204773 Now partially conforms with GNU coding standards. I'm only checking
Jim Blandy <jimb@redhat.com>
parents: 1629
diff changeset
31 ### config.status is removed.
bd3afc204773 Now partially conforms with GNU coding standards. I'm only checking
Jim Blandy <jimb@redhat.com>
parents: 1629
diff changeset
32 ###
bd3afc204773 Now partially conforms with GNU coding standards. I'm only checking
Jim Blandy <jimb@redhat.com>
parents: 1629
diff changeset
33
603
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
34
1647
bd3afc204773 Now partially conforms with GNU coding standards. I'm only checking
Jim Blandy <jimb@redhat.com>
parents: 1629
diff changeset
35 ### Remove any leading "." elements from the path name. If we don't
bd3afc204773 Now partially conforms with GNU coding standards. I'm only checking
Jim Blandy <jimb@redhat.com>
parents: 1629
diff changeset
36 ### remove them, then another "./" will be prepended to the file name
bd3afc204773 Now partially conforms with GNU coding standards. I'm only checking
Jim Blandy <jimb@redhat.com>
parents: 1629
diff changeset
37 ### each time we use config.status, and the program name will get larger
bd3afc204773 Now partially conforms with GNU coding standards. I'm only checking
Jim Blandy <jimb@redhat.com>
parents: 1629
diff changeset
38 ### and larger. This wouldn't be a problem, except that since progname
bd3afc204773 Now partially conforms with GNU coding standards. I'm only checking
Jim Blandy <jimb@redhat.com>
parents: 1629
diff changeset
39 ### gets recorded in all the Makefiles this script produces,
1687
2bee660c3046 * configure: Don't make the top-level Makefile read-only - people
Jim Blandy <jimb@redhat.com>
parents: 1647
diff changeset
40 ### move-if-change thinks they're different when they're not.
1647
bd3afc204773 Now partially conforms with GNU coding standards. I'm only checking
Jim Blandy <jimb@redhat.com>
parents: 1629
diff changeset
41 ###
bd3afc204773 Now partially conforms with GNU coding standards. I'm only checking
Jim Blandy <jimb@redhat.com>
parents: 1629
diff changeset
42 ### It would be nice if we could put the ./ in a \( \) group and then
bd3afc204773 Now partially conforms with GNU coding standards. I'm only checking
Jim Blandy <jimb@redhat.com>
parents: 1629
diff changeset
43 ### apply the * operator to that, so we remove as many leading ./././'s
bd3afc204773 Now partially conforms with GNU coding standards. I'm only checking
Jim Blandy <jimb@redhat.com>
parents: 1629
diff changeset
44 ### as are present, but some seds (like Ultrix's sed) don't allow you to
bd3afc204773 Now partially conforms with GNU coding standards. I'm only checking
Jim Blandy <jimb@redhat.com>
parents: 1629
diff changeset
45 ### apply * to a \( \) group. Bleah.
1112
1dba066c1e0a *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 999
diff changeset
46 progname="`echo $0 | sed 's:^\./::'`"
603
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
47
1647
bd3afc204773 Now partially conforms with GNU coding standards. I'm only checking
Jim Blandy <jimb@redhat.com>
parents: 1629
diff changeset
48
bd3afc204773 Now partially conforms with GNU coding standards. I'm only checking
Jim Blandy <jimb@redhat.com>
parents: 1629
diff changeset
49 #### Usage messages.
603
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
50
1647
bd3afc204773 Now partially conforms with GNU coding standards. I'm only checking
Jim Blandy <jimb@redhat.com>
parents: 1629
diff changeset
51 short_usage="Type \`${progname} --usage' for more information about options."
bd3afc204773 Now partially conforms with GNU coding standards. I'm only checking
Jim Blandy <jimb@redhat.com>
parents: 1629
diff changeset
52
bd3afc204773 Now partially conforms with GNU coding standards. I'm only checking
Jim Blandy <jimb@redhat.com>
parents: 1629
diff changeset
53 long_usage="Usage: ${progname} CONFIGURATION [-OPTION[=VALUE] ...]
1629
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
54
603
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
55 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
56 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
57 For example:
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
58 ${progname} sparc-sun-sunos4.1
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
59 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
60 ${progname} decstation
1423
93ee9c5e7eec Partially changed to use GCC-style configuration names.
Jim Blandy <jimb@redhat.com>
parents: 1139
diff changeset
61 configures Emacs to run on a DECstation running Ultrix. See \`etc/MACHINES'.
1647
bd3afc204773 Now partially conforms with GNU coding standards. I'm only checking
Jim Blandy <jimb@redhat.com>
parents: 1629
diff changeset
62
bd3afc204773 Now partially conforms with GNU coding standards. I'm only checking
Jim Blandy <jimb@redhat.com>
parents: 1629
diff changeset
63 The --with-x, --with-x11 and --with-x10 options specify what window
bd3afc204773 Now partially conforms with GNU coding standards. I'm only checking
Jim Blandy <jimb@redhat.com>
parents: 1629
diff changeset
64 system to use; if all are omitted, use X11 if present. If you
bd3afc204773 Now partially conforms with GNU coding standards. I'm only checking
Jim Blandy <jimb@redhat.com>
parents: 1629
diff changeset
65 don't want X, specify \`--with-x=no'.
603
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
66
1647
bd3afc204773 Now partially conforms with GNU coding standards. I'm only checking
Jim Blandy <jimb@redhat.com>
parents: 1629
diff changeset
67 The --srcdir=DIR option specifies that the configuration and build
bd3afc204773 Now partially conforms with GNU coding standards. I'm only checking
Jim Blandy <jimb@redhat.com>
parents: 1629
diff changeset
68 processes should look for the Emacs source code in DIR, when
1687
2bee660c3046 * configure: Don't make the top-level Makefile read-only - people
Jim Blandy <jimb@redhat.com>
parents: 1647
diff changeset
69 DIR is not the current directory. This option doesn't work yet.
603
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
70
1647
bd3afc204773 Now partially conforms with GNU coding standards. I'm only checking
Jim Blandy <jimb@redhat.com>
parents: 1629
diff changeset
71 If successful, ${progname} leaves its status in config.status. If
bd3afc204773 Now partially conforms with GNU coding standards. I'm only checking
Jim Blandy <jimb@redhat.com>
parents: 1629
diff changeset
72 unsuccessful after disturbing the status quo, it removes config.status."
603
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
73
1647
bd3afc204773 Now partially conforms with GNU coding standards. I'm only checking
Jim Blandy <jimb@redhat.com>
parents: 1629
diff changeset
74
bd3afc204773 Now partially conforms with GNU coding standards. I'm only checking
Jim Blandy <jimb@redhat.com>
parents: 1629
diff changeset
75 #### Option processing.
603
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
76
1647
bd3afc204773 Now partially conforms with GNU coding standards. I'm only checking
Jim Blandy <jimb@redhat.com>
parents: 1629
diff changeset
77 ### These are the names of CPP symbols we want to define or leave undefined
bd3afc204773 Now partially conforms with GNU coding standards. I'm only checking
Jim Blandy <jimb@redhat.com>
parents: 1629
diff changeset
78 ### in src/config.h; their values are given by the shell variables of the same
bd3afc204773 Now partially conforms with GNU coding standards. I'm only checking
Jim Blandy <jimb@redhat.com>
parents: 1629
diff changeset
79 ### names.
bd3afc204773 Now partially conforms with GNU coding standards. I'm only checking
Jim Blandy <jimb@redhat.com>
parents: 1629
diff changeset
80 config_h_opts=" \
bd3afc204773 Now partially conforms with GNU coding standards. I'm only checking
Jim Blandy <jimb@redhat.com>
parents: 1629
diff changeset
81 HAVE_X_WINDOWS HAVE_X11 HAVE_X_MENU \
bd3afc204773 Now partially conforms with GNU coding standards. I'm only checking
Jim Blandy <jimb@redhat.com>
parents: 1629
diff changeset
82 SIGTYPE GNU_MALLOC REL_ALLOC LISP_FLOAT_TYPE "
603
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
83
1647
bd3afc204773 Now partially conforms with GNU coding standards. I'm only checking
Jim Blandy <jimb@redhat.com>
parents: 1629
diff changeset
84 ### 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
85 arguments="$@"
638
40b255f55df3 *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 621
diff changeset
86
621
eca8812e61cd *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 617
diff changeset
87 while [ $# != 0 ]; do
eca8812e61cd *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 617
diff changeset
88 arg="$1"
603
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
89 case "${arg}" in
1647
bd3afc204773 Now partially conforms with GNU coding standards. I'm only checking
Jim Blandy <jimb@redhat.com>
parents: 1629
diff changeset
90
bd3afc204773 Now partially conforms with GNU coding standards. I'm only checking
Jim Blandy <jimb@redhat.com>
parents: 1629
diff changeset
91 ## Anything starting with a hyphen we assume is an option.
bd3afc204773 Now partially conforms with GNU coding standards. I'm only checking
Jim Blandy <jimb@redhat.com>
parents: 1629
diff changeset
92 -* )
bd3afc204773 Now partially conforms with GNU coding standards. I'm only checking
Jim Blandy <jimb@redhat.com>
parents: 1629
diff changeset
93
bd3afc204773 Now partially conforms with GNU coding standards. I'm only checking
Jim Blandy <jimb@redhat.com>
parents: 1629
diff changeset
94 ## Separate the switch name from the value it's being given.
603
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
95 case "${arg}" in
1139
4875b01ff377 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents: 1112
diff changeset
96 -*=*)
1423
93ee9c5e7eec Partially changed to use GCC-style configuration names.
Jim Blandy <jimb@redhat.com>
parents: 1139
diff changeset
97 opt=`echo ${arg} | sed 's:^-*\([^=]*\)=.*$:\1:'`
1139
4875b01ff377 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents: 1112
diff changeset
98 val=`echo ${arg} | sed 's:^-*[^=]*=\(.*\)$:\1:'`
603
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
99 valomitted=no
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
100 ;;
1139
4875b01ff377 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents: 1112
diff changeset
101 -*)
1647
bd3afc204773 Now partially conforms with GNU coding standards. I'm only checking
Jim Blandy <jimb@redhat.com>
parents: 1629
diff changeset
102 ## If FOO is a boolean argument, --FOO is equivalent to
bd3afc204773 Now partially conforms with GNU coding standards. I'm only checking
Jim Blandy <jimb@redhat.com>
parents: 1629
diff changeset
103 ## --FOO=yes. Otherwise, the value comes from the next
bd3afc204773 Now partially conforms with GNU coding standards. I'm only checking
Jim Blandy <jimb@redhat.com>
parents: 1629
diff changeset
104 ## argument - see below.
1423
93ee9c5e7eec Partially changed to use GCC-style configuration names.
Jim Blandy <jimb@redhat.com>
parents: 1139
diff changeset
105 opt=`echo ${arg} | sed 's:^-*\(.*\)$:\1:'`
603
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
106 val="yes"
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
107 valomitted=yes
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
108 ;;
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
109 esac
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
110
1647
bd3afc204773 Now partially conforms with GNU coding standards. I'm only checking
Jim Blandy <jimb@redhat.com>
parents: 1629
diff changeset
111 ## Change `-' in the option name to `_'.
1423
93ee9c5e7eec Partially changed to use GCC-style configuration names.
Jim Blandy <jimb@redhat.com>
parents: 1139
diff changeset
112 opt="`echo ${opt} | tr - _`"
93ee9c5e7eec Partially changed to use GCC-style configuration names.
Jim Blandy <jimb@redhat.com>
parents: 1139
diff changeset
113
1647
bd3afc204773 Now partially conforms with GNU coding standards. I'm only checking
Jim Blandy <jimb@redhat.com>
parents: 1629
diff changeset
114 ## Process the option.
bd3afc204773 Now partially conforms with GNU coding standards. I'm only checking
Jim Blandy <jimb@redhat.com>
parents: 1629
diff changeset
115 case "${opt}" in
603
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
116
1647
bd3afc204773 Now partially conforms with GNU coding standards. I'm only checking
Jim Blandy <jimb@redhat.com>
parents: 1629
diff changeset
117 ## Has the user specified which window systems they want to support?
bd3afc204773 Now partially conforms with GNU coding standards. I'm only checking
Jim Blandy <jimb@redhat.com>
parents: 1629
diff changeset
118 "with_x" | "with_x11" | "with_x10" )
bd3afc204773 Now partially conforms with GNU coding standards. I'm only checking
Jim Blandy <jimb@redhat.com>
parents: 1629
diff changeset
119 ## Make sure the value given was either "yes" or "no".
603
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
120 case "${val}" in
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
121 y | ye | yes ) val=yes ;;
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
122 n | no ) val=no ;;
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
123 * )
1647
bd3afc204773 Now partially conforms with GNU coding standards. I'm only checking
Jim Blandy <jimb@redhat.com>
parents: 1629
diff changeset
124 (echo "${progname}: the \`--${opt}' option is supposed to have a boolean value.
bd3afc204773 Now partially conforms with GNU coding standards. I'm only checking
Jim Blandy <jimb@redhat.com>
parents: 1629
diff changeset
125 Set it to either \`yes' or \`no'."
bd3afc204773 Now partially conforms with GNU coding standards. I'm only checking
Jim Blandy <jimb@redhat.com>
parents: 1629
diff changeset
126 echo "${short_usage}") >&2
603
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
127 exit 1
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
128 ;;
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
129 esac
1647
bd3afc204773 Now partially conforms with GNU coding standards. I'm only checking
Jim Blandy <jimb@redhat.com>
parents: 1629
diff changeset
130 eval "${opt}=\"${val}\""
603
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
131 ;;
1647
bd3afc204773 Now partially conforms with GNU coding standards. I'm only checking
Jim Blandy <jimb@redhat.com>
parents: 1629
diff changeset
132
bd3afc204773 Now partially conforms with GNU coding standards. I'm only checking
Jim Blandy <jimb@redhat.com>
parents: 1629
diff changeset
133 ## Has the user specified a source directory?
bd3afc204773 Now partially conforms with GNU coding standards. I'm only checking
Jim Blandy <jimb@redhat.com>
parents: 1629
diff changeset
134 "srcdir" )
bd3afc204773 Now partially conforms with GNU coding standards. I'm only checking
Jim Blandy <jimb@redhat.com>
parents: 1629
diff changeset
135 ## If the value was omitted, get it from the next argument.
603
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
136 if [ "${valomitted}" = "yes" ]; then
1647
bd3afc204773 Now partially conforms with GNU coding standards. I'm only checking
Jim Blandy <jimb@redhat.com>
parents: 1629
diff changeset
137 ## Get the next argument from the argument list, if there is one.
621
eca8812e61cd *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 617
diff changeset
138 if [ $# = 1 ]; then
1647
bd3afc204773 Now partially conforms with GNU coding standards. I'm only checking
Jim Blandy <jimb@redhat.com>
parents: 1629
diff changeset
139 (echo "${progname}: You must give a value for the \`--${opt}' option, as in
bd3afc204773 Now partially conforms with GNU coding standards. I'm only checking
Jim Blandy <jimb@redhat.com>
parents: 1629
diff changeset
140 \`--${opt}=FOO'."
bd3afc204773 Now partially conforms with GNU coding standards. I'm only checking
Jim Blandy <jimb@redhat.com>
parents: 1629
diff changeset
141 echo "${short_usage}") >&2
621
eca8812e61cd *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 617
diff changeset
142 exit 1
eca8812e61cd *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 617
diff changeset
143 fi
eca8812e61cd *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 617
diff changeset
144 shift; val="$1"
603
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
145 fi
1647
bd3afc204773 Now partially conforms with GNU coding standards. I'm only checking
Jim Blandy <jimb@redhat.com>
parents: 1629
diff changeset
146 srcdir="${val}"
1687
2bee660c3046 * configure: Don't make the top-level Makefile read-only - people
Jim Blandy <jimb@redhat.com>
parents: 1647
diff changeset
147
2bee660c3046 * configure: Don't make the top-level Makefile read-only - people
Jim Blandy <jimb@redhat.com>
parents: 1647
diff changeset
148 echo "${progname}: Beware - the \`--srcdir' option doesn't work yet." >&2
1647
bd3afc204773 Now partially conforms with GNU coding standards. I'm only checking
Jim Blandy <jimb@redhat.com>
parents: 1629
diff changeset
149 ;;
603
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
150
1647
bd3afc204773 Now partially conforms with GNU coding standards. I'm only checking
Jim Blandy <jimb@redhat.com>
parents: 1629
diff changeset
151 ## Has the user asked for some help?
bd3afc204773 Now partially conforms with GNU coding standards. I'm only checking
Jim Blandy <jimb@redhat.com>
parents: 1629
diff changeset
152 "usage" | "help" )
bd3afc204773 Now partially conforms with GNU coding standards. I'm only checking
Jim Blandy <jimb@redhat.com>
parents: 1629
diff changeset
153 echo "${long_usage}" | more
bd3afc204773 Now partially conforms with GNU coding standards. I'm only checking
Jim Blandy <jimb@redhat.com>
parents: 1629
diff changeset
154 exit
bd3afc204773 Now partially conforms with GNU coding standards. I'm only checking
Jim Blandy <jimb@redhat.com>
parents: 1629
diff changeset
155 ;;
bd3afc204773 Now partially conforms with GNU coding standards. I'm only checking
Jim Blandy <jimb@redhat.com>
parents: 1629
diff changeset
156
bd3afc204773 Now partially conforms with GNU coding standards. I'm only checking
Jim Blandy <jimb@redhat.com>
parents: 1629
diff changeset
157 ## We ignore all other options silently.
bd3afc204773 Now partially conforms with GNU coding standards. I'm only checking
Jim Blandy <jimb@redhat.com>
parents: 1629
diff changeset
158 esac
603
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
159 ;;
1647
bd3afc204773 Now partially conforms with GNU coding standards. I'm only checking
Jim Blandy <jimb@redhat.com>
parents: 1629
diff changeset
160
bd3afc204773 Now partially conforms with GNU coding standards. I'm only checking
Jim Blandy <jimb@redhat.com>
parents: 1629
diff changeset
161 ## Anything not starting with a hyphen we assume is a
bd3afc204773 Now partially conforms with GNU coding standards. I'm only checking
Jim Blandy <jimb@redhat.com>
parents: 1629
diff changeset
162 ## configuration name.
603
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
163 *)
1629
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
164 configuration=${arg}
603
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
165 ;;
1647
bd3afc204773 Now partially conforms with GNU coding standards. I'm only checking
Jim Blandy <jimb@redhat.com>
parents: 1629
diff changeset
166
603
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
167 esac
621
eca8812e61cd *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 617
diff changeset
168 shift
603
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
169 done
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
170
1629
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
171 if [ "${configuration}" = "" ]; then
1647
bd3afc204773 Now partially conforms with GNU coding standards. I'm only checking
Jim Blandy <jimb@redhat.com>
parents: 1629
diff changeset
172 (echo "${progname}: You must specify a configuration name as an argument."
bd3afc204773 Now partially conforms with GNU coding standards. I'm only checking
Jim Blandy <jimb@redhat.com>
parents: 1629
diff changeset
173 echo "${short_usage}") >&2
603
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
174 exit 1
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
175 fi
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
176
1647
bd3afc204773 Now partially conforms with GNU coding standards. I'm only checking
Jim Blandy <jimb@redhat.com>
parents: 1629
diff changeset
177
bd3afc204773 Now partially conforms with GNU coding standards. I'm only checking
Jim Blandy <jimb@redhat.com>
parents: 1629
diff changeset
178 #### Decide where the source is.
bd3afc204773 Now partially conforms with GNU coding standards. I'm only checking
Jim Blandy <jimb@redhat.com>
parents: 1629
diff changeset
179 case "${srcdir}" in
bd3afc204773 Now partially conforms with GNU coding standards. I'm only checking
Jim Blandy <jimb@redhat.com>
parents: 1629
diff changeset
180
1687
2bee660c3046 * configure: Don't make the top-level Makefile read-only - people
Jim Blandy <jimb@redhat.com>
parents: 1647
diff changeset
181 ## If it's not specified, see if `.' or `..' might work.
1647
bd3afc204773 Now partially conforms with GNU coding standards. I'm only checking
Jim Blandy <jimb@redhat.com>
parents: 1629
diff changeset
182 "" )
1687
2bee660c3046 * configure: Don't make the top-level Makefile read-only - people
Jim Blandy <jimb@redhat.com>
parents: 1647
diff changeset
183 if [ -f "./src/lisp.h" -a -f "./lisp/version.el" ]; then
2bee660c3046 * configure: Don't make the top-level Makefile read-only - people
Jim Blandy <jimb@redhat.com>
parents: 1647
diff changeset
184 srcdir=`pwd`
2bee660c3046 * configure: Don't make the top-level Makefile read-only - people
Jim Blandy <jimb@redhat.com>
parents: 1647
diff changeset
185 else
2bee660c3046 * configure: Don't make the top-level Makefile read-only - people
Jim Blandy <jimb@redhat.com>
parents: 1647
diff changeset
186 if [ -f "../src/lisp.h" -a -f "../lisp/version.el" ]; then
2bee660c3046 * configure: Don't make the top-level Makefile read-only - people
Jim Blandy <jimb@redhat.com>
parents: 1647
diff changeset
187 srcdir=`(cd .. ; pwd)`
2bee660c3046 * configure: Don't make the top-level Makefile read-only - people
Jim Blandy <jimb@redhat.com>
parents: 1647
diff changeset
188 else
2bee660c3046 * configure: Don't make the top-level Makefile read-only - people
Jim Blandy <jimb@redhat.com>
parents: 1647
diff changeset
189 (echo "\
2bee660c3046 * configure: Don't make the top-level Makefile read-only - people
Jim Blandy <jimb@redhat.com>
parents: 1647
diff changeset
190 ${progname}: Neither the current directory nor its parent seem to
2bee660c3046 * configure: Don't make the top-level Makefile read-only - people
Jim Blandy <jimb@redhat.com>
parents: 1647
diff changeset
191 contain the Emacs sources. If you do not want to build Emacs in its
2bee660c3046 * configure: Don't make the top-level Makefile read-only - people
Jim Blandy <jimb@redhat.com>
parents: 1647
diff changeset
192 source tree, you should run \`${progname}' in the directory in which
2bee660c3046 * configure: Don't make the top-level Makefile read-only - people
Jim Blandy <jimb@redhat.com>
parents: 1647
diff changeset
193 you wish to build Emacs, using its \`--srcdir' option to say where the
2bee660c3046 * configure: Don't make the top-level Makefile read-only - people
Jim Blandy <jimb@redhat.com>
parents: 1647
diff changeset
194 sources may be found."
2bee660c3046 * configure: Don't make the top-level Makefile read-only - people
Jim Blandy <jimb@redhat.com>
parents: 1647
diff changeset
195 echo "${short_usage}") >&2
2bee660c3046 * configure: Don't make the top-level Makefile read-only - people
Jim Blandy <jimb@redhat.com>
parents: 1647
diff changeset
196 exit 1
2bee660c3046 * configure: Don't make the top-level Makefile read-only - people
Jim Blandy <jimb@redhat.com>
parents: 1647
diff changeset
197 fi
2bee660c3046 * configure: Don't make the top-level Makefile read-only - people
Jim Blandy <jimb@redhat.com>
parents: 1647
diff changeset
198 fi
1647
bd3afc204773 Now partially conforms with GNU coding standards. I'm only checking
Jim Blandy <jimb@redhat.com>
parents: 1629
diff changeset
199 ;;
bd3afc204773 Now partially conforms with GNU coding standards. I'm only checking
Jim Blandy <jimb@redhat.com>
parents: 1629
diff changeset
200
1687
2bee660c3046 * configure: Don't make the top-level Makefile read-only - people
Jim Blandy <jimb@redhat.com>
parents: 1647
diff changeset
201 ## Otherwise, check if the directory they specified is okay.
1647
bd3afc204773 Now partially conforms with GNU coding standards. I'm only checking
Jim Blandy <jimb@redhat.com>
parents: 1629
diff changeset
202 * )
1687
2bee660c3046 * configure: Don't make the top-level Makefile read-only - people
Jim Blandy <jimb@redhat.com>
parents: 1647
diff changeset
203 if [ ! -d "${srcdir}" -o ! -f "${srcdir}/src/lisp.h" -o ! -f "${srcdir}/lisp/version.el" ]; then
2bee660c3046 * configure: Don't make the top-level Makefile read-only - people
Jim Blandy <jimb@redhat.com>
parents: 1647
diff changeset
204 (echo "\
2bee660c3046 * configure: Don't make the top-level Makefile read-only - people
Jim Blandy <jimb@redhat.com>
parents: 1647
diff changeset
205 ${progname}: The directory specified with the \`--srcdir' option,
2bee660c3046 * configure: Don't make the top-level Makefile read-only - people
Jim Blandy <jimb@redhat.com>
parents: 1647
diff changeset
206 \`${srcdir}', doesn't seem to contain the Emacs sources. You should
2bee660c3046 * configure: Don't make the top-level Makefile read-only - people
Jim Blandy <jimb@redhat.com>
parents: 1647
diff changeset
207 either run the \`${progname}' script at the top of the Emacs source
2bee660c3046 * configure: Don't make the top-level Makefile read-only - people
Jim Blandy <jimb@redhat.com>
parents: 1647
diff changeset
208 tree, or use the \`--srcdir' option to specify where the Emacs sources
2bee660c3046 * configure: Don't make the top-level Makefile read-only - people
Jim Blandy <jimb@redhat.com>
parents: 1647
diff changeset
209 are."
1647
bd3afc204773 Now partially conforms with GNU coding standards. I'm only checking
Jim Blandy <jimb@redhat.com>
parents: 1629
diff changeset
210 echo "${short_usage}") >&2
bd3afc204773 Now partially conforms with GNU coding standards. I'm only checking
Jim Blandy <jimb@redhat.com>
parents: 1629
diff changeset
211 exit 1
bd3afc204773 Now partially conforms with GNU coding standards. I'm only checking
Jim Blandy <jimb@redhat.com>
parents: 1629
diff changeset
212 fi
bd3afc204773 Now partially conforms with GNU coding standards. I'm only checking
Jim Blandy <jimb@redhat.com>
parents: 1629
diff changeset
213 ;;
bd3afc204773 Now partially conforms with GNU coding standards. I'm only checking
Jim Blandy <jimb@redhat.com>
parents: 1629
diff changeset
214
bd3afc204773 Now partially conforms with GNU coding standards. I'm only checking
Jim Blandy <jimb@redhat.com>
parents: 1629
diff changeset
215 esac
bd3afc204773 Now partially conforms with GNU coding standards. I'm only checking
Jim Blandy <jimb@redhat.com>
parents: 1629
diff changeset
216
bd3afc204773 Now partially conforms with GNU coding standards. I'm only checking
Jim Blandy <jimb@redhat.com>
parents: 1629
diff changeset
217 ### Make the necessary directories, if they don't exist.
bd3afc204773 Now partially conforms with GNU coding standards. I'm only checking
Jim Blandy <jimb@redhat.com>
parents: 1629
diff changeset
218 if [ ! -d ./src ]; then
bd3afc204773 Now partially conforms with GNU coding standards. I'm only checking
Jim Blandy <jimb@redhat.com>
parents: 1629
diff changeset
219 mkdir ./src
bd3afc204773 Now partially conforms with GNU coding standards. I'm only checking
Jim Blandy <jimb@redhat.com>
parents: 1629
diff changeset
220 fi
bd3afc204773 Now partially conforms with GNU coding standards. I'm only checking
Jim Blandy <jimb@redhat.com>
parents: 1629
diff changeset
221 if [ ! -d ./lib-src ]; then
bd3afc204773 Now partially conforms with GNU coding standards. I'm only checking
Jim Blandy <jimb@redhat.com>
parents: 1629
diff changeset
222 mkdir ./lib-src
bd3afc204773 Now partially conforms with GNU coding standards. I'm only checking
Jim Blandy <jimb@redhat.com>
parents: 1629
diff changeset
223 fi
bd3afc204773 Now partially conforms with GNU coding standards. I'm only checking
Jim Blandy <jimb@redhat.com>
parents: 1629
diff changeset
224 if [ ! -d ./cpp ]; then
bd3afc204773 Now partially conforms with GNU coding standards. I'm only checking
Jim Blandy <jimb@redhat.com>
parents: 1629
diff changeset
225 mkdir ./cpp
bd3afc204773 Now partially conforms with GNU coding standards. I'm only checking
Jim Blandy <jimb@redhat.com>
parents: 1629
diff changeset
226 fi
1687
2bee660c3046 * configure: Don't make the top-level Makefile read-only - people
Jim Blandy <jimb@redhat.com>
parents: 1647
diff changeset
227 if [ ! -d ./oldXMenu ]; then
2bee660c3046 * configure: Don't make the top-level Makefile read-only - people
Jim Blandy <jimb@redhat.com>
parents: 1647
diff changeset
228 mkdir ./oldXMenu
2bee660c3046 * configure: Don't make the top-level Makefile read-only - people
Jim Blandy <jimb@redhat.com>
parents: 1647
diff changeset
229 fi
1647
bd3afc204773 Now partially conforms with GNU coding standards. I'm only checking
Jim Blandy <jimb@redhat.com>
parents: 1629
diff changeset
230
bd3afc204773 Now partially conforms with GNU coding standards. I'm only checking
Jim Blandy <jimb@redhat.com>
parents: 1629
diff changeset
231
bd3afc204773 Now partially conforms with GNU coding standards. I'm only checking
Jim Blandy <jimb@redhat.com>
parents: 1629
diff changeset
232 #### Given the configuration name, set machfile and opsysfile to the
bd3afc204773 Now partially conforms with GNU coding standards. I'm only checking
Jim Blandy <jimb@redhat.com>
parents: 1629
diff changeset
233 #### names of the m/*.h and s/*.h files we should use.
bd3afc204773 Now partially conforms with GNU coding standards. I'm only checking
Jim Blandy <jimb@redhat.com>
parents: 1629
diff changeset
234
bd3afc204773 Now partially conforms with GNU coding standards. I'm only checking
Jim Blandy <jimb@redhat.com>
parents: 1629
diff changeset
235 ### Canonicalize the configuration name.
1629
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
236 echo "Checking the configuration name."
1687
2bee660c3046 * configure: Don't make the top-level Makefile read-only - people
Jim Blandy <jimb@redhat.com>
parents: 1647
diff changeset
237 if configuration=`${srcdir}/config.sub "${configuration}"` ; then : ; else
1629
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
238 exit $?
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
239 fi
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 ### 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
242 ### 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
243 ### 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
244 ### 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
245 ### 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
246 ### 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
247 ### 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
248 ### configuration name.
603
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
249
1629
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
250 ### 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
251 ### 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
252 ### /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
253 ### 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
254 ### 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
255 machine='' opsys='' unported='false'
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
256 case "${configuration}" in
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 ## Alliant machines
1423
93ee9c5e7eec Partially changed to use GCC-style configuration names.
Jim Blandy <jimb@redhat.com>
parents: 1139
diff changeset
259 ## 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
260 ## 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
261 ## 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
262 ## 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
263 ## 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
264 fx80-alliant-* )
1629
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
265 machine=alliant4 opsys=bsd4-2
1423
93ee9c5e7eec Partially changed to use GCC-style configuration names.
Jim Blandy <jimb@redhat.com>
parents: 1139
diff changeset
266 ;;
93ee9c5e7eec Partially changed to use GCC-style configuration names.
Jim Blandy <jimb@redhat.com>
parents: 1139
diff changeset
267 i860-alliant-* )
1629
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
268 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
269 ;;
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
270
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
271 ## Altos 3068
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
272 m68*-altos-sysv* )
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
273 machine=altos opsys=usg5-2
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
274 ;;
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
275
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
276 ## Amdahl UTS
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
277 580-amdahl-sysv* )
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
278 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
279 ;;
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
280
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
281 ## 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
282 m68*-apollo* )
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
283 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
284 ;;
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 ## 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
287 we32k-att-sysv* )
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
288 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
289 ;;
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
290
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
291 ## 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
292 m68*-att-sysv* )
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
293 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
294 ;;
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
295
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
296 ## Bull sps7
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
297 m68*-bull-sysv* )
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
298 machine=sps7 opsys=usg5-2
1423
93ee9c5e7eec Partially changed to use GCC-style configuration names.
Jim Blandy <jimb@redhat.com>
parents: 1139
diff changeset
299 ;;
603
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
300
1629
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
301 ## 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
302
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
303 ## Celerity
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
304 ## 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
305 ## 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
306 ## in touch with us!
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
307 celerity-celerity-bsd* )
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
308 machine=celerity opsys=bsd4-2
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
309 ;;
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
310
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
311 ## Clipper
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
312 ## 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
313 ## tested on?
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
314 clipper-* )
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
315 machine=clipper
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
316 ## 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
317 ## operating system.
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
318 ;;
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
319
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
320 ## Convex
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
321 *-convex-bsd* )
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
322 machine=convex opsys=bsd4-3
1423
93ee9c5e7eec Partially changed to use GCC-style configuration names.
Jim Blandy <jimb@redhat.com>
parents: 1139
diff changeset
323 ;;
1629
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 ## Cubix QBx/386
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
326 i386-cubix-sysv* )
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
327 machine=intel386 opsys=usg5-3
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
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
330 ## Cydra 5
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
331 cydra*-cydrome-sysv* )
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
332 machine=cydra5 opsys=usg5-3
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
333 ;;
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
334
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
335 ## DECstations
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
336 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
337 machine=pmax opsys=bsd4-2
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
338 ;;
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
339 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
340 machine=pmax opsys=bsd4-3
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
341 ;;
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
342 mips-dec-osf* )
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
343 machine=pmax opsys=osf1
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
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
346 ## Motorola Delta machines
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
347 m68*-motorola-sysv* )
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
348 machine=delta opsys=usg5-3
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 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
351 machine=delta88k opsys=usg5-3
1423
93ee9c5e7eec Partially changed to use GCC-style configuration names.
Jim Blandy <jimb@redhat.com>
parents: 1139
diff changeset
352 ;;
603
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
353
1629
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
354 ## Dual machines
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
355 m68*-dual-sysv* )
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
356 machine=dual opsys=usg5-2
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
357 ;;
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
358 m68*-dual-uniplus* )
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
359 machine=dual opsys=unipl5-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
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
362 ## Elxsi 6400
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
363 elxsi-elxsi-sysv* )
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
364 machine=elxsi opsys=usg5-2
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
365 ;;
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
366
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
367 ## Encore machines
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
368 ns16k-encore-bsd* )
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
369 machine=ns16000 opsys=umax
1423
93ee9c5e7eec Partially changed to use GCC-style configuration names.
Jim Blandy <jimb@redhat.com>
parents: 1139
diff changeset
370 ;;
1629
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 ## 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
373
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
374 ## Gould Power Node and NP1
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
375 pn-gould-bsd4.2 )
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
376 machine=gould opsys=bsd4-2
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
377 ;;
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
378 pn-gould-bsd4.3 )
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
379 machine=gould opsys=bsd4-3
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
380 ;;
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
381 np1-gould-bsd* )
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
382 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
383 ;;
1629
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
384
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
385 ## Honeywell XPS100
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
386 xps*-honeywell-sysv* )
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
387 machine=xps100 opsys=usg5-2
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
388 ;;
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
389
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
390 ## 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
391 m68*-hp-bsd* )
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
392 machine=hp9000s300 opsys=bsd4-3
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
393 ;;
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
394 ## 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
395 m68*-hp-hpux* )
1629
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
396 machine=hp9000s300 opsys=hpux
1423
93ee9c5e7eec Partially changed to use GCC-style configuration names.
Jim Blandy <jimb@redhat.com>
parents: 1139
diff changeset
397 ;;
603
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
398
1629
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
399 ## 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
400 hppa1.0-hp-hpux* )
1629
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
401 machine=hp9000s800 opsys=hpux
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
402 ;;
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
403
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
404 ## Orion machines
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
405 orion-orion-bsd* )
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
406 machine=orion 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 clipper-orion-bsd* )
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
409 machine=orion105 opsys=bsd4-2
1423
93ee9c5e7eec Partially changed to use GCC-style configuration names.
Jim Blandy <jimb@redhat.com>
parents: 1139
diff changeset
410 ;;
603
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
411
1629
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
412 ## IBM machines
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
413 i386-ibm-aix1.1 )
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
414 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
415 ;;
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
416 i386-ibm-aix1.2 )
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
417 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
418 ;;
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
419 rs6000-ibm-aix* )
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
420 machine=ibmrs6000 opsys=aix3-1
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
421 ;;
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
422 romp-ibm-bsd* )
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
423 machine=ibmrt opsys=bsd4-2
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
424 ;;
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
425 romp-ibm-aix* )
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
426 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
427 ;;
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
428
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
429 ## Integrated Solutions `Optimum V'
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
430 m68*-isi-bsd4.2 )
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
431 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
432 ;;
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
433 m68*-isi-bsd4.3 )
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
434 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
435 ;;
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
436
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
437 ## 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
438 i[34]86-intsys-sysv* )
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
439 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
440 ;;
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
441 ## 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
442 i[34]86-* )
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
443 machine=intel386
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
444 case "${configuration}" in
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
445 *-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
446 *-isc* ) opsys=isc2-2 ;;
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
447 *-esix* ) opsys=esix ;;
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
448 *-xenix* ) opsys=xenix ;;
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
449 ## 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
450 esac
93ee9c5e7eec Partially changed to use GCC-style configuration names.
Jim Blandy <jimb@redhat.com>
parents: 1139
diff changeset
451 ;;
93ee9c5e7eec Partially changed to use GCC-style configuration names.
Jim Blandy <jimb@redhat.com>
parents: 1139
diff changeset
452
1629
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
453 ## Silicon Graphics machines
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
454 ## 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
455 m68*-sgi-iris3.5 )
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
456 machine=irist opsys=iris3-5
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
457 ;;
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
458 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
459 machine=irist opsys=iris3-6
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 ## Iris 4D
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
462 mips-sgi-irix3.* )
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
463 machine=iris4d opsys=irix3-3
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
464 ;;
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
465 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
466 machine=iris4d opsys=irix4-0
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
467 ;;
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
468
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
469 ## Masscomp machines
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
470 m68*-masscomp-rtu )
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
471 machine=masscomp opsys=rtu
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
472 ;;
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
473
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
474 ## Megatest machines
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
475 m68*-megatest-bsd* )
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
476 machine=mega68 opsys=bsd4-2
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
477 ;;
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 ## Workstations sold by MIPS
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
480 ## 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
481 ## 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
482
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
483 ## 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
484 ## 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
485 ## 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
486 ## -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
487 ## 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
488 ## 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
489 ## 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
490 mips-mips-riscos4* )
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
491 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
492 ;;
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
493 mips-mips-bsd* )
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
494 machine=mips opsys=bsd4-3
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 mips-mips-* )
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
497 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
498 ;;
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 ## 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
501 ns32k-ns-genix* )
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
502 machine=ns32000 opsys=usg5-2
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
503 ;;
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 ## NCR machines
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
506 m68*-ncr-sysv2* )
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
507 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
508 ;;
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
509 m68*-ncr-sysv3* )
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
510 machine=tower32v3 opsys=usg5-3
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
511 ;;
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
512
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
513 ## Nixdorf Targon 31
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
514 m68*-nixdorf-sysv* )
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
515 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
516 ;;
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
517
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
518 ## Nu (TI or LMI)
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
519 m68*-nu-sysv* )
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
520 machine=nu opsys=usg5-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 ## Plexus
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
524 m68*-plexus-sysv* )
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
525 machine=plexus opsys=usg5-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
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
528 ## Prime EXL
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
529 i386-prime-sysv* )
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
530 machine=i386 opsys=usg5-3
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
531 ;;
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
532
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
533 ## Pyramid machines
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
534 ## 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
535 ## 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
536 pyramid-pyramid-bsd* )
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
537 machine=pyramid 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
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
540 ## Sequent Balance
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
541 ns32k-sequent-bsd4.2 )
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
542 machine=sequent opsys=bsd4-2
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
543 ;;
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
544 ns32k-sequent-bsd4.3 )
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
545 machine=sequent opsys=bsd4-3
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
546 ;;
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
547 ## Sequent Symmetry
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
548 i386-sequent-bsd* )
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
549 machine=symmetry opsys=bsd4-3
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
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
552 ## SONY machines
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
553 m68*-sony-bsd4.2 )
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
554 machine=news opsys=bsd4-2
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
555 ;;
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
556 m68*-sony-bsd4.3 )
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
557 machine=news opsys=bsd4-3
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
558 ;;
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
559 mips-sony-bsd* )
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
560 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
561 ;;
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
562
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
563 ## Stride
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
564 m68*-stride-sysv* )
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
565 machine=stride opsys=usg5-2
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 ## Suns
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
569 *-sun-sunos* | *-sun-bsd* )
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
570 case "${configuration}" in
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
571 m68*-sunos1* ) machine=sun1 ;;
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
572 m68*-sunos2* ) machine=sun2 ;;
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
573 m68* ) machine=sun3 ;;
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
574 i[34]86* ) machine=sun386 ;;
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
575 sparc* ) machine=sparc ;;
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
576 * ) unported=true ;;
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
577 esac
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
578 case "${configuration}" in
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
579 *-sunos4.0* ) opsys=sunos4-0 ;;
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
580 *-sunos4* | *-sunos ) opsys=sunos4-1 ;;
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
581 * ) opsys=bsd4-2 ;;
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
582 esac
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
583 ;;
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 ## Tadpole 68k
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
586 m68*-tadpole-sysv* )
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
587 machine=tad68k opsys=usg5-3
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
588 ;;
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 ## Tahoe machines
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
591 tahoe-tahoe-bsd4.2 )
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
592 machine=tahoe opsys=bsd4-2
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
593 ;;
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
594 tahoe-tahoe-bsd4.3 )
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
595 machine=tahoe opsys=bsd4-3
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
596 ;;
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
597
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
598 ## Tandem Integrity S2
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
599 mips-tandem-sysv* )
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
600 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
601 ;;
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
602
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
603 ## Tektronix 16000 box (6130?)
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
604 ns16k-tektronix-bsd* )
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
605 machine=ns16000 opsys=bsd4-2
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 ## Tektronix 4300
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
608 ## 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
609 m68*-tektronix-bsd* )
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
610 machine=tex4300 opsys=bsd4-3
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
611 ;;
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
612
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
613 ## Titan P2 or P3
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
614 ## 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
615 titan-titan-sysv* )
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
616 machine=titan opsys=usg5-3
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
617 ;;
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
618
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
619 ## Ustation E30 (SS5E)
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
620 m68*-unisys-uniplus* )
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
621 machine=ustation opsystem=unipl5-2
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
622 ;;
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
623
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
624 ## Vaxen.
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
625 vax-dec-* )
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
626 machine=vax
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
627 case "${configuration}" in
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
628 *-bsd4.1 ) opsys=bsd4-1 ;;
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
629 *-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
630 *-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
631 *-sysv[01]* ) opsys=usg5-0 ;;
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
632 *-sysv2* ) opsys=usg5-2 ;;
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
633 *-vms* ) opsys=vms ;;
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
634 * ) unported=true
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
635 esac
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
636 ;;
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
637
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
638 ## Whitechapel MG1
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
639 ns16k-whitechapel-* )
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
640 machine=mg1
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
641 ## 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
642 ## 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
643 ;;
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
644
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
645 ## Wicat
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
646 m68*-wicat-sysv* )
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
647 machine=wicat opsys=usg5-2
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
648 ;;
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
649
1423
93ee9c5e7eec Partially changed to use GCC-style configuration names.
Jim Blandy <jimb@redhat.com>
parents: 1139
diff changeset
650 * )
1629
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
651 unported=true
1423
93ee9c5e7eec Partially changed to use GCC-style configuration names.
Jim Blandy <jimb@redhat.com>
parents: 1139
diff changeset
652 ;;
93ee9c5e7eec Partially changed to use GCC-style configuration names.
Jim Blandy <jimb@redhat.com>
parents: 1139
diff changeset
653 esac
603
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
654
1629
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
655 ### 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
656 ### 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
657 ### 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
658 ### 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
659 ### 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
660 ### above.
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
661 if [ ! "${opsys}" ]; then
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
662 case "${configuration}" in
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
663 *-bsd4.[01] ) opsys=bsd4-1 ;;
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
664 *-bsd4.2 ) opsys=bsd4-2 ;;
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
665 *-bsd4.3 ) opsys=bsd4-3 ;;
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
666 *-sysv0 ) opsys=usg5-0 ;;
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
667 *-sysv2 ) opsys=usg5-2 ;;
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
668 *-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
669 *-sysv3 ) opsys=usg5-3 ;;
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
670 *-sysv4 ) opsys=usg5-4 ;;
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
671 * )
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
672 unported=true
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
673 ;;
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
674 esac
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
675 fi
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
676
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
677 if $unported ; then
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
678 (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
679 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
680 ) >&2
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
681 exit 1
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
682 fi
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
683
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
684 machfile="m/${machine}.h"
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
685 opsysfile="s/${opsys}.h"
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
686
621
eca8812e61cd *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 617
diff changeset
687
1647
bd3afc204773 Now partially conforms with GNU coding standards. I'm only checking
Jim Blandy <jimb@redhat.com>
parents: 1629
diff changeset
688 #### Choose a window system.
617
cde1f15848c6 *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 605
diff changeset
689 echo "Checking window system."
1629
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
690 window_system=''
1423
93ee9c5e7eec Partially changed to use GCC-style configuration names.
Jim Blandy <jimb@redhat.com>
parents: 1139
diff changeset
691 case "${with_x}" in
93ee9c5e7eec Partially changed to use GCC-style configuration names.
Jim Blandy <jimb@redhat.com>
parents: 1139
diff changeset
692 yes )
93ee9c5e7eec Partially changed to use GCC-style configuration names.
Jim Blandy <jimb@redhat.com>
parents: 1139
diff changeset
693 window_system=${window_system}x11
93ee9c5e7eec Partially changed to use GCC-style configuration names.
Jim Blandy <jimb@redhat.com>
parents: 1139
diff changeset
694 ;;
93ee9c5e7eec Partially changed to use GCC-style configuration names.
Jim Blandy <jimb@redhat.com>
parents: 1139
diff changeset
695 no )
93ee9c5e7eec Partially changed to use GCC-style configuration names.
Jim Blandy <jimb@redhat.com>
parents: 1139
diff changeset
696 window_system=${window_system}none
93ee9c5e7eec Partially changed to use GCC-style configuration names.
Jim Blandy <jimb@redhat.com>
parents: 1139
diff changeset
697 esac
1139
4875b01ff377 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents: 1112
diff changeset
698 case "${with_x11}" in
4875b01ff377 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents: 1112
diff changeset
699 yes )
4875b01ff377 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents: 1112
diff changeset
700 window_system=${window_system}x11
1423
93ee9c5e7eec Partially changed to use GCC-style configuration names.
Jim Blandy <jimb@redhat.com>
parents: 1139
diff changeset
701 ;;
1139
4875b01ff377 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents: 1112
diff changeset
702 esac
4875b01ff377 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents: 1112
diff changeset
703 case "${with_x10}" in
4875b01ff377 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents: 1112
diff changeset
704 yes )
4875b01ff377 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents: 1112
diff changeset
705 window_system=${window_system}x10
1423
93ee9c5e7eec Partially changed to use GCC-style configuration names.
Jim Blandy <jimb@redhat.com>
parents: 1139
diff changeset
706 ;;
1139
4875b01ff377 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents: 1112
diff changeset
707 esac
4875b01ff377 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents: 1112
diff changeset
708
603
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
709 case "${window_system}" in
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
710 "none" | "x11" | "x10" ) ;;
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
711 "" )
617
cde1f15848c6 *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 605
diff changeset
712 echo " No window system specifed. Looking for X Windows."
603
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
713 window_system=none
958
cc82116a8f1c *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 732
diff changeset
714 if [ -r /usr/lib/libX11.a -o -d /usr/include/X11 ]; then
603
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
715 window_system=x11
617
cde1f15848c6 *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 605
diff changeset
716 fi
603
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
717 ;;
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
718 * )
1139
4875b01ff377 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents: 1112
diff changeset
719 echo "Don\'t specify the window system more than once." >&2
603
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
720 exit 1
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
721 ;;
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
722 esac
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
723
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
724 case "${window_system}" in
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
725 x11 )
1647
bd3afc204773 Now partially conforms with GNU coding standards. I'm only checking
Jim Blandy <jimb@redhat.com>
parents: 1629
diff changeset
726 HAVE_X_WINDOWS=yes
bd3afc204773 Now partially conforms with GNU coding standards. I'm only checking
Jim Blandy <jimb@redhat.com>
parents: 1629
diff changeset
727 HAVE_X11=yes
1629
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
728 echo " Using X11."
603
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
729 ;;
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
730 x10 )
1647
bd3afc204773 Now partially conforms with GNU coding standards. I'm only checking
Jim Blandy <jimb@redhat.com>
parents: 1629
diff changeset
731 HAVE_X_WINDOWS=yes
bd3afc204773 Now partially conforms with GNU coding standards. I'm only checking
Jim Blandy <jimb@redhat.com>
parents: 1629
diff changeset
732 HAVE_X11=no
1629
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
733 echo " Using X10."
603
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
734 ;;
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
735 none )
1647
bd3afc204773 Now partially conforms with GNU coding standards. I'm only checking
Jim Blandy <jimb@redhat.com>
parents: 1629
diff changeset
736 HAVE_X_WINDOWS=no
bd3afc204773 Now partially conforms with GNU coding standards. I'm only checking
Jim Blandy <jimb@redhat.com>
parents: 1629
diff changeset
737 HAVE_X11=no
1629
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
738 echo " Using no window system."
603
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
739 ;;
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
740 esac
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
741
1647
bd3afc204773 Now partially conforms with GNU coding standards. I'm only checking
Jim Blandy <jimb@redhat.com>
parents: 1629
diff changeset
742 ### If we're using X11, we should use the X menu package.
bd3afc204773 Now partially conforms with GNU coding standards. I'm only checking
Jim Blandy <jimb@redhat.com>
parents: 1629
diff changeset
743 HAVE_X_MENU=no
bd3afc204773 Now partially conforms with GNU coding standards. I'm only checking
Jim Blandy <jimb@redhat.com>
parents: 1629
diff changeset
744 case ${HAVE_X11} in
1423
93ee9c5e7eec Partially changed to use GCC-style configuration names.
Jim Blandy <jimb@redhat.com>
parents: 1139
diff changeset
745 yes )
1647
bd3afc204773 Now partially conforms with GNU coding standards. I'm only checking
Jim Blandy <jimb@redhat.com>
parents: 1629
diff changeset
746 HAVE_X_MENU=yes
603
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
747 ;;
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
748 esac
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
749
1647
bd3afc204773 Now partially conforms with GNU coding standards. I'm only checking
Jim Blandy <jimb@redhat.com>
parents: 1629
diff changeset
750
bd3afc204773 Now partially conforms with GNU coding standards. I'm only checking
Jim Blandy <jimb@redhat.com>
parents: 1629
diff changeset
751 #### Choose a compiler.
1423
93ee9c5e7eec Partially changed to use GCC-style configuration names.
Jim Blandy <jimb@redhat.com>
parents: 1139
diff changeset
752 echo "Checking for GCC."
93ee9c5e7eec Partially changed to use GCC-style configuration names.
Jim Blandy <jimb@redhat.com>
parents: 1139
diff changeset
753 temppath=`echo $PATH | sed 's/^:/.:/
93ee9c5e7eec Partially changed to use GCC-style configuration names.
Jim Blandy <jimb@redhat.com>
parents: 1139
diff changeset
754 s/::/:.:/g
93ee9c5e7eec Partially changed to use GCC-style configuration names.
Jim Blandy <jimb@redhat.com>
parents: 1139
diff changeset
755 s/:$/:./
93ee9c5e7eec Partially changed to use GCC-style configuration names.
Jim Blandy <jimb@redhat.com>
parents: 1139
diff changeset
756 s/:/ /g'`
1647
bd3afc204773 Now partially conforms with GNU coding standards. I'm only checking
Jim Blandy <jimb@redhat.com>
parents: 1629
diff changeset
757 default_cc=`(
1423
93ee9c5e7eec Partially changed to use GCC-style configuration names.
Jim Blandy <jimb@redhat.com>
parents: 1139
diff changeset
758 for dir in ${temppath}; do
93ee9c5e7eec Partially changed to use GCC-style configuration names.
Jim Blandy <jimb@redhat.com>
parents: 1139
diff changeset
759 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
760 done
93ee9c5e7eec Partially changed to use GCC-style configuration names.
Jim Blandy <jimb@redhat.com>
parents: 1139
diff changeset
761 echo cc
93ee9c5e7eec Partially changed to use GCC-style configuration names.
Jim Blandy <jimb@redhat.com>
parents: 1139
diff changeset
762 )`
93ee9c5e7eec Partially changed to use GCC-style configuration names.
Jim Blandy <jimb@redhat.com>
parents: 1139
diff changeset
763
1647
bd3afc204773 Now partially conforms with GNU coding standards. I'm only checking
Jim Blandy <jimb@redhat.com>
parents: 1629
diff changeset
764 case "${default_cc}" in
621
eca8812e61cd *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 617
diff changeset
765 "gcc" )
1629
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
766 echo " Using GCC."
1647
bd3afc204773 Now partially conforms with GNU coding standards. I'm only checking
Jim Blandy <jimb@redhat.com>
parents: 1629
diff changeset
767 default_cflags='-g -O'
621
eca8812e61cd *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 617
diff changeset
768 ;;
eca8812e61cd *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 617
diff changeset
769 "*" )
1629
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
770 echo " Using the system's CC."
1647
bd3afc204773 Now partially conforms with GNU coding standards. I'm only checking
Jim Blandy <jimb@redhat.com>
parents: 1629
diff changeset
771 default_cflags='-g'
621
eca8812e61cd *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 617
diff changeset
772 ;;
603
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
773 esac
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
774
1647
bd3afc204773 Now partially conforms with GNU coding standards. I'm only checking
Jim Blandy <jimb@redhat.com>
parents: 1629
diff changeset
775
bd3afc204773 Now partially conforms with GNU coding standards. I'm only checking
Jim Blandy <jimb@redhat.com>
parents: 1629
diff changeset
776 #### What is the return type of a signal handler?
bd3afc204773 Now partially conforms with GNU coding standards. I'm only checking
Jim Blandy <jimb@redhat.com>
parents: 1629
diff changeset
777
bd3afc204773 Now partially conforms with GNU coding standards. I'm only checking
Jim Blandy <jimb@redhat.com>
parents: 1629
diff changeset
778 ### We run /usr/include/signal.h through cpp and grep for the
bd3afc204773 Now partially conforms with GNU coding standards. I'm only checking
Jim Blandy <jimb@redhat.com>
parents: 1629
diff changeset
779 ### declaration of the signal function. Yuck.
621
eca8812e61cd *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 617
diff changeset
780 echo "Looking for return type of signal handler functions."
eca8812e61cd *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 617
diff changeset
781 signal_h_file=''
eca8812e61cd *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 617
diff changeset
782 if [ -r /usr/include/signal.h ]; then
eca8812e61cd *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 617
diff changeset
783 signal_h_file=/usr/include/signal.h
eca8812e61cd *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 617
diff changeset
784 elif [ -r /usr/include/sys/signal.h ]; then
eca8812e61cd *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 617
diff changeset
785 signal_h_file=/usr/include/sys/signal.h
eca8812e61cd *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 617
diff changeset
786 fi
1647
bd3afc204773 Now partially conforms with GNU coding standards. I'm only checking
Jim Blandy <jimb@redhat.com>
parents: 1629
diff changeset
787 SIGTYPE=void
621
eca8812e61cd *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 617
diff changeset
788 if [ "${signal_h_file}" ]; then
eca8812e61cd *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 617
diff changeset
789 sigpattern='[ ]*([ ]*\*[ ]*signal[ ]*('
eca8812e61cd *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 617
diff changeset
790
1647
bd3afc204773 Now partially conforms with GNU coding standards. I'm only checking
Jim Blandy <jimb@redhat.com>
parents: 1629
diff changeset
791 ## We make a copy whose name ends in .c, so the compiler
bd3afc204773 Now partially conforms with GNU coding standards. I'm only checking
Jim Blandy <jimb@redhat.com>
parents: 1629
diff changeset
792 ## won't complain about having only been given a .h file.
621
eca8812e61cd *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 617
diff changeset
793 tempcname="configure.tmp.$$.c"
999
d8d503897aa5 *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 958
diff changeset
794 cp ${signal_h_file} ${tempcname}
1647
bd3afc204773 Now partially conforms with GNU coding standards. I'm only checking
Jim Blandy <jimb@redhat.com>
parents: 1629
diff changeset
795 if ${default_cc} -E ${tempcname} | grep "int${sigpattern}" > /dev/null; then
bd3afc204773 Now partially conforms with GNU coding standards. I'm only checking
Jim Blandy <jimb@redhat.com>
parents: 1629
diff changeset
796 SIGTYPE=int
621
eca8812e61cd *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 617
diff changeset
797 fi
999
d8d503897aa5 *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 958
diff changeset
798 rm -f ${tempcname}
621
eca8812e61cd *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 617
diff changeset
799 fi
1647
bd3afc204773 Now partially conforms with GNU coding standards. I'm only checking
Jim Blandy <jimb@redhat.com>
parents: 1629
diff changeset
800 echo " Guessing that signals return \`${SIGTYPE}'."
bd3afc204773 Now partially conforms with GNU coding standards. I'm only checking
Jim Blandy <jimb@redhat.com>
parents: 1629
diff changeset
801
bd3afc204773 Now partially conforms with GNU coding standards. I'm only checking
Jim Blandy <jimb@redhat.com>
parents: 1629
diff changeset
802
bd3afc204773 Now partially conforms with GNU coding standards. I'm only checking
Jim Blandy <jimb@redhat.com>
parents: 1629
diff changeset
803 #### Extract some information from the operating system and machine files.
621
eca8812e61cd *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 617
diff changeset
804
617
cde1f15848c6 *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 605
diff changeset
805 echo "Examining the machine- and system-dependent files to find out"
cde1f15848c6 *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 605
diff changeset
806 echo " - which libraries the lib-src programs will want, and"
cde1f15848c6 *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 605
diff changeset
807 echo " - whether the GNU malloc routines are usable."
cde1f15848c6 *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 605
diff changeset
808 tempcname="configure.tmp.$$.c"
1687
2bee660c3046 * configure: Don't make the top-level Makefile read-only - people
Jim Blandy <jimb@redhat.com>
parents: 1647
diff changeset
809 echo '
2bee660c3046 * configure: Don't make the top-level Makefile read-only - people
Jim Blandy <jimb@redhat.com>
parents: 1647
diff changeset
810 #include "'${srcdir}'/src/'${opsysfile}'"
2bee660c3046 * configure: Don't make the top-level Makefile read-only - people
Jim Blandy <jimb@redhat.com>
parents: 1647
diff changeset
811 #include "'${srcdir}'/src/'${machfile}'"
603
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
812 #ifndef LIBS_MACHINE
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
813 #define LIBS_MACHINE
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
814 #endif
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
815 #ifndef LIBS_SYSTEM
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
816 #define LIBS_SYSTEM
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
817 #endif
621
eca8812e61cd *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 617
diff changeset
818 @configure@ libsrc_libs=LIBS_MACHINE LIBS_SYSTEM
617
cde1f15848c6 *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 605
diff changeset
819 #ifdef SYSTEM_MALLOC
621
eca8812e61cd *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 617
diff changeset
820 @configure@ system_malloc=yes
617
cde1f15848c6 *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 605
diff changeset
821 #else
621
eca8812e61cd *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 617
diff changeset
822 @configure@ system_malloc=no
617
cde1f15848c6 *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 605
diff changeset
823 #endif
cde1f15848c6 *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 605
diff changeset
824 ' > ${tempcname}
1647
bd3afc204773 Now partially conforms with GNU coding standards. I'm only checking
Jim Blandy <jimb@redhat.com>
parents: 1629
diff changeset
825 eval `${default_cc} -E ${tempcname} \
621
eca8812e61cd *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 617
diff changeset
826 | grep '@configure@' \
eca8812e61cd *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 617
diff changeset
827 | sed -e 's/^@configure@//'`
617
cde1f15848c6 *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 605
diff changeset
828 rm ${tempcname}
cde1f15848c6 *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 605
diff changeset
829
cde1f15848c6 *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 605
diff changeset
830 # Do the opsystem or machine files prohibit the use of the GNU malloc?
1687
2bee660c3046 * configure: Don't make the top-level Makefile read-only - people
Jim Blandy <jimb@redhat.com>
parents: 1647
diff changeset
831 # Assume not, until told otherwise.
2bee660c3046 * configure: Don't make the top-level Makefile read-only - people
Jim Blandy <jimb@redhat.com>
parents: 1647
diff changeset
832 GNU_MALLOC=yes
617
cde1f15848c6 *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 605
diff changeset
833 if [ "${system_malloc}" = "yes" ]; then
1647
bd3afc204773 Now partially conforms with GNU coding standards. I'm only checking
Jim Blandy <jimb@redhat.com>
parents: 1629
diff changeset
834 GNU_MALLOC=no
bd3afc204773 Now partially conforms with GNU coding standards. I'm only checking
Jim Blandy <jimb@redhat.com>
parents: 1629
diff changeset
835 GNU_MALLOC_reason="
1629
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
836 (The GNU allocators don't work with this system configuration.)"
617
cde1f15848c6 *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 605
diff changeset
837 fi
cde1f15848c6 *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 605
diff changeset
838
1647
bd3afc204773 Now partially conforms with GNU coding standards. I'm only checking
Jim Blandy <jimb@redhat.com>
parents: 1629
diff changeset
839 if [ ! "${REL_ALLOC}" ]; then
bd3afc204773 Now partially conforms with GNU coding standards. I'm only checking
Jim Blandy <jimb@redhat.com>
parents: 1629
diff changeset
840 REL_ALLOC=${GNU_MALLOC}
617
cde1f15848c6 *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 605
diff changeset
841 fi
603
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
842
1647
bd3afc204773 Now partially conforms with GNU coding standards. I'm only checking
Jim Blandy <jimb@redhat.com>
parents: 1629
diff changeset
843 LISP_FLOAT_TYPE=yes
bd3afc204773 Now partially conforms with GNU coding standards. I'm only checking
Jim Blandy <jimb@redhat.com>
parents: 1629
diff changeset
844
1687
2bee660c3046 * configure: Don't make the top-level Makefile read-only - people
Jim Blandy <jimb@redhat.com>
parents: 1647
diff changeset
845
2bee660c3046 * configure: Don't make the top-level Makefile read-only - people
Jim Blandy <jimb@redhat.com>
parents: 1647
diff changeset
846 #### Find out which version of Emacs this is.
2bee660c3046 * configure: Don't make the top-level Makefile read-only - people
Jim Blandy <jimb@redhat.com>
parents: 1647
diff changeset
847 version=`grep 'defconst[ ]*emacs-version' ${srcdir}/lisp/version.el \
2bee660c3046 * configure: Don't make the top-level Makefile read-only - people
Jim Blandy <jimb@redhat.com>
parents: 1647
diff changeset
848 | sed -e 's/^.*"\([0-9][0-9]*\.[0-9][0-9]*\)\..*$/\1/'`
2bee660c3046 * configure: Don't make the top-level Makefile read-only - people
Jim Blandy <jimb@redhat.com>
parents: 1647
diff changeset
849 if [ ! "${version}" ]; then
2bee660c3046 * configure: Don't make the top-level Makefile read-only - people
Jim Blandy <jimb@redhat.com>
parents: 1647
diff changeset
850 echo "${progname}: can't find current emacs version in
2bee660c3046 * configure: Don't make the top-level Makefile read-only - people
Jim Blandy <jimb@redhat.com>
parents: 1647
diff changeset
851 \`${srcdir}/lisp/version.el'." >&2
2bee660c3046 * configure: Don't make the top-level Makefile read-only - people
Jim Blandy <jimb@redhat.com>
parents: 1647
diff changeset
852 exit 1
2bee660c3046 * configure: Don't make the top-level Makefile read-only - people
Jim Blandy <jimb@redhat.com>
parents: 1647
diff changeset
853 fi
2bee660c3046 * configure: Don't make the top-level Makefile read-only - people
Jim Blandy <jimb@redhat.com>
parents: 1647
diff changeset
854
2bee660c3046 * configure: Don't make the top-level Makefile read-only - people
Jim Blandy <jimb@redhat.com>
parents: 1647
diff changeset
855
1647
bd3afc204773 Now partially conforms with GNU coding standards. I'm only checking
Jim Blandy <jimb@redhat.com>
parents: 1629
diff changeset
856 #### Make the proper settings in `src/config.h'.
603
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
857 rm -f config.status
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
858 set -e
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
859
1647
bd3afc204773 Now partially conforms with GNU coding standards. I'm only checking
Jim Blandy <jimb@redhat.com>
parents: 1629
diff changeset
860 echo "Making \`./src/config.h' from \`${srcdir}/src/config.h.in'."
bd3afc204773 Now partially conforms with GNU coding standards. I'm only checking
Jim Blandy <jimb@redhat.com>
parents: 1629
diff changeset
861 sed_flags="-e 's:@machine@:${machfile}:' -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
862
1647
bd3afc204773 Now partially conforms with GNU coding standards. I'm only checking
Jim Blandy <jimb@redhat.com>
parents: 1629
diff changeset
863 for flag in ${config_h_opts}; do
603
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
864 val=`eval echo '$'${flag}`
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
865 case ${val} in
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
866 no | "")
1647
bd3afc204773 Now partially conforms with GNU coding standards. I'm only checking
Jim Blandy <jimb@redhat.com>
parents: 1629
diff changeset
867 f="-e 's:.*#define ${flag}.*:/\\* #define ${flag} \\*/:'"
603
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
868 ;;
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
869 yes)
1647
bd3afc204773 Now partially conforms with GNU coding standards. I'm only checking
Jim Blandy <jimb@redhat.com>
parents: 1629
diff changeset
870 f="-e 's:.*#define ${flag}.*:#define ${flag}:'"
603
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
871 ;;
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
872 *)
1647
bd3afc204773 Now partially conforms with GNU coding standards. I'm only checking
Jim Blandy <jimb@redhat.com>
parents: 1629
diff changeset
873 f="-e 's:.*#define ${flag}.*:#define ${flag} ${val}:'"
603
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
874 ;;
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
875 esac
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
876 sed_flags="${sed_flags} ${f}"
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
877 done
1482
b695cbb4fdab Update GNU_MALLOC and REL_ALLOC in config.h.
Richard M. Stallman <rms@gnu.org>
parents: 1423
diff changeset
878
1647
bd3afc204773 Now partially conforms with GNU coding standards. I'm only checking
Jim Blandy <jimb@redhat.com>
parents: 1629
diff changeset
879 rm -f ./src/config.h.tmp
bd3afc204773 Now partially conforms with GNU coding standards. I'm only checking
Jim Blandy <jimb@redhat.com>
parents: 1629
diff changeset
880 (echo "/* This file is generated by \`${progname}' from"
bd3afc204773 Now partially conforms with GNU coding standards. I'm only checking
Jim Blandy <jimb@redhat.com>
parents: 1629
diff changeset
881 echo " \`${srcdir}/src/config.h.in'."
bd3afc204773 Now partially conforms with GNU coding standards. I'm only checking
Jim Blandy <jimb@redhat.com>
parents: 1629
diff changeset
882 echo " If you are thinking about editing it, you should seriously consider"
bd3afc204773 Now partially conforms with GNU coding standards. I'm only checking
Jim Blandy <jimb@redhat.com>
parents: 1629
diff changeset
883 echo " running \`${progname} instead, or editing"
bd3afc204773 Now partially conforms with GNU coding standards. I'm only checking
Jim Blandy <jimb@redhat.com>
parents: 1629
diff changeset
884 echo " \`${srcdir}/src/config.h.in' itself."
bd3afc204773 Now partially conforms with GNU coding standards. I'm only checking
Jim Blandy <jimb@redhat.com>
parents: 1629
diff changeset
885 eval '/bin/sed '${sed_flags}' < "${srcdir}/src/config.h.in"'
bd3afc204773 Now partially conforms with GNU coding standards. I'm only checking
Jim Blandy <jimb@redhat.com>
parents: 1629
diff changeset
886 ) > src/config.h.tmp
1687
2bee660c3046 * configure: Don't make the top-level Makefile read-only - people
Jim Blandy <jimb@redhat.com>
parents: 1647
diff changeset
887 ${srcdir}/move-if-change src/config.h.tmp src/config.h
1647
bd3afc204773 Now partially conforms with GNU coding standards. I'm only checking
Jim Blandy <jimb@redhat.com>
parents: 1629
diff changeset
888 ### Remind people not to edit this.
617
cde1f15848c6 *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 605
diff changeset
889 chmod -w src/config.h
603
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
890
1647
bd3afc204773 Now partially conforms with GNU coding standards. I'm only checking
Jim Blandy <jimb@redhat.com>
parents: 1629
diff changeset
891
1687
2bee660c3046 * configure: Don't make the top-level Makefile read-only - people
Jim Blandy <jimb@redhat.com>
parents: 1647
diff changeset
892 #### Modify the parameters in the top-level Makefile.
2bee660c3046 * configure: Don't make the top-level Makefile read-only - people
Jim Blandy <jimb@redhat.com>
parents: 1647
diff changeset
893 echo "Producing \`Makefile' from \`${srcdir}/Makefile.in'."
704
2aacd42951ef *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 638
diff changeset
894 rm -f Makefile.tmp
1647
bd3afc204773 Now partially conforms with GNU coding standards. I'm only checking
Jim Blandy <jimb@redhat.com>
parents: 1629
diff changeset
895 (echo "\
1687
2bee660c3046 * configure: Don't make the top-level Makefile read-only - people
Jim Blandy <jimb@redhat.com>
parents: 1647
diff changeset
896 # This file is generated by \`${progname}' from
2bee660c3046 * configure: Don't make the top-level Makefile read-only - people
Jim Blandy <jimb@redhat.com>
parents: 1647
diff changeset
897 # \`${srcdir}/Makefile.in'.
617
cde1f15848c6 *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 605
diff changeset
898 # If you are thinking about editing it, you should seriously consider
1687
2bee660c3046 * configure: Don't make the top-level Makefile read-only - people
Jim Blandy <jimb@redhat.com>
parents: 1647
diff changeset
899 # running \`${progname}' instead, or editing
2bee660c3046 * configure: Don't make the top-level Makefile read-only - people
Jim Blandy <jimb@redhat.com>
parents: 1647
diff changeset
900 # \`${srcdir}/Makefile.in' itself."
2bee660c3046 * configure: Don't make the top-level Makefile read-only - people
Jim Blandy <jimb@redhat.com>
parents: 1647
diff changeset
901 /bin/sed < ${srcdir}/Makefile.in \
2bee660c3046 * configure: Don't make the top-level Makefile read-only - people
Jim Blandy <jimb@redhat.com>
parents: 1647
diff changeset
902 -e 's|^configname *=.*$|configname='"${configuration}"'|' \
2bee660c3046 * configure: Don't make the top-level Makefile read-only - people
Jim Blandy <jimb@redhat.com>
parents: 1647
diff changeset
903 -e 's|^version *=.*$|version='"${version}"'|' \
2bee660c3046 * configure: Don't make the top-level Makefile read-only - people
Jim Blandy <jimb@redhat.com>
parents: 1647
diff changeset
904 -e 's|^srcdir *=.*$|srcdir='"${srcdir}"'|' \
2bee660c3046 * configure: Don't make the top-level Makefile read-only - people
Jim Blandy <jimb@redhat.com>
parents: 1647
diff changeset
905 -e 's|^CC *=.*$|CC='"${default_cc}"'|' \
2bee660c3046 * configure: Don't make the top-level Makefile read-only - people
Jim Blandy <jimb@redhat.com>
parents: 1647
diff changeset
906 -e 's|^CONFIG_CFLAGS *=.*$|CONFIG_CFLAGS='"${default_cflags}"'|' \
2bee660c3046 * configure: Don't make the top-level Makefile read-only - people
Jim Blandy <jimb@redhat.com>
parents: 1647
diff changeset
907 -e 's|^LOADLIBES *=.*$|LOADLIBES='"${libsrc_libs}"'|' \
2bee660c3046 * configure: Don't make the top-level Makefile read-only - people
Jim Blandy <jimb@redhat.com>
parents: 1647
diff changeset
908 -e '/^# DIST: /d') > Makefile.tmp
2bee660c3046 * configure: Don't make the top-level Makefile read-only - people
Jim Blandy <jimb@redhat.com>
parents: 1647
diff changeset
909 ${srcdir}/move-if-change Makefile.tmp Makefile
603
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
910
1647
bd3afc204773 Now partially conforms with GNU coding standards. I'm only checking
Jim Blandy <jimb@redhat.com>
parents: 1629
diff changeset
911 ### I'm commenting out this section until I bring the `build-install' script
bd3afc204773 Now partially conforms with GNU coding standards. I'm only checking
Jim Blandy <jimb@redhat.com>
parents: 1629
diff changeset
912 ### into line with the rest of the configuration stuff.
bd3afc204773 Now partially conforms with GNU coding standards. I'm only checking
Jim Blandy <jimb@redhat.com>
parents: 1629
diff changeset
913
bd3afc204773 Now partially conforms with GNU coding standards. I'm only checking
Jim Blandy <jimb@redhat.com>
parents: 1629
diff changeset
914 ### # Modify the parameters in the `build-install' script.
bd3afc204773 Now partially conforms with GNU coding standards. I'm only checking
Jim Blandy <jimb@redhat.com>
parents: 1629
diff changeset
915 ### echo "Producing \`./build-install' from \`${srcdir}/build-install.in'."
bd3afc204773 Now partially conforms with GNU coding standards. I'm only checking
Jim Blandy <jimb@redhat.com>
parents: 1629
diff changeset
916 ### rm -f ./build-install.tmp
bd3afc204773 Now partially conforms with GNU coding standards. I'm only checking
Jim Blandy <jimb@redhat.com>
parents: 1629
diff changeset
917 ### (echo "\
bd3afc204773 Now partially conforms with GNU coding standards. I'm only checking
Jim Blandy <jimb@redhat.com>
parents: 1629
diff changeset
918 ### # This file is generated by \`${progname}' from \`${srcdir}/build-install.in'.
bd3afc204773 Now partially conforms with GNU coding standards. I'm only checking
Jim Blandy <jimb@redhat.com>
parents: 1629
diff changeset
919 ### # If you are thinking about editing it, you should seriously consider
bd3afc204773 Now partially conforms with GNU coding standards. I'm only checking
Jim Blandy <jimb@redhat.com>
parents: 1629
diff changeset
920 ### # editing \`./build-install.in' itself, or running \`${progname}' instead."
bd3afc204773 Now partially conforms with GNU coding standards. I'm only checking
Jim Blandy <jimb@redhat.com>
parents: 1629
diff changeset
921 ### /bin/sed < ${srcdir}/build-install.in \
bd3afc204773 Now partially conforms with GNU coding standards. I'm only checking
Jim Blandy <jimb@redhat.com>
parents: 1629
diff changeset
922 ### -e 's;^\(prefix=\).*$;\1'"${prefix};" \
bd3afc204773 Now partially conforms with GNU coding standards. I'm only checking
Jim Blandy <jimb@redhat.com>
parents: 1629
diff changeset
923 ### -e 's;^\(bindir=\).*$;\1'"${bindir};" \
bd3afc204773 Now partially conforms with GNU coding standards. I'm only checking
Jim Blandy <jimb@redhat.com>
parents: 1629
diff changeset
924 ### -e 's;^\(lisppath=\).*$;\1'"${lisppath};" \
bd3afc204773 Now partially conforms with GNU coding standards. I'm only checking
Jim Blandy <jimb@redhat.com>
parents: 1629
diff changeset
925 ### -e 's;^\(datadir=\).*$;\1'"${datadir};" \
bd3afc204773 Now partially conforms with GNU coding standards. I'm only checking
Jim Blandy <jimb@redhat.com>
parents: 1629
diff changeset
926 ### -e 's;^\(lockdir=\).*$;\1'"${lockdir};" \
bd3afc204773 Now partially conforms with GNU coding standards. I'm only checking
Jim Blandy <jimb@redhat.com>
parents: 1629
diff changeset
927 ### -e 's;^\(libdir=\).*$;\1'"${libdir};") > ./build-install.tmp
1687
2bee660c3046 * configure: Don't make the top-level Makefile read-only - people
Jim Blandy <jimb@redhat.com>
parents: 1647
diff changeset
928 ### ${srcdir}/move-if-change build-install.tmp build-install
1647
bd3afc204773 Now partially conforms with GNU coding standards. I'm only checking
Jim Blandy <jimb@redhat.com>
parents: 1629
diff changeset
929 ### # Remind people not to edit this.
bd3afc204773 Now partially conforms with GNU coding standards. I'm only checking
Jim Blandy <jimb@redhat.com>
parents: 1629
diff changeset
930 ### chmod -w build-install
bd3afc204773 Now partially conforms with GNU coding standards. I'm only checking
Jim Blandy <jimb@redhat.com>
parents: 1629
diff changeset
931 ### chmod +x build-install
603
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
932
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
933
1687
2bee660c3046 * configure: Don't make the top-level Makefile read-only - people
Jim Blandy <jimb@redhat.com>
parents: 1647
diff changeset
934 #### Describe the results.
617
cde1f15848c6 *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 605
diff changeset
935
1687
2bee660c3046 * configure: Don't make the top-level Makefile read-only - people
Jim Blandy <jimb@redhat.com>
parents: 1647
diff changeset
936 ### 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
937 message="Configured for \`${configuration}'.
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
938
b57feef74718 * configure: Use GCC-style configuration names, using config.sub.
Jim Blandy <jimb@redhat.com>
parents: 1559
diff changeset
939 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
940 \`${opsysfile}' and \`${machfile}'
1647
bd3afc204773 Now partially conforms with GNU coding standards. I'm only checking
Jim Blandy <jimb@redhat.com>
parents: 1629
diff changeset
941 Should Emacs use the GNU version of malloc? ${GNU_MALLOC}${GNU_MALLOC_reason}
bd3afc204773 Now partially conforms with GNU coding standards. I'm only checking
Jim Blandy <jimb@redhat.com>
parents: 1629
diff changeset
942 Should Emacs use the relocating allocator for buffers? ${REL_ALLOC}
732
a8d94735277e *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 704
diff changeset
943 What window system should Emacs use? ${window_system}
1687
2bee660c3046 * configure: Don't make the top-level Makefile read-only - people
Jim Blandy <jimb@redhat.com>
parents: 1647
diff changeset
944 What compiler should emacs be built with? ${default_cc}
2bee660c3046 * configure: Don't make the top-level Makefile read-only - people
Jim Blandy <jimb@redhat.com>
parents: 1647
diff changeset
945 Should the compilation use \`-g' and/or \`-O'? ${default_cflags- neither}"
605
5f36058e31f9 *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 603
diff changeset
946
1687
2bee660c3046 * configure: Don't make the top-level Makefile read-only - people
Jim Blandy <jimb@redhat.com>
parents: 1647
diff changeset
947 ### Write config.status, documenting the damage we have done.
605
5f36058e31f9 *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 603
diff changeset
948
1687
2bee660c3046 * configure: Don't make the top-level Makefile read-only - people
Jim Blandy <jimb@redhat.com>
parents: 1647
diff changeset
949 (echo "\
2bee660c3046 * configure: Don't make the top-level Makefile read-only - people
Jim Blandy <jimb@redhat.com>
parents: 1647
diff changeset
950 #!/bin/sh
2bee660c3046 * configure: Don't make the top-level Makefile read-only - people
Jim Blandy <jimb@redhat.com>
parents: 1647
diff changeset
951 ### This file is generated by \`${progname}.'
2bee660c3046 * configure: Don't make the top-level Makefile read-only - people
Jim Blandy <jimb@redhat.com>
parents: 1647
diff changeset
952 ### If you are thinking about editing it, you should seriously consider
2bee660c3046 * configure: Don't make the top-level Makefile read-only - people
Jim Blandy <jimb@redhat.com>
parents: 1647
diff changeset
953 ### running \`${progname}' instead.
2bee660c3046 * configure: Don't make the top-level Makefile read-only - people
Jim Blandy <jimb@redhat.com>
parents: 1647
diff changeset
954 "
2bee660c3046 * configure: Don't make the top-level Makefile read-only - people
Jim Blandy <jimb@redhat.com>
parents: 1647
diff changeset
955 echo "${message}" | sed -e 's/^/# /'
2bee660c3046 * configure: Don't make the top-level Makefile read-only - people
Jim Blandy <jimb@redhat.com>
parents: 1647
diff changeset
956 echo "exec '${progname}' ${arguments} "'$@') > config.status
605
5f36058e31f9 *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 603
diff changeset
957
1687
2bee660c3046 * configure: Don't make the top-level Makefile read-only - people
Jim Blandy <jimb@redhat.com>
parents: 1647
diff changeset
958 ### Remind people not to edit this.
617
cde1f15848c6 *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 605
diff changeset
959 chmod -w config.status
605
5f36058e31f9 *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 603
diff changeset
960 chmod +x config.status
5f36058e31f9 *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 603
diff changeset
961
1687
2bee660c3046 * configure: Don't make the top-level Makefile read-only - people
Jim Blandy <jimb@redhat.com>
parents: 1647
diff changeset
962 ### Print the description.
603
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
963 echo
732
a8d94735277e *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 704
diff changeset
964 echo "${message}"
603
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
965
470f556a9453 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
966 exit 0