annotate doc/lispref/configure @ 87066:14174df2455d

Require individual files if needed when compiling, rather than esh-maint. Collect any require statements. Move provide statement to end. Move any commentary to start.
author Glenn Morris <rgm@gnu.org>
date Wed, 05 Dec 2007 07:00:59 +0000
parents dae84f6dfb22
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
84055
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1 #! /bin/sh
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
2
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
3 # Guess values for system-dependent variables and create Makefiles.
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
4 # Generated automatically using autoconf version 2.13
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
5 # Copyright (C) 1992, 1993, 1994, 1995, 1996, 2001, 2002, 2003, 2004,
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
6 # 2005, 2006, 2007 Free Software Foundation, Inc.
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
7 #
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
8 # This configure script is free software; the Free Software Foundation
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
9 # gives unlimited permission to copy, distribute and modify it.
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
10
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
11 # Defaults:
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
12 ac_help=
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
13 ac_default_prefix=/usr/local
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
14 # Any additions from configure.in:
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
15
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
16 # Initialize some variables set by options.
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
17 # The variables have the same names as the options, with
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
18 # dashes changed to underlines.
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
19 build=NONE
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
20 cache_file=./config.cache
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
21 exec_prefix=NONE
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
22 host=NONE
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
23 no_create=
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
24 nonopt=NONE
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
25 no_recursion=
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
26 prefix=NONE
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
27 program_prefix=NONE
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
28 program_suffix=NONE
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
29 program_transform_name=s,x,x,
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
30 silent=
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
31 site=
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
32 srcdir=
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
33 target=NONE
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
34 verbose=
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
35 x_includes=NONE
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
36 x_libraries=NONE
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
37 bindir='${exec_prefix}/bin'
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
38 sbindir='${exec_prefix}/sbin'
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
39 libexecdir='${exec_prefix}/libexec'
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
40 datadir='${prefix}/share'
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
41 sysconfdir='${prefix}/etc'
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
42 sharedstatedir='${prefix}/com'
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
43 localstatedir='${prefix}/var'
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
44 libdir='${exec_prefix}/lib'
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
45 includedir='${prefix}/include'
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
46 oldincludedir='/usr/include'
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
47 infodir='${prefix}/info'
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
48 mandir='${prefix}/man'
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
49
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
50 # Initialize some other variables.
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
51 subdirs=
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
52 MFLAGS= MAKEFLAGS=
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
53 SHELL=${CONFIG_SHELL-/bin/sh}
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
54 # Maximum number of lines to put in a shell here document.
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
55 ac_max_here_lines=12
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
56
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
57 ac_prev=
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
58 for ac_option
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
59 do
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
60
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
61 # If the previous option needs an argument, assign it.
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
62 if test -n "$ac_prev"; then
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
63 eval "$ac_prev=\$ac_option"
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
64 ac_prev=
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
65 continue
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
66 fi
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
67
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
68 case "$ac_option" in
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
69 -*=*) ac_optarg=`echo "$ac_option" | sed 's/[-_a-zA-Z0-9]*=//'` ;;
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
70 *) ac_optarg= ;;
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
71 esac
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
72
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
73 # Accept the important Cygnus configure options, so we can diagnose typos.
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
74
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
75 case "$ac_option" in
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
76
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
77 -bindir | --bindir | --bindi | --bind | --bin | --bi)
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
78 ac_prev=bindir ;;
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
79 -bindir=* | --bindir=* | --bindi=* | --bind=* | --bin=* | --bi=*)
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
80 bindir="$ac_optarg" ;;
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
81
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
82 -build | --build | --buil | --bui | --bu)
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
83 ac_prev=build ;;
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
84 -build=* | --build=* | --buil=* | --bui=* | --bu=*)
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
85 build="$ac_optarg" ;;
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
86
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
87 -cache-file | --cache-file | --cache-fil | --cache-fi \
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
88 | --cache-f | --cache- | --cache | --cach | --cac | --ca | --c)
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
89 ac_prev=cache_file ;;
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
90 -cache-file=* | --cache-file=* | --cache-fil=* | --cache-fi=* \
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
91 | --cache-f=* | --cache-=* | --cache=* | --cach=* | --cac=* | --ca=* | --c=*)
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
92 cache_file="$ac_optarg" ;;
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
93
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
94 -datadir | --datadir | --datadi | --datad | --data | --dat | --da)
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
95 ac_prev=datadir ;;
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
96 -datadir=* | --datadir=* | --datadi=* | --datad=* | --data=* | --dat=* \
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
97 | --da=*)
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
98 datadir="$ac_optarg" ;;
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
99
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
100 -disable-* | --disable-*)
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
101 ac_feature=`echo $ac_option|sed -e 's/-*disable-//'`
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
102 # Reject names that are not valid shell variable names.
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
103 if test -n "`echo $ac_feature| sed 's/[-a-zA-Z0-9_]//g'`"; then
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
104 { echo "configure: error: $ac_feature: invalid feature name" 1>&2; exit 1; }
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
105 fi
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
106 ac_feature=`echo $ac_feature| sed 's/-/_/g'`
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
107 eval "enable_${ac_feature}=no" ;;
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
108
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
109 -enable-* | --enable-*)
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
110 ac_feature=`echo $ac_option|sed -e 's/-*enable-//' -e 's/=.*//'`
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
111 # Reject names that are not valid shell variable names.
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
112 if test -n "`echo $ac_feature| sed 's/[-_a-zA-Z0-9]//g'`"; then
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
113 { echo "configure: error: $ac_feature: invalid feature name" 1>&2; exit 1; }
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
114 fi
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
115 ac_feature=`echo $ac_feature| sed 's/-/_/g'`
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
116 case "$ac_option" in
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
117 *=*) ;;
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
118 *) ac_optarg=yes ;;
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
119 esac
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
120 eval "enable_${ac_feature}='$ac_optarg'" ;;
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
121
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
122 -exec-prefix | --exec_prefix | --exec-prefix | --exec-prefi \
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
123 | --exec-pref | --exec-pre | --exec-pr | --exec-p | --exec- \
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
124 | --exec | --exe | --ex)
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
125 ac_prev=exec_prefix ;;
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
126 -exec-prefix=* | --exec_prefix=* | --exec-prefix=* | --exec-prefi=* \
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
127 | --exec-pref=* | --exec-pre=* | --exec-pr=* | --exec-p=* | --exec-=* \
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
128 | --exec=* | --exe=* | --ex=*)
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
129 exec_prefix="$ac_optarg" ;;
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
130
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
131 -gas | --gas | --ga | --g)
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
132 # Obsolete; use --with-gas.
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
133 with_gas=yes ;;
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
134
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
135 -help | --help | --hel | --he)
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
136 # Omit some internal or obsolete options to make the list less imposing.
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
137 # This message is too long to be a string in the A/UX 3.1 sh.
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
138 cat << EOF
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
139 Usage: configure [options] [host]
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
140 Options: [defaults in brackets after descriptions]
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
141 Configuration:
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
142 --cache-file=FILE cache test results in FILE
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
143 --help print this message
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
144 --no-create do not create output files
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
145 --quiet, --silent do not print \`checking...' messages
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
146 --version print the version of autoconf that created configure
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
147 Directory and file names:
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
148 --prefix=PREFIX install architecture-independent files in PREFIX
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
149 [$ac_default_prefix]
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
150 --exec-prefix=EPREFIX install architecture-dependent files in EPREFIX
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
151 [same as prefix]
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
152 --bindir=DIR user executables in DIR [EPREFIX/bin]
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
153 --sbindir=DIR system admin executables in DIR [EPREFIX/sbin]
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
154 --libexecdir=DIR program executables in DIR [EPREFIX/libexec]
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
155 --datadir=DIR read-only architecture-independent data in DIR
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
156 [PREFIX/share]
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
157 --sysconfdir=DIR read-only single-machine data in DIR [PREFIX/etc]
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
158 --sharedstatedir=DIR modifiable architecture-independent data in DIR
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
159 [PREFIX/com]
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
160 --localstatedir=DIR modifiable single-machine data in DIR [PREFIX/var]
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
161 --libdir=DIR object code libraries in DIR [EPREFIX/lib]
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
162 --includedir=DIR C header files in DIR [PREFIX/include]
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
163 --oldincludedir=DIR C header files for non-gcc in DIR [/usr/include]
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
164 --infodir=DIR info documentation in DIR [PREFIX/info]
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
165 --mandir=DIR man documentation in DIR [PREFIX/man]
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
166 --srcdir=DIR find the sources in DIR [configure dir or ..]
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
167 --program-prefix=PREFIX prepend PREFIX to installed program names
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
168 --program-suffix=SUFFIX append SUFFIX to installed program names
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
169 --program-transform-name=PROGRAM
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
170 run sed PROGRAM on installed program names
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
171 EOF
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
172 cat << EOF
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
173 Host type:
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
174 --build=BUILD configure for building on BUILD [BUILD=HOST]
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
175 --host=HOST configure for HOST [guessed]
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
176 --target=TARGET configure for TARGET [TARGET=HOST]
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
177 Features and packages:
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
178 --disable-FEATURE do not include FEATURE (same as --enable-FEATURE=no)
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
179 --enable-FEATURE[=ARG] include FEATURE [ARG=yes]
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
180 --with-PACKAGE[=ARG] use PACKAGE [ARG=yes]
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
181 --without-PACKAGE do not use PACKAGE (same as --with-PACKAGE=no)
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
182 --x-includes=DIR X include files are in DIR
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
183 --x-libraries=DIR X library files are in DIR
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
184 EOF
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
185 if test -n "$ac_help"; then
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
186 echo "--enable and --with options recognized:$ac_help"
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
187 fi
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
188 exit 0 ;;
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
189
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
190 -host | --host | --hos | --ho)
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
191 ac_prev=host ;;
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
192 -host=* | --host=* | --hos=* | --ho=*)
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
193 host="$ac_optarg" ;;
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
194
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
195 -includedir | --includedir | --includedi | --included | --include \
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
196 | --includ | --inclu | --incl | --inc)
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
197 ac_prev=includedir ;;
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
198 -includedir=* | --includedir=* | --includedi=* | --included=* | --include=* \
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
199 | --includ=* | --inclu=* | --incl=* | --inc=*)
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
200 includedir="$ac_optarg" ;;
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
201
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
202 -infodir | --infodir | --infodi | --infod | --info | --inf)
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
203 ac_prev=infodir ;;
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
204 -infodir=* | --infodir=* | --infodi=* | --infod=* | --info=* | --inf=*)
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
205 infodir="$ac_optarg" ;;
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
206
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
207 -libdir | --libdir | --libdi | --libd)
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
208 ac_prev=libdir ;;
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
209 -libdir=* | --libdir=* | --libdi=* | --libd=*)
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
210 libdir="$ac_optarg" ;;
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
211
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
212 -libexecdir | --libexecdir | --libexecdi | --libexecd | --libexec \
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
213 | --libexe | --libex | --libe)
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
214 ac_prev=libexecdir ;;
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
215 -libexecdir=* | --libexecdir=* | --libexecdi=* | --libexecd=* | --libexec=* \
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
216 | --libexe=* | --libex=* | --libe=*)
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
217 libexecdir="$ac_optarg" ;;
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
218
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
219 -localstatedir | --localstatedir | --localstatedi | --localstated \
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
220 | --localstate | --localstat | --localsta | --localst \
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
221 | --locals | --local | --loca | --loc | --lo)
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
222 ac_prev=localstatedir ;;
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
223 -localstatedir=* | --localstatedir=* | --localstatedi=* | --localstated=* \
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
224 | --localstate=* | --localstat=* | --localsta=* | --localst=* \
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
225 | --locals=* | --local=* | --loca=* | --loc=* | --lo=*)
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
226 localstatedir="$ac_optarg" ;;
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
227
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
228 -mandir | --mandir | --mandi | --mand | --man | --ma | --m)
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
229 ac_prev=mandir ;;
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
230 -mandir=* | --mandir=* | --mandi=* | --mand=* | --man=* | --ma=* | --m=*)
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
231 mandir="$ac_optarg" ;;
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
232
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
233 -nfp | --nfp | --nf)
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
234 # Obsolete; use --without-fp.
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
235 with_fp=no ;;
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
236
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
237 -no-create | --no-create | --no-creat | --no-crea | --no-cre \
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
238 | --no-cr | --no-c)
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
239 no_create=yes ;;
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
240
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
241 -no-recursion | --no-recursion | --no-recursio | --no-recursi \
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
242 | --no-recurs | --no-recur | --no-recu | --no-rec | --no-re | --no-r)
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
243 no_recursion=yes ;;
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
244
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
245 -oldincludedir | --oldincludedir | --oldincludedi | --oldincluded \
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
246 | --oldinclude | --oldinclud | --oldinclu | --oldincl | --oldinc \
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
247 | --oldin | --oldi | --old | --ol | --o)
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
248 ac_prev=oldincludedir ;;
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
249 -oldincludedir=* | --oldincludedir=* | --oldincludedi=* | --oldincluded=* \
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
250 | --oldinclude=* | --oldinclud=* | --oldinclu=* | --oldincl=* | --oldinc=* \
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
251 | --oldin=* | --oldi=* | --old=* | --ol=* | --o=*)
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
252 oldincludedir="$ac_optarg" ;;
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
253
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
254 -prefix | --prefix | --prefi | --pref | --pre | --pr | --p)
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
255 ac_prev=prefix ;;
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
256 -prefix=* | --prefix=* | --prefi=* | --pref=* | --pre=* | --pr=* | --p=*)
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
257 prefix="$ac_optarg" ;;
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
258
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
259 -program-prefix | --program-prefix | --program-prefi | --program-pref \
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
260 | --program-pre | --program-pr | --program-p)
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
261 ac_prev=program_prefix ;;
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
262 -program-prefix=* | --program-prefix=* | --program-prefi=* \
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
263 | --program-pref=* | --program-pre=* | --program-pr=* | --program-p=*)
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
264 program_prefix="$ac_optarg" ;;
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
265
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
266 -program-suffix | --program-suffix | --program-suffi | --program-suff \
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
267 | --program-suf | --program-su | --program-s)
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
268 ac_prev=program_suffix ;;
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
269 -program-suffix=* | --program-suffix=* | --program-suffi=* \
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
270 | --program-suff=* | --program-suf=* | --program-su=* | --program-s=*)
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
271 program_suffix="$ac_optarg" ;;
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
272
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
273 -program-transform-name | --program-transform-name \
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
274 | --program-transform-nam | --program-transform-na \
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
275 | --program-transform-n | --program-transform- \
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
276 | --program-transform | --program-transfor \
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
277 | --program-transfo | --program-transf \
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
278 | --program-trans | --program-tran \
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
279 | --progr-tra | --program-tr | --program-t)
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
280 ac_prev=program_transform_name ;;
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
281 -program-transform-name=* | --program-transform-name=* \
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
282 | --program-transform-nam=* | --program-transform-na=* \
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
283 | --program-transform-n=* | --program-transform-=* \
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
284 | --program-transform=* | --program-transfor=* \
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
285 | --program-transfo=* | --program-transf=* \
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
286 | --program-trans=* | --program-tran=* \
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
287 | --progr-tra=* | --program-tr=* | --program-t=*)
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
288 program_transform_name="$ac_optarg" ;;
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
289
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
290 -q | -quiet | --quiet | --quie | --qui | --qu | --q \
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
291 | -silent | --silent | --silen | --sile | --sil)
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
292 silent=yes ;;
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
293
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
294 -sbindir | --sbindir | --sbindi | --sbind | --sbin | --sbi | --sb)
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
295 ac_prev=sbindir ;;
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
296 -sbindir=* | --sbindir=* | --sbindi=* | --sbind=* | --sbin=* \
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
297 | --sbi=* | --sb=*)
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
298 sbindir="$ac_optarg" ;;
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
299
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
300 -sharedstatedir | --sharedstatedir | --sharedstatedi \
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
301 | --sharedstated | --sharedstate | --sharedstat | --sharedsta \
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
302 | --sharedst | --shareds | --shared | --share | --shar \
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
303 | --sha | --sh)
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
304 ac_prev=sharedstatedir ;;
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
305 -sharedstatedir=* | --sharedstatedir=* | --sharedstatedi=* \
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
306 | --sharedstated=* | --sharedstate=* | --sharedstat=* | --sharedsta=* \
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
307 | --sharedst=* | --shareds=* | --shared=* | --share=* | --shar=* \
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
308 | --sha=* | --sh=*)
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
309 sharedstatedir="$ac_optarg" ;;
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
310
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
311 -site | --site | --sit)
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
312 ac_prev=site ;;
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
313 -site=* | --site=* | --sit=*)
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
314 site="$ac_optarg" ;;
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
315
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
316 -srcdir | --srcdir | --srcdi | --srcd | --src | --sr)
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
317 ac_prev=srcdir ;;
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
318 -srcdir=* | --srcdir=* | --srcdi=* | --srcd=* | --src=* | --sr=*)
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
319 srcdir="$ac_optarg" ;;
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
320
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
321 -sysconfdir | --sysconfdir | --sysconfdi | --sysconfd | --sysconf \
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
322 | --syscon | --sysco | --sysc | --sys | --sy)
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
323 ac_prev=sysconfdir ;;
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
324 -sysconfdir=* | --sysconfdir=* | --sysconfdi=* | --sysconfd=* | --sysconf=* \
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
325 | --syscon=* | --sysco=* | --sysc=* | --sys=* | --sy=*)
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
326 sysconfdir="$ac_optarg" ;;
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
327
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
328 -target | --target | --targe | --targ | --tar | --ta | --t)
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
329 ac_prev=target ;;
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
330 -target=* | --target=* | --targe=* | --targ=* | --tar=* | --ta=* | --t=*)
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
331 target="$ac_optarg" ;;
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
332
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
333 -v | -verbose | --verbose | --verbos | --verbo | --verb)
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
334 verbose=yes ;;
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
335
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
336 -version | --version | --versio | --versi | --vers)
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
337 echo "configure generated by autoconf version 2.13"
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
338 exit 0 ;;
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
339
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
340 -with-* | --with-*)
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
341 ac_package=`echo $ac_option|sed -e 's/-*with-//' -e 's/=.*//'`
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
342 # Reject names that are not valid shell variable names.
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
343 if test -n "`echo $ac_package| sed 's/[-_a-zA-Z0-9]//g'`"; then
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
344 { echo "configure: error: $ac_package: invalid package name" 1>&2; exit 1; }
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
345 fi
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
346 ac_package=`echo $ac_package| sed 's/-/_/g'`
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
347 case "$ac_option" in
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
348 *=*) ;;
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
349 *) ac_optarg=yes ;;
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
350 esac
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
351 eval "with_${ac_package}='$ac_optarg'" ;;
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
352
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
353 -without-* | --without-*)
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
354 ac_package=`echo $ac_option|sed -e 's/-*without-//'`
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
355 # Reject names that are not valid shell variable names.
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
356 if test -n "`echo $ac_package| sed 's/[-a-zA-Z0-9_]//g'`"; then
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
357 { echo "configure: error: $ac_package: invalid package name" 1>&2; exit 1; }
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
358 fi
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
359 ac_package=`echo $ac_package| sed 's/-/_/g'`
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
360 eval "with_${ac_package}=no" ;;
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
361
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
362 --x)
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
363 # Obsolete; use --with-x.
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
364 with_x=yes ;;
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
365
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
366 -x-includes | --x-includes | --x-include | --x-includ | --x-inclu \
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
367 | --x-incl | --x-inc | --x-in | --x-i)
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
368 ac_prev=x_includes ;;
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
369 -x-includes=* | --x-includes=* | --x-include=* | --x-includ=* | --x-inclu=* \
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
370 | --x-incl=* | --x-inc=* | --x-in=* | --x-i=*)
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
371 x_includes="$ac_optarg" ;;
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
372
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
373 -x-libraries | --x-libraries | --x-librarie | --x-librari \
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
374 | --x-librar | --x-libra | --x-libr | --x-lib | --x-li | --x-l)
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
375 ac_prev=x_libraries ;;
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
376 -x-libraries=* | --x-libraries=* | --x-librarie=* | --x-librari=* \
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
377 | --x-librar=* | --x-libra=* | --x-libr=* | --x-lib=* | --x-li=* | --x-l=*)
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
378 x_libraries="$ac_optarg" ;;
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
379
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
380 -*) { echo "configure: error: $ac_option: invalid option; use --help to show usage" 1>&2; exit 1; }
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
381 ;;
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
382
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
383 *)
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
384 if test -n "`echo $ac_option| sed 's/[-a-z0-9.]//g'`"; then
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
385 echo "configure: warning: $ac_option: invalid host type" 1>&2
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
386 fi
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
387 if test "x$nonopt" != xNONE; then
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
388 { echo "configure: error: can only configure for one host and one target at a time" 1>&2; exit 1; }
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
389 fi
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
390 nonopt="$ac_option"
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
391 ;;
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
392
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
393 esac
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
394 done
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
395
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
396 if test -n "$ac_prev"; then
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
397 { echo "configure: error: missing argument to --`echo $ac_prev | sed 's/_/-/g'`" 1>&2; exit 1; }
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
398 fi
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
399
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
400 trap 'rm -fr conftest* confdefs* core core.* *.core $ac_clean_files; exit 1' 1 2 15
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
401
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
402 # File descriptor usage:
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
403 # 0 standard input
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
404 # 1 file creation
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
405 # 2 errors and warnings
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
406 # 3 some systems may open it to /dev/tty
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
407 # 4 used on the Kubota Titan
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
408 # 6 checking for... messages and results
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
409 # 5 compiler messages saved in config.log
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
410 if test "$silent" = yes; then
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
411 exec 6>/dev/null
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
412 else
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
413 exec 6>&1
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
414 fi
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
415 exec 5>./config.log
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
416
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
417 echo "\
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
418 This file contains any messages produced by compilers while
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
419 running configure, to aid debugging if configure makes a mistake.
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
420 " 1>&5
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
421
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
422 # Strip out --no-create and --no-recursion so they do not pile up.
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
423 # Also quote any args containing shell metacharacters.
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
424 ac_configure_args=
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
425 for ac_arg
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
426 do
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
427 case "$ac_arg" in
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
428 -no-create | --no-create | --no-creat | --no-crea | --no-cre \
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
429 | --no-cr | --no-c) ;;
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
430 -no-recursion | --no-recursion | --no-recursio | --no-recursi \
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
431 | --no-recurs | --no-recur | --no-recu | --no-rec | --no-re | --no-r) ;;
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
432 *" "*|*" "*|*[\[\]\~\#\$\^\&\*\(\)\{\}\\\|\;\<\>\?]*)
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
433 ac_configure_args="$ac_configure_args '$ac_arg'" ;;
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
434 *) ac_configure_args="$ac_configure_args $ac_arg" ;;
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
435 esac
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
436 done
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
437
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
438 # NLS nuisances.
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
439 # Only set these to C if already set. These must not be set unconditionally
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
440 # because not all systems understand e.g. LANG=C (notably SCO).
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
441 # Fixing LC_MESSAGES prevents Solaris sh from translating var values in `set'!
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
442 # Non-C LC_CTYPE values break the ctype check.
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
443 if test "${LANG+set}" = set; then LANG=C; export LANG; fi
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
444 if test "${LC_ALL+set}" = set; then LC_ALL=C; export LC_ALL; fi
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
445 if test "${LC_MESSAGES+set}" = set; then LC_MESSAGES=C; export LC_MESSAGES; fi
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
446 if test "${LC_CTYPE+set}" = set; then LC_CTYPE=C; export LC_CTYPE; fi
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
447
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
448 # confdefs.h avoids OS command line length limits that DEFS can exceed.
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
449 rm -rf conftest* confdefs.h
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
450 # AIX cpp loses on an empty file, so make sure it contains at least a newline.
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
451 echo > confdefs.h
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
452
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
453 # A filename unique to this package, relative to the directory that
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
454 # configure is in, which we can look for to find out if srcdir is correct.
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
455 ac_unique_file=elisp.texi
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
456
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
457 # Find the source files, if location was not specified.
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
458 if test -z "$srcdir"; then
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
459 ac_srcdir_defaulted=yes
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
460 # Try the directory containing this script, then its parent.
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
461 ac_prog=$0
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
462 ac_confdir=`echo $ac_prog|sed 's%/[^/][^/]*$%%'`
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
463 test "x$ac_confdir" = "x$ac_prog" && ac_confdir=.
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
464 srcdir=$ac_confdir
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
465 if test ! -r $srcdir/$ac_unique_file; then
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
466 srcdir=..
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
467 fi
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
468 else
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
469 ac_srcdir_defaulted=no
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
470 fi
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
471 if test ! -r $srcdir/$ac_unique_file; then
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
472 if test "$ac_srcdir_defaulted" = yes; then
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
473 { echo "configure: error: can not find sources in $ac_confdir or .." 1>&2; exit 1; }
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
474 else
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
475 { echo "configure: error: can not find sources in $srcdir" 1>&2; exit 1; }
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
476 fi
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
477 fi
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
478 srcdir=`echo "${srcdir}" | sed 's%\([^/]\)/*$%\1%'`
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
479
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
480 # Prefer explicitly selected file to automatically selected ones.
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
481 if test -z "$CONFIG_SITE"; then
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
482 if test "x$prefix" != xNONE; then
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
483 CONFIG_SITE="$prefix/share/config.site $prefix/etc/config.site"
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
484 else
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
485 CONFIG_SITE="$ac_default_prefix/share/config.site $ac_default_prefix/etc/config.site"
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
486 fi
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
487 fi
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
488 for ac_site_file in $CONFIG_SITE; do
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
489 if test -r "$ac_site_file"; then
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
490 echo "loading site script $ac_site_file"
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
491 . "$ac_site_file"
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
492 fi
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
493 done
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
494
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
495 if test -r "$cache_file"; then
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
496 echo "loading cache $cache_file"
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
497 . $cache_file
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
498 else
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
499 echo "creating cache $cache_file"
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
500 > $cache_file
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
501 fi
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
502
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
503 ac_ext=c
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
504 # CFLAGS is not in ac_cpp because -g, -O, etc. are not valid cpp options.
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
505 ac_cpp='$CPP $CPPFLAGS'
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
506 ac_compile='${CC-cc} -c $CFLAGS $CPPFLAGS conftest.$ac_ext 1>&5'
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
507 ac_link='${CC-cc} -o conftest${ac_exeext} $CFLAGS $CPPFLAGS $LDFLAGS conftest.$ac_ext $LIBS 1>&5'
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
508 cross_compiling=$ac_cv_prog_cc_cross
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
509
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
510 ac_exeext=
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
511 ac_objext=o
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
512 if (echo "testing\c"; echo 1,2,3) | grep c >/dev/null; then
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
513 # Stardent Vistra SVR4 grep lacks -e, says ghazi@caip.rutgers.edu.
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
514 if (echo -n testing; echo 1,2,3) | sed s/-n/xn/ | grep xn >/dev/null; then
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
515 ac_n= ac_c='
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
516 ' ac_t=' '
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
517 else
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
518 ac_n=-n ac_c= ac_t=
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
519 fi
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
520 else
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
521 ac_n= ac_c='\c' ac_t=
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
522 fi
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
523
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
524
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
525 trap '' 1 2 15
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
526 cat > confcache <<\EOF
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
527 # This file is a shell script that caches the results of configure
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
528 # tests run on this system so they can be shared between configure
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
529 # scripts and configure runs. It is not useful on other systems.
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
530 # If it contains results you don't want to keep, you may remove or edit it.
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
531 #
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
532 # By default, configure uses ./config.cache as the cache file,
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
533 # creating it if it does not exist already. You can give configure
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
534 # the --cache-file=FILE option to use a different cache file; that is
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
535 # what configure does when it calls configure scripts in
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
536 # subdirectories, so they share the cache.
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
537 # Giving --cache-file=/dev/null disables caching, for debugging configure.
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
538 # config.status only pays attention to the cache file if you give it the
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
539 # --recheck option to rerun configure.
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
540 #
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
541 EOF
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
542 # The following way of writing the cache mishandles newlines in values,
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
543 # but we know of no workaround that is simple, portable, and efficient.
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
544 # So, don't put newlines in cache variables' values.
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
545 # Ultrix sh set writes to stderr and can't be redirected directly,
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
546 # and sets the high bit in the cache file unless we assign to the vars.
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
547 (set) 2>&1 |
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
548 case `(ac_space=' '; set | grep ac_space) 2>&1` in
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
549 *ac_space=\ *)
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
550 # `set' does not quote correctly, so add quotes (double-quote substitution
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
551 # turns \\\\ into \\, and sed turns \\ into \).
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
552 sed -n \
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
553 -e "s/'/'\\\\''/g" \
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
554 -e "s/^\\([a-zA-Z0-9_]*_cv_[a-zA-Z0-9_]*\\)=\\(.*\\)/\\1=\${\\1='\\2'}/p"
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
555 ;;
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
556 *)
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
557 # `set' quotes correctly as required by POSIX, so do not add quotes.
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
558 sed -n -e 's/^\([a-zA-Z0-9_]*_cv_[a-zA-Z0-9_]*\)=\(.*\)/\1=${\1=\2}/p'
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
559 ;;
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
560 esac >> confcache
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
561 if cmp -s $cache_file confcache; then
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
562 :
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
563 else
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
564 if test -w $cache_file; then
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
565 echo "updating cache $cache_file"
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
566 cat confcache > $cache_file
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
567 else
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
568 echo "not updating unwritable cache $cache_file"
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
569 fi
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
570 fi
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
571 rm -f confcache
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
572
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
573 trap 'rm -fr conftest* confdefs* core core.* *.core $ac_clean_files; exit 1' 1 2 15
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
574
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
575 test "x$prefix" = xNONE && prefix=$ac_default_prefix
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
576 # Let make expand exec_prefix.
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
577 test "x$exec_prefix" = xNONE && exec_prefix='${prefix}'
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
578
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
579 # Any assignment to VPATH causes Sun make to only execute
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
580 # the first set of double-colon rules, so remove it if not needed.
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
581 # If there is a colon in the path, we need to keep it.
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
582 if test "x$srcdir" = x.; then
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
583 ac_vpsub='/^[ ]*VPATH[ ]*=[^:]*$/d'
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
584 fi
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
585
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
586 trap 'rm -f $CONFIG_STATUS conftest*; exit 1' 1 2 15
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
587
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
588 # Transform confdefs.h into DEFS.
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
589 # Protect against shell expansion while executing Makefile rules.
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
590 # Protect against Makefile macro expansion.
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
591 cat > conftest.defs <<\EOF
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
592 s%#define \([A-Za-z_][A-Za-z0-9_]*\) *\(.*\)%-D\1=\2%g
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
593 s%[ `~#$^&*(){}\\|;'"<>?]%\\&%g
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
594 s%\[%\\&%g
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
595 s%\]%\\&%g
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
596 s%\$%$$%g
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
597 EOF
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
598 DEFS=`sed -f conftest.defs confdefs.h | tr '\012' ' '`
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
599 rm -f conftest.defs
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
600
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
601
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
602 # Without the "./", some shells look in PATH for config.status.
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
603 : ${CONFIG_STATUS=./config.status}
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
604
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
605 echo creating $CONFIG_STATUS
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
606 rm -f $CONFIG_STATUS
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
607 cat > $CONFIG_STATUS <<EOF
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
608 #! /bin/sh
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
609 # Generated automatically by configure.
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
610 # Run this file to recreate the current configuration.
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
611 # This directory was configured as follows,
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
612 # on host `(hostname || uname -n) 2>/dev/null | sed 1q`:
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
613 #
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
614 # $0 $ac_configure_args
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
615 #
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
616 # Compiler output produced by configure, useful for debugging
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
617 # configure, is in ./config.log if it exists.
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
618
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
619 ac_cs_usage="Usage: $CONFIG_STATUS [--recheck] [--version] [--help]"
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
620 for ac_option
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
621 do
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
622 case "\$ac_option" in
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
623 -recheck | --recheck | --rechec | --reche | --rech | --rec | --re | --r)
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
624 echo "running \${CONFIG_SHELL-/bin/sh} $0 $ac_configure_args --no-create --no-recursion"
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
625 exec \${CONFIG_SHELL-/bin/sh} $0 $ac_configure_args --no-create --no-recursion ;;
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
626 -version | --version | --versio | --versi | --vers | --ver | --ve | --v)
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
627 echo "$CONFIG_STATUS generated by autoconf version 2.13"
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
628 exit 0 ;;
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
629 -help | --help | --hel | --he | --h)
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
630 echo "\$ac_cs_usage"; exit 0 ;;
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
631 *) echo "\$ac_cs_usage"; exit 1 ;;
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
632 esac
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
633 done
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
634
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
635 ac_given_srcdir=$srcdir
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
636
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
637 trap 'rm -fr `echo "Makefile" | sed "s/:[^ ]*//g"` conftest*; exit 1' 1 2 15
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
638 EOF
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
639 cat >> $CONFIG_STATUS <<EOF
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
640
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
641 # Protect against being on the right side of a sed subst in config.status.
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
642 sed 's/%@/@@/; s/@%/@@/; s/%g\$/@g/; /@g\$/s/[\\\\&%]/\\\\&/g;
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
643 s/@@/%@/; s/@@/@%/; s/@g\$/%g/' > conftest.subs <<\\CEOF
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
644 $ac_vpsub
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
645 $extrasub
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
646 s%@SHELL@%$SHELL%g
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
647 s%@CFLAGS@%$CFLAGS%g
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
648 s%@CPPFLAGS@%$CPPFLAGS%g
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
649 s%@CXXFLAGS@%$CXXFLAGS%g
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
650 s%@FFLAGS@%$FFLAGS%g
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
651 s%@DEFS@%$DEFS%g
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
652 s%@LDFLAGS@%$LDFLAGS%g
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
653 s%@LIBS@%$LIBS%g
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
654 s%@exec_prefix@%$exec_prefix%g
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
655 s%@prefix@%$prefix%g
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
656 s%@program_transform_name@%$program_transform_name%g
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
657 s%@bindir@%$bindir%g
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
658 s%@sbindir@%$sbindir%g
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
659 s%@libexecdir@%$libexecdir%g
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
660 s%@datadir@%$datadir%g
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
661 s%@sysconfdir@%$sysconfdir%g
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
662 s%@sharedstatedir@%$sharedstatedir%g
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
663 s%@localstatedir@%$localstatedir%g
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
664 s%@libdir@%$libdir%g
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
665 s%@includedir@%$includedir%g
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
666 s%@oldincludedir@%$oldincludedir%g
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
667 s%@infodir@%$infodir%g
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
668 s%@mandir@%$mandir%g
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
669
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
670 CEOF
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
671 EOF
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
672
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
673 cat >> $CONFIG_STATUS <<\EOF
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
674
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
675 # Split the substitutions into bite-sized pieces for seds with
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
676 # small command number limits, like on Digital OSF/1 and HP-UX.
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
677 ac_max_sed_cmds=90 # Maximum number of lines to put in a sed script.
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
678 ac_file=1 # Number of current file.
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
679 ac_beg=1 # First line for current file.
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
680 ac_end=$ac_max_sed_cmds # Line after last line for current file.
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
681 ac_more_lines=:
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
682 ac_sed_cmds=""
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
683 while $ac_more_lines; do
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
684 if test $ac_beg -gt 1; then
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
685 sed "1,${ac_beg}d; ${ac_end}q" conftest.subs > conftest.s$ac_file
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
686 else
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
687 sed "${ac_end}q" conftest.subs > conftest.s$ac_file
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
688 fi
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
689 if test ! -s conftest.s$ac_file; then
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
690 ac_more_lines=false
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
691 rm -f conftest.s$ac_file
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
692 else
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
693 if test -z "$ac_sed_cmds"; then
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
694 ac_sed_cmds="sed -f conftest.s$ac_file"
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
695 else
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
696 ac_sed_cmds="$ac_sed_cmds | sed -f conftest.s$ac_file"
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
697 fi
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
698 ac_file=`expr $ac_file + 1`
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
699 ac_beg=$ac_end
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
700 ac_end=`expr $ac_end + $ac_max_sed_cmds`
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
701 fi
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
702 done
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
703 if test -z "$ac_sed_cmds"; then
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
704 ac_sed_cmds=cat
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
705 fi
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
706 EOF
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
707
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
708 cat >> $CONFIG_STATUS <<EOF
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
709
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
710 CONFIG_FILES=\${CONFIG_FILES-"Makefile"}
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
711 EOF
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
712 cat >> $CONFIG_STATUS <<\EOF
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
713 for ac_file in .. $CONFIG_FILES; do if test "x$ac_file" != x..; then
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
714 # Support "outfile[:infile[:infile...]]", defaulting infile="outfile.in".
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
715 case "$ac_file" in
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
716 *:*) ac_file_in=`echo "$ac_file"|sed 's%[^:]*:%%'`
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
717 ac_file=`echo "$ac_file"|sed 's%:.*%%'` ;;
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
718 *) ac_file_in="${ac_file}.in" ;;
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
719 esac
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
720
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
721 # Adjust a relative srcdir, top_srcdir, and INSTALL for subdirectories.
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
722
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
723 # Remove last slash and all that follows it. Not all systems have dirname.
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
724 ac_dir=`echo $ac_file|sed 's%/[^/][^/]*$%%'`
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
725 if test "$ac_dir" != "$ac_file" && test "$ac_dir" != .; then
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
726 # The file is in a subdirectory.
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
727 test ! -d "$ac_dir" && mkdir "$ac_dir"
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
728 ac_dir_suffix="/`echo $ac_dir|sed 's%^\./%%'`"
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
729 # A "../" for each directory in $ac_dir_suffix.
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
730 ac_dots=`echo $ac_dir_suffix|sed 's%/[^/]*%../%g'`
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
731 else
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
732 ac_dir_suffix= ac_dots=
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
733 fi
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
734
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
735 case "$ac_given_srcdir" in
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
736 .) srcdir=.
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
737 if test -z "$ac_dots"; then top_srcdir=.
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
738 else top_srcdir=`echo $ac_dots|sed 's%/$%%'`; fi ;;
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
739 /*) srcdir="$ac_given_srcdir$ac_dir_suffix"; top_srcdir="$ac_given_srcdir" ;;
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
740 *) # Relative path.
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
741 srcdir="$ac_dots$ac_given_srcdir$ac_dir_suffix"
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
742 top_srcdir="$ac_dots$ac_given_srcdir" ;;
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
743 esac
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
744
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
745
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
746 echo creating "$ac_file"
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
747 rm -f "$ac_file"
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
748 configure_input="Generated automatically from `echo $ac_file_in|sed 's%.*/%%'` by configure."
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
749 case "$ac_file" in
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
750 *Makefile*) ac_comsub="1i\\
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
751 # $configure_input" ;;
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
752 *) ac_comsub= ;;
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
753 esac
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
754
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
755 ac_file_inputs=`echo $ac_file_in|sed -e "s%^%$ac_given_srcdir/%" -e "s%:% $ac_given_srcdir/%g"`
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
756 sed -e "$ac_comsub
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
757 s%@configure_input@%$configure_input%g
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
758 s%@srcdir@%$srcdir%g
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
759 s%@top_srcdir@%$top_srcdir%g
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
760 " $ac_file_inputs | (eval "$ac_sed_cmds") > $ac_file
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
761 fi; done
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
762 rm -f conftest.s*
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
763
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
764 EOF
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
765 cat >> $CONFIG_STATUS <<EOF
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
766
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
767 EOF
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
768 cat >> $CONFIG_STATUS <<\EOF
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
769
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
770 exit 0
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
771 EOF
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
772 chmod +x $CONFIG_STATUS
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
773 rm -fr confdefs* $ac_clean_files
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
774 test "$no_create" = yes || ${CONFIG_SHELL-/bin/sh} $CONFIG_STATUS || exit 1
dae84f6dfb22 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
775