annotate lispintro/configure @ 41469:f091948e4d1c

Completely re-written.
author Richard M. Stallman <rms@gnu.org>
date Sun, 25 Nov 2001 02:40:11 +0000
parents a8ee89e61d20
children 23a1cea22d13
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
41418
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
1 #! /bin/sh
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
2
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
3 # Guess values for system-dependent variables and create Makefiles.
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
4 # Generated automatically using autoconf version 2.13
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
5 # Copyright (C) 1992, 93, 94, 95, 96 Free Software Foundation, Inc.
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
6 #
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
7 # This configure script is free software; the Free Software Foundation
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
8 # gives unlimited permission to copy, distribute and modify it.
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
9
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
10 # Defaults:
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
11 ac_help=
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
12 ac_default_prefix=/usr/local
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
13 # Any additions from configure.in:
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
14
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
15 # Initialize some variables set by options.
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
16 # The variables have the same names as the options, with
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
17 # dashes changed to underlines.
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
18 build=NONE
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
19 cache_file=./config.cache
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
20 exec_prefix=NONE
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
21 host=NONE
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
22 no_create=
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
23 nonopt=NONE
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
24 no_recursion=
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
25 prefix=NONE
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
26 program_prefix=NONE
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
27 program_suffix=NONE
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
28 program_transform_name=s,x,x,
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
29 silent=
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
30 site=
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
31 srcdir=
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
32 target=NONE
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
33 verbose=
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
34 x_includes=NONE
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
35 x_libraries=NONE
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
36 bindir='${exec_prefix}/bin'
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
37 sbindir='${exec_prefix}/sbin'
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
38 libexecdir='${exec_prefix}/libexec'
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
39 datadir='${prefix}/share'
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
40 sysconfdir='${prefix}/etc'
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
41 sharedstatedir='${prefix}/com'
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
42 localstatedir='${prefix}/var'
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
43 libdir='${exec_prefix}/lib'
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
44 includedir='${prefix}/include'
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
45 oldincludedir='/usr/include'
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
46 infodir='${prefix}/info'
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
47 mandir='${prefix}/man'
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
48
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
49 # Initialize some other variables.
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
50 subdirs=
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
51 MFLAGS= MAKEFLAGS=
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
52 SHELL=${CONFIG_SHELL-/bin/sh}
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
53 # Maximum number of lines to put in a shell here document.
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
54 ac_max_here_lines=12
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
55
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
56 ac_prev=
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
57 for ac_option
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
58 do
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
59
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
60 # If the previous option needs an argument, assign it.
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
61 if test -n "$ac_prev"; then
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
62 eval "$ac_prev=\$ac_option"
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
63 ac_prev=
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
64 continue
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
65 fi
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
66
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
67 case "$ac_option" in
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
68 -*=*) ac_optarg=`echo "$ac_option" | sed 's/[-_a-zA-Z0-9]*=//'` ;;
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
69 *) ac_optarg= ;;
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
70 esac
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
71
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
72 # Accept the important Cygnus configure options, so we can diagnose typos.
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
73
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
74 case "$ac_option" in
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
75
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
76 -bindir | --bindir | --bindi | --bind | --bin | --bi)
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
77 ac_prev=bindir ;;
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
78 -bindir=* | --bindir=* | --bindi=* | --bind=* | --bin=* | --bi=*)
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
79 bindir="$ac_optarg" ;;
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
80
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
81 -build | --build | --buil | --bui | --bu)
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
82 ac_prev=build ;;
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
83 -build=* | --build=* | --buil=* | --bui=* | --bu=*)
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
84 build="$ac_optarg" ;;
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
85
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
86 -cache-file | --cache-file | --cache-fil | --cache-fi \
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
87 | --cache-f | --cache- | --cache | --cach | --cac | --ca | --c)
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
88 ac_prev=cache_file ;;
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
89 -cache-file=* | --cache-file=* | --cache-fil=* | --cache-fi=* \
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
90 | --cache-f=* | --cache-=* | --cache=* | --cach=* | --cac=* | --ca=* | --c=*)
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
91 cache_file="$ac_optarg" ;;
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
92
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
93 -datadir | --datadir | --datadi | --datad | --data | --dat | --da)
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
94 ac_prev=datadir ;;
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
95 -datadir=* | --datadir=* | --datadi=* | --datad=* | --data=* | --dat=* \
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
96 | --da=*)
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
97 datadir="$ac_optarg" ;;
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
98
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
99 -disable-* | --disable-*)
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
100 ac_feature=`echo $ac_option|sed -e 's/-*disable-//'`
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
101 # Reject names that are not valid shell variable names.
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
102 if test -n "`echo $ac_feature| sed 's/[-a-zA-Z0-9_]//g'`"; then
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
103 { echo "configure: error: $ac_feature: invalid feature name" 1>&2; exit 1; }
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
104 fi
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
105 ac_feature=`echo $ac_feature| sed 's/-/_/g'`
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
106 eval "enable_${ac_feature}=no" ;;
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
107
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
108 -enable-* | --enable-*)
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
109 ac_feature=`echo $ac_option|sed -e 's/-*enable-//' -e 's/=.*//'`
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
110 # Reject names that are not valid shell variable names.
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
111 if test -n "`echo $ac_feature| sed 's/[-_a-zA-Z0-9]//g'`"; then
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
112 { echo "configure: error: $ac_feature: invalid feature name" 1>&2; exit 1; }
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
113 fi
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
114 ac_feature=`echo $ac_feature| sed 's/-/_/g'`
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
115 case "$ac_option" in
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
116 *=*) ;;
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
117 *) ac_optarg=yes ;;
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
118 esac
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
119 eval "enable_${ac_feature}='$ac_optarg'" ;;
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
120
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
121 -exec-prefix | --exec_prefix | --exec-prefix | --exec-prefi \
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
122 | --exec-pref | --exec-pre | --exec-pr | --exec-p | --exec- \
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
123 | --exec | --exe | --ex)
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
124 ac_prev=exec_prefix ;;
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
125 -exec-prefix=* | --exec_prefix=* | --exec-prefix=* | --exec-prefi=* \
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
126 | --exec-pref=* | --exec-pre=* | --exec-pr=* | --exec-p=* | --exec-=* \
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
127 | --exec=* | --exe=* | --ex=*)
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
128 exec_prefix="$ac_optarg" ;;
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
129
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
130 -gas | --gas | --ga | --g)
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
131 # Obsolete; use --with-gas.
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
132 with_gas=yes ;;
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
133
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
134 -help | --help | --hel | --he)
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
135 # Omit some internal or obsolete options to make the list less imposing.
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
136 # This message is too long to be a string in the A/UX 3.1 sh.
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
137 cat << EOF
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
138 Usage: configure [options] [host]
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
139 Options: [defaults in brackets after descriptions]
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
140 Configuration:
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
141 --cache-file=FILE cache test results in FILE
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
142 --help print this message
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
143 --no-create do not create output files
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
144 --quiet, --silent do not print \`checking...' messages
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
145 --version print the version of autoconf that created configure
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
146 Directory and file names:
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
147 --prefix=PREFIX install architecture-independent files in PREFIX
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
148 [$ac_default_prefix]
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
149 --exec-prefix=EPREFIX install architecture-dependent files in EPREFIX
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
150 [same as prefix]
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
151 --bindir=DIR user executables in DIR [EPREFIX/bin]
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
152 --sbindir=DIR system admin executables in DIR [EPREFIX/sbin]
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
153 --libexecdir=DIR program executables in DIR [EPREFIX/libexec]
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
154 --datadir=DIR read-only architecture-independent data in DIR
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
155 [PREFIX/share]
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
156 --sysconfdir=DIR read-only single-machine data in DIR [PREFIX/etc]
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
157 --sharedstatedir=DIR modifiable architecture-independent data in DIR
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
158 [PREFIX/com]
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
159 --localstatedir=DIR modifiable single-machine data in DIR [PREFIX/var]
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
160 --libdir=DIR object code libraries in DIR [EPREFIX/lib]
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
161 --includedir=DIR C header files in DIR [PREFIX/include]
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
162 --oldincludedir=DIR C header files for non-gcc in DIR [/usr/include]
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
163 --infodir=DIR info documentation in DIR [PREFIX/info]
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
164 --mandir=DIR man documentation in DIR [PREFIX/man]
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
165 --srcdir=DIR find the sources in DIR [configure dir or ..]
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
166 --program-prefix=PREFIX prepend PREFIX to installed program names
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
167 --program-suffix=SUFFIX append SUFFIX to installed program names
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
168 --program-transform-name=PROGRAM
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
169 run sed PROGRAM on installed program names
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
170 EOF
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
171 cat << EOF
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
172 Host type:
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
173 --build=BUILD configure for building on BUILD [BUILD=HOST]
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
174 --host=HOST configure for HOST [guessed]
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
175 --target=TARGET configure for TARGET [TARGET=HOST]
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
176 Features and packages:
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
177 --disable-FEATURE do not include FEATURE (same as --enable-FEATURE=no)
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
178 --enable-FEATURE[=ARG] include FEATURE [ARG=yes]
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
179 --with-PACKAGE[=ARG] use PACKAGE [ARG=yes]
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
180 --without-PACKAGE do not use PACKAGE (same as --with-PACKAGE=no)
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
181 --x-includes=DIR X include files are in DIR
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
182 --x-libraries=DIR X library files are in DIR
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
183 EOF
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
184 if test -n "$ac_help"; then
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
185 echo "--enable and --with options recognized:$ac_help"
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
186 fi
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
187 exit 0 ;;
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
188
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
189 -host | --host | --hos | --ho)
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
190 ac_prev=host ;;
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
191 -host=* | --host=* | --hos=* | --ho=*)
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
192 host="$ac_optarg" ;;
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
193
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
194 -includedir | --includedir | --includedi | --included | --include \
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
195 | --includ | --inclu | --incl | --inc)
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
196 ac_prev=includedir ;;
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
197 -includedir=* | --includedir=* | --includedi=* | --included=* | --include=* \
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
198 | --includ=* | --inclu=* | --incl=* | --inc=*)
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
199 includedir="$ac_optarg" ;;
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
200
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
201 -infodir | --infodir | --infodi | --infod | --info | --inf)
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
202 ac_prev=infodir ;;
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
203 -infodir=* | --infodir=* | --infodi=* | --infod=* | --info=* | --inf=*)
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
204 infodir="$ac_optarg" ;;
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
205
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
206 -libdir | --libdir | --libdi | --libd)
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
207 ac_prev=libdir ;;
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
208 -libdir=* | --libdir=* | --libdi=* | --libd=*)
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
209 libdir="$ac_optarg" ;;
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
210
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
211 -libexecdir | --libexecdir | --libexecdi | --libexecd | --libexec \
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
212 | --libexe | --libex | --libe)
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
213 ac_prev=libexecdir ;;
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
214 -libexecdir=* | --libexecdir=* | --libexecdi=* | --libexecd=* | --libexec=* \
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
215 | --libexe=* | --libex=* | --libe=*)
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
216 libexecdir="$ac_optarg" ;;
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
217
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
218 -localstatedir | --localstatedir | --localstatedi | --localstated \
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
219 | --localstate | --localstat | --localsta | --localst \
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
220 | --locals | --local | --loca | --loc | --lo)
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
221 ac_prev=localstatedir ;;
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
222 -localstatedir=* | --localstatedir=* | --localstatedi=* | --localstated=* \
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
223 | --localstate=* | --localstat=* | --localsta=* | --localst=* \
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
224 | --locals=* | --local=* | --loca=* | --loc=* | --lo=*)
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
225 localstatedir="$ac_optarg" ;;
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
226
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
227 -mandir | --mandir | --mandi | --mand | --man | --ma | --m)
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
228 ac_prev=mandir ;;
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
229 -mandir=* | --mandir=* | --mandi=* | --mand=* | --man=* | --ma=* | --m=*)
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
230 mandir="$ac_optarg" ;;
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
231
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
232 -nfp | --nfp | --nf)
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
233 # Obsolete; use --without-fp.
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
234 with_fp=no ;;
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
235
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
236 -no-create | --no-create | --no-creat | --no-crea | --no-cre \
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
237 | --no-cr | --no-c)
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
238 no_create=yes ;;
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
239
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
240 -no-recursion | --no-recursion | --no-recursio | --no-recursi \
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
241 | --no-recurs | --no-recur | --no-recu | --no-rec | --no-re | --no-r)
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
242 no_recursion=yes ;;
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
243
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
244 -oldincludedir | --oldincludedir | --oldincludedi | --oldincluded \
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
245 | --oldinclude | --oldinclud | --oldinclu | --oldincl | --oldinc \
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
246 | --oldin | --oldi | --old | --ol | --o)
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
247 ac_prev=oldincludedir ;;
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
248 -oldincludedir=* | --oldincludedir=* | --oldincludedi=* | --oldincluded=* \
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
249 | --oldinclude=* | --oldinclud=* | --oldinclu=* | --oldincl=* | --oldinc=* \
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
250 | --oldin=* | --oldi=* | --old=* | --ol=* | --o=*)
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
251 oldincludedir="$ac_optarg" ;;
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
252
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
253 -prefix | --prefix | --prefi | --pref | --pre | --pr | --p)
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
254 ac_prev=prefix ;;
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
255 -prefix=* | --prefix=* | --prefi=* | --pref=* | --pre=* | --pr=* | --p=*)
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
256 prefix="$ac_optarg" ;;
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
257
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
258 -program-prefix | --program-prefix | --program-prefi | --program-pref \
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
259 | --program-pre | --program-pr | --program-p)
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
260 ac_prev=program_prefix ;;
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
261 -program-prefix=* | --program-prefix=* | --program-prefi=* \
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
262 | --program-pref=* | --program-pre=* | --program-pr=* | --program-p=*)
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
263 program_prefix="$ac_optarg" ;;
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
264
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
265 -program-suffix | --program-suffix | --program-suffi | --program-suff \
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
266 | --program-suf | --program-su | --program-s)
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
267 ac_prev=program_suffix ;;
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
268 -program-suffix=* | --program-suffix=* | --program-suffi=* \
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
269 | --program-suff=* | --program-suf=* | --program-su=* | --program-s=*)
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
270 program_suffix="$ac_optarg" ;;
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
271
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
272 -program-transform-name | --program-transform-name \
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
273 | --program-transform-nam | --program-transform-na \
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
274 | --program-transform-n | --program-transform- \
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
275 | --program-transform | --program-transfor \
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
276 | --program-transfo | --program-transf \
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
277 | --program-trans | --program-tran \
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
278 | --progr-tra | --program-tr | --program-t)
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
279 ac_prev=program_transform_name ;;
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
280 -program-transform-name=* | --program-transform-name=* \
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
281 | --program-transform-nam=* | --program-transform-na=* \
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
282 | --program-transform-n=* | --program-transform-=* \
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
283 | --program-transform=* | --program-transfor=* \
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
284 | --program-transfo=* | --program-transf=* \
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
285 | --program-trans=* | --program-tran=* \
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
286 | --progr-tra=* | --program-tr=* | --program-t=*)
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
287 program_transform_name="$ac_optarg" ;;
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
288
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
289 -q | -quiet | --quiet | --quie | --qui | --qu | --q \
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
290 | -silent | --silent | --silen | --sile | --sil)
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
291 silent=yes ;;
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
292
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
293 -sbindir | --sbindir | --sbindi | --sbind | --sbin | --sbi | --sb)
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
294 ac_prev=sbindir ;;
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
295 -sbindir=* | --sbindir=* | --sbindi=* | --sbind=* | --sbin=* \
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
296 | --sbi=* | --sb=*)
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
297 sbindir="$ac_optarg" ;;
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
298
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
299 -sharedstatedir | --sharedstatedir | --sharedstatedi \
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
300 | --sharedstated | --sharedstate | --sharedstat | --sharedsta \
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
301 | --sharedst | --shareds | --shared | --share | --shar \
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
302 | --sha | --sh)
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
303 ac_prev=sharedstatedir ;;
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
304 -sharedstatedir=* | --sharedstatedir=* | --sharedstatedi=* \
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
305 | --sharedstated=* | --sharedstate=* | --sharedstat=* | --sharedsta=* \
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
306 | --sharedst=* | --shareds=* | --shared=* | --share=* | --shar=* \
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
307 | --sha=* | --sh=*)
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
308 sharedstatedir="$ac_optarg" ;;
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
309
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
310 -site | --site | --sit)
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
311 ac_prev=site ;;
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
312 -site=* | --site=* | --sit=*)
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
313 site="$ac_optarg" ;;
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
314
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
315 -srcdir | --srcdir | --srcdi | --srcd | --src | --sr)
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
316 ac_prev=srcdir ;;
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
317 -srcdir=* | --srcdir=* | --srcdi=* | --srcd=* | --src=* | --sr=*)
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
318 srcdir="$ac_optarg" ;;
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
319
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
320 -sysconfdir | --sysconfdir | --sysconfdi | --sysconfd | --sysconf \
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
321 | --syscon | --sysco | --sysc | --sys | --sy)
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
322 ac_prev=sysconfdir ;;
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
323 -sysconfdir=* | --sysconfdir=* | --sysconfdi=* | --sysconfd=* | --sysconf=* \
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
324 | --syscon=* | --sysco=* | --sysc=* | --sys=* | --sy=*)
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
325 sysconfdir="$ac_optarg" ;;
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
326
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
327 -target | --target | --targe | --targ | --tar | --ta | --t)
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
328 ac_prev=target ;;
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
329 -target=* | --target=* | --targe=* | --targ=* | --tar=* | --ta=* | --t=*)
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
330 target="$ac_optarg" ;;
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
331
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
332 -v | -verbose | --verbose | --verbos | --verbo | --verb)
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
333 verbose=yes ;;
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
334
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
335 -version | --version | --versio | --versi | --vers)
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
336 echo "configure generated by autoconf version 2.13"
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
337 exit 0 ;;
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
338
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
339 -with-* | --with-*)
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
340 ac_package=`echo $ac_option|sed -e 's/-*with-//' -e 's/=.*//'`
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
341 # Reject names that are not valid shell variable names.
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
342 if test -n "`echo $ac_package| sed 's/[-_a-zA-Z0-9]//g'`"; then
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
343 { echo "configure: error: $ac_package: invalid package name" 1>&2; exit 1; }
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
344 fi
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
345 ac_package=`echo $ac_package| sed 's/-/_/g'`
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
346 case "$ac_option" in
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
347 *=*) ;;
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
348 *) ac_optarg=yes ;;
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
349 esac
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
350 eval "with_${ac_package}='$ac_optarg'" ;;
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
351
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
352 -without-* | --without-*)
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
353 ac_package=`echo $ac_option|sed -e 's/-*without-//'`
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
354 # Reject names that are not valid shell variable names.
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
355 if test -n "`echo $ac_package| sed 's/[-a-zA-Z0-9_]//g'`"; then
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
356 { echo "configure: error: $ac_package: invalid package name" 1>&2; exit 1; }
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
357 fi
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
358 ac_package=`echo $ac_package| sed 's/-/_/g'`
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
359 eval "with_${ac_package}=no" ;;
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
360
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
361 --x)
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
362 # Obsolete; use --with-x.
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
363 with_x=yes ;;
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
364
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
365 -x-includes | --x-includes | --x-include | --x-includ | --x-inclu \
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
366 | --x-incl | --x-inc | --x-in | --x-i)
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
367 ac_prev=x_includes ;;
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
368 -x-includes=* | --x-includes=* | --x-include=* | --x-includ=* | --x-inclu=* \
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
369 | --x-incl=* | --x-inc=* | --x-in=* | --x-i=*)
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
370 x_includes="$ac_optarg" ;;
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
371
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
372 -x-libraries | --x-libraries | --x-librarie | --x-librari \
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
373 | --x-librar | --x-libra | --x-libr | --x-lib | --x-li | --x-l)
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
374 ac_prev=x_libraries ;;
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
375 -x-libraries=* | --x-libraries=* | --x-librarie=* | --x-librari=* \
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
376 | --x-librar=* | --x-libra=* | --x-libr=* | --x-lib=* | --x-li=* | --x-l=*)
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
377 x_libraries="$ac_optarg" ;;
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
378
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
379 -*) { echo "configure: error: $ac_option: invalid option; use --help to show usage" 1>&2; exit 1; }
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
380 ;;
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
381
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
382 *)
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
383 if test -n "`echo $ac_option| sed 's/[-a-z0-9.]//g'`"; then
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
384 echo "configure: warning: $ac_option: invalid host type" 1>&2
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
385 fi
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
386 if test "x$nonopt" != xNONE; then
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
387 { echo "configure: error: can only configure for one host and one target at a time" 1>&2; exit 1; }
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
388 fi
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
389 nonopt="$ac_option"
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
390 ;;
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
391
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
392 esac
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
393 done
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
394
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
395 if test -n "$ac_prev"; then
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
396 { echo "configure: error: missing argument to --`echo $ac_prev | sed 's/_/-/g'`" 1>&2; exit 1; }
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
397 fi
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
398
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
399 trap 'rm -fr conftest* confdefs* core core.* *.core $ac_clean_files; exit 1' 1 2 15
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
400
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
401 # File descriptor usage:
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
402 # 0 standard input
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
403 # 1 file creation
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
404 # 2 errors and warnings
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
405 # 3 some systems may open it to /dev/tty
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
406 # 4 used on the Kubota Titan
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
407 # 6 checking for... messages and results
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
408 # 5 compiler messages saved in config.log
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
409 if test "$silent" = yes; then
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
410 exec 6>/dev/null
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
411 else
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
412 exec 6>&1
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
413 fi
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
414 exec 5>./config.log
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
415
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
416 echo "\
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
417 This file contains any messages produced by compilers while
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
418 running configure, to aid debugging if configure makes a mistake.
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
419 " 1>&5
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
420
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
421 # Strip out --no-create and --no-recursion so they do not pile up.
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
422 # Also quote any args containing shell metacharacters.
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
423 ac_configure_args=
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
424 for ac_arg
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
425 do
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
426 case "$ac_arg" in
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
427 -no-create | --no-create | --no-creat | --no-crea | --no-cre \
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
428 | --no-cr | --no-c) ;;
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
429 -no-recursion | --no-recursion | --no-recursio | --no-recursi \
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
430 | --no-recurs | --no-recur | --no-recu | --no-rec | --no-re | --no-r) ;;
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
431 *" "*|*" "*|*[\[\]\~\#\$\^\&\*\(\)\{\}\\\|\;\<\>\?]*)
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
432 ac_configure_args="$ac_configure_args '$ac_arg'" ;;
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
433 *) ac_configure_args="$ac_configure_args $ac_arg" ;;
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
434 esac
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
435 done
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
436
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
437 # NLS nuisances.
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
438 # Only set these to C if already set. These must not be set unconditionally
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
439 # because not all systems understand e.g. LANG=C (notably SCO).
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
440 # Fixing LC_MESSAGES prevents Solaris sh from translating var values in `set'!
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
441 # Non-C LC_CTYPE values break the ctype check.
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
442 if test "${LANG+set}" = set; then LANG=C; export LANG; fi
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
443 if test "${LC_ALL+set}" = set; then LC_ALL=C; export LC_ALL; fi
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
444 if test "${LC_MESSAGES+set}" = set; then LC_MESSAGES=C; export LC_MESSAGES; fi
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
445 if test "${LC_CTYPE+set}" = set; then LC_CTYPE=C; export LC_CTYPE; fi
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
446
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
447 # confdefs.h avoids OS command line length limits that DEFS can exceed.
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
448 rm -rf conftest* confdefs.h
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
449 # AIX cpp loses on an empty file, so make sure it contains at least a newline.
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
450 echo > confdefs.h
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
451
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
452 # A filename unique to this package, relative to the directory that
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
453 # configure is in, which we can look for to find out if srcdir is correct.
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
454 ac_unique_file=emacs-lisp-intro.texi
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
455
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
456 # Find the source files, if location was not specified.
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
457 if test -z "$srcdir"; then
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
458 ac_srcdir_defaulted=yes
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
459 # Try the directory containing this script, then its parent.
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
460 ac_prog=$0
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
461 ac_confdir=`echo $ac_prog|sed 's%/[^/][^/]*$%%'`
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
462 test "x$ac_confdir" = "x$ac_prog" && ac_confdir=.
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
463 srcdir=$ac_confdir
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
464 if test ! -r $srcdir/$ac_unique_file; then
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
465 srcdir=..
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
466 fi
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
467 else
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
468 ac_srcdir_defaulted=no
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
469 fi
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
470 if test ! -r $srcdir/$ac_unique_file; then
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
471 if test "$ac_srcdir_defaulted" = yes; then
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
472 { echo "configure: error: can not find sources in $ac_confdir or .." 1>&2; exit 1; }
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
473 else
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
474 { echo "configure: error: can not find sources in $srcdir" 1>&2; exit 1; }
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
475 fi
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
476 fi
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
477 srcdir=`echo "${srcdir}" | sed 's%\([^/]\)/*$%\1%'`
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
478
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
479 # Prefer explicitly selected file to automatically selected ones.
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
480 if test -z "$CONFIG_SITE"; then
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
481 if test "x$prefix" != xNONE; then
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
482 CONFIG_SITE="$prefix/share/config.site $prefix/etc/config.site"
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
483 else
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
484 CONFIG_SITE="$ac_default_prefix/share/config.site $ac_default_prefix/etc/config.site"
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
485 fi
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
486 fi
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
487 for ac_site_file in $CONFIG_SITE; do
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
488 if test -r "$ac_site_file"; then
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
489 echo "loading site script $ac_site_file"
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
490 . "$ac_site_file"
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
491 fi
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
492 done
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
493
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
494 if test -r "$cache_file"; then
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
495 echo "loading cache $cache_file"
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
496 . $cache_file
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
497 else
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
498 echo "creating cache $cache_file"
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
499 > $cache_file
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
500 fi
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
501
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
502 ac_ext=c
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
503 # CFLAGS is not in ac_cpp because -g, -O, etc. are not valid cpp options.
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
504 ac_cpp='$CPP $CPPFLAGS'
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
505 ac_compile='${CC-cc} -c $CFLAGS $CPPFLAGS conftest.$ac_ext 1>&5'
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
506 ac_link='${CC-cc} -o conftest${ac_exeext} $CFLAGS $CPPFLAGS $LDFLAGS conftest.$ac_ext $LIBS 1>&5'
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
507 cross_compiling=$ac_cv_prog_cc_cross
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
508
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
509 ac_exeext=
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
510 ac_objext=o
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
511 if (echo "testing\c"; echo 1,2,3) | grep c >/dev/null; then
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
512 # Stardent Vistra SVR4 grep lacks -e, says ghazi@caip.rutgers.edu.
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
513 if (echo -n testing; echo 1,2,3) | sed s/-n/xn/ | grep xn >/dev/null; then
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
514 ac_n= ac_c='
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
515 ' ac_t=' '
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
516 else
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
517 ac_n=-n ac_c= ac_t=
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
518 fi
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
519 else
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
520 ac_n= ac_c='\c' ac_t=
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
521 fi
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
522
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
523
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
524 ac_aux_dir=
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
525 for ac_dir in $srcdir $srcdir/.. $srcdir/../..; do
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
526 if test -f $ac_dir/install-sh; then
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
527 ac_aux_dir=$ac_dir
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
528 ac_install_sh="$ac_aux_dir/install-sh -c"
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
529 break
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
530 elif test -f $ac_dir/install.sh; then
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
531 ac_aux_dir=$ac_dir
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
532 ac_install_sh="$ac_aux_dir/install.sh -c"
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
533 break
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
534 fi
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
535 done
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
536 if test -z "$ac_aux_dir"; then
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
537 { echo "configure: error: can not find install-sh or install.sh in $srcdir $srcdir/.. $srcdir/../.." 1>&2; exit 1; }
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
538 fi
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
539 ac_config_guess=$ac_aux_dir/config.guess
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
540 ac_config_sub=$ac_aux_dir/config.sub
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
541 ac_configure=$ac_aux_dir/configure # This should be Cygnus configure.
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
542
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
543 # Find a good install program. We prefer a C program (faster),
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
544 # so one script is as good as another. But avoid the broken or
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
545 # incompatible versions:
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
546 # SysV /etc/install, /usr/sbin/install
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
547 # SunOS /usr/etc/install
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
548 # IRIX /sbin/install
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
549 # AIX /bin/install
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
550 # AIX 4 /usr/bin/installbsd, which doesn't work without a -g flag
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
551 # AFS /usr/afsws/bin/install, which mishandles nonexistent args
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
552 # SVR4 /usr/ucb/install, which tries to use the nonexistent group "staff"
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
553 # ./install, which can be erroneously created by make from ./install.sh.
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
554 echo $ac_n "checking for a BSD compatible install""... $ac_c" 1>&6
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
555 echo "configure:556: checking for a BSD compatible install" >&5
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
556 if test -z "$INSTALL"; then
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
557 if eval "test \"`echo '$''{'ac_cv_path_install'+set}'`\" = set"; then
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
558 echo $ac_n "(cached) $ac_c" 1>&6
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
559 else
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
560 IFS="${IFS= }"; ac_save_IFS="$IFS"; IFS=":"
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
561 for ac_dir in $PATH; do
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
562 # Account for people who put trailing slashes in PATH elements.
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
563 case "$ac_dir/" in
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
564 /|./|.//|/etc/*|/usr/sbin/*|/usr/etc/*|/sbin/*|/usr/afsws/bin/*|/usr/ucb/*) ;;
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
565 *)
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
566 # OSF1 and SCO ODT 3.0 have their own names for install.
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
567 # Don't use installbsd from OSF since it installs stuff as root
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
568 # by default.
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
569 for ac_prog in ginstall scoinst install; do
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
570 if test -f $ac_dir/$ac_prog; then
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
571 if test $ac_prog = install &&
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
572 grep dspmsg $ac_dir/$ac_prog >/dev/null 2>&1; then
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
573 # AIX install. It has an incompatible calling convention.
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
574 :
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
575 else
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
576 ac_cv_path_install="$ac_dir/$ac_prog -c"
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
577 break 2
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
578 fi
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
579 fi
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
580 done
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
581 ;;
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
582 esac
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
583 done
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
584 IFS="$ac_save_IFS"
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
585
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
586 fi
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
587 if test "${ac_cv_path_install+set}" = set; then
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
588 INSTALL="$ac_cv_path_install"
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
589 else
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
590 # As a last resort, use the slow shell script. We don't cache a
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
591 # path for INSTALL within a source directory, because that will
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
592 # break other packages using the cache if that directory is
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
593 # removed, or if the path is relative.
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
594 INSTALL="$ac_install_sh"
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
595 fi
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
596 fi
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
597 echo "$ac_t""$INSTALL" 1>&6
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
598
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
599 # Use test -z because SunOS4 sh mishandles braces in ${var-val}.
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
600 # It thinks the first close brace ends the variable substitution.
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
601 test -z "$INSTALL_PROGRAM" && INSTALL_PROGRAM='${INSTALL}'
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
602
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
603 test -z "$INSTALL_SCRIPT" && INSTALL_SCRIPT='${INSTALL_PROGRAM}'
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
604
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
605 test -z "$INSTALL_DATA" && INSTALL_DATA='${INSTALL} -m 644'
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
606
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
607 echo $ac_n "checking whether build environment is sane""... $ac_c" 1>&6
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
608 echo "configure:609: checking whether build environment is sane" >&5
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
609 # Just in case
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
610 sleep 1
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
611 echo timestamp > conftestfile
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
612 # Do `set' in a subshell so we don't clobber the current shell's
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
613 # arguments. Must try -L first in case configure is actually a
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
614 # symlink; some systems play weird games with the mod time of symlinks
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
615 # (eg FreeBSD returns the mod time of the symlink's containing
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
616 # directory).
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
617 if (
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
618 set X `ls -Lt $srcdir/configure conftestfile 2> /dev/null`
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
619 if test "$*" = "X"; then
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
620 # -L didn't work.
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
621 set X `ls -t $srcdir/configure conftestfile`
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
622 fi
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
623 if test "$*" != "X $srcdir/configure conftestfile" \
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
624 && test "$*" != "X conftestfile $srcdir/configure"; then
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
625
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
626 # If neither matched, then we have a broken ls. This can happen
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
627 # if, for instance, CONFIG_SHELL is bash and it inherits a
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
628 # broken ls alias from the environment. This has actually
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
629 # happened. Such a system could not be considered "sane".
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
630 { echo "configure: error: ls -t appears to fail. Make sure there is not a broken
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
631 alias in your environment" 1>&2; exit 1; }
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
632 fi
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
633
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
634 test "$2" = conftestfile
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
635 )
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
636 then
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
637 # Ok.
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
638 :
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
639 else
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
640 { echo "configure: error: newly created file is older than distributed files!
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
641 Check your system clock" 1>&2; exit 1; }
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
642 fi
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
643 rm -f conftest*
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
644 echo "$ac_t""yes" 1>&6
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
645 if test "$program_transform_name" = s,x,x,; then
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
646 program_transform_name=
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
647 else
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
648 # Double any \ or $. echo might interpret backslashes.
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
649 cat <<\EOF_SED > conftestsed
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
650 s,\\,\\\\,g; s,\$,$$,g
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
651 EOF_SED
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
652 program_transform_name="`echo $program_transform_name|sed -f conftestsed`"
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
653 rm -f conftestsed
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
654 fi
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
655 test "$program_prefix" != NONE &&
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
656 program_transform_name="s,^,${program_prefix},; $program_transform_name"
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
657 # Use a double $ so make ignores it.
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
658 test "$program_suffix" != NONE &&
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
659 program_transform_name="s,\$\$,${program_suffix},; $program_transform_name"
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
660
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
661 # sed with no file args requires a program.
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
662 test "$program_transform_name" = "" && program_transform_name="s,x,x,"
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
663
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
664 echo $ac_n "checking whether ${MAKE-make} sets \${MAKE}""... $ac_c" 1>&6
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
665 echo "configure:666: checking whether ${MAKE-make} sets \${MAKE}" >&5
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
666 set dummy ${MAKE-make}; ac_make=`echo "$2" | sed 'y%./+-%__p_%'`
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
667 if eval "test \"`echo '$''{'ac_cv_prog_make_${ac_make}_set'+set}'`\" = set"; then
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
668 echo $ac_n "(cached) $ac_c" 1>&6
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
669 else
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
670 cat > conftestmake <<\EOF
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
671 all:
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
672 @echo 'ac_maketemp="${MAKE}"'
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
673 EOF
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
674 # GNU make sometimes prints "make[1]: Entering...", which would confuse us.
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
675 eval `${MAKE-make} -f conftestmake 2>/dev/null | grep temp=`
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
676 if test -n "$ac_maketemp"; then
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
677 eval ac_cv_prog_make_${ac_make}_set=yes
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
678 else
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
679 eval ac_cv_prog_make_${ac_make}_set=no
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
680 fi
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
681 rm -f conftestmake
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
682 fi
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
683 if eval "test \"`echo '$ac_cv_prog_make_'${ac_make}_set`\" = yes"; then
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
684 echo "$ac_t""yes" 1>&6
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
685 SET_MAKE=
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
686 else
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
687 echo "$ac_t""no" 1>&6
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
688 SET_MAKE="MAKE=${MAKE-make}"
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
689 fi
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
690
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
691
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
692 PACKAGE=emacs-lisp-intro
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
693
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
694 VERSION=2.00
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
695
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
696 if test "`cd $srcdir && pwd`" != "`pwd`" && test -f $srcdir/config.status; then
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
697 { echo "configure: error: source directory already configured; run "make distclean" there first" 1>&2; exit 1; }
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
698 fi
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
699 cat >> confdefs.h <<EOF
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
700 #define PACKAGE "$PACKAGE"
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
701 EOF
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
702
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
703 cat >> confdefs.h <<EOF
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
704 #define VERSION "$VERSION"
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
705 EOF
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
706
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
707
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
708
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
709 missing_dir=`cd $ac_aux_dir && pwd`
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
710 echo $ac_n "checking for working aclocal""... $ac_c" 1>&6
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
711 echo "configure:712: checking for working aclocal" >&5
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
712 # Run test in a subshell; some versions of sh will print an error if
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
713 # an executable is not found, even if stderr is redirected.
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
714 # Redirect stdin to placate older versions of autoconf. Sigh.
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
715 if (aclocal --version) < /dev/null > /dev/null 2>&1; then
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
716 ACLOCAL=aclocal
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
717 echo "$ac_t""found" 1>&6
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
718 else
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
719 ACLOCAL="$missing_dir/missing aclocal"
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
720 echo "$ac_t""missing" 1>&6
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
721 fi
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
722
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
723 echo $ac_n "checking for working autoconf""... $ac_c" 1>&6
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
724 echo "configure:725: checking for working autoconf" >&5
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
725 # Run test in a subshell; some versions of sh will print an error if
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
726 # an executable is not found, even if stderr is redirected.
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
727 # Redirect stdin to placate older versions of autoconf. Sigh.
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
728 if (autoconf --version) < /dev/null > /dev/null 2>&1; then
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
729 AUTOCONF=autoconf
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
730 echo "$ac_t""found" 1>&6
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
731 else
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
732 AUTOCONF="$missing_dir/missing autoconf"
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
733 echo "$ac_t""missing" 1>&6
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
734 fi
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
735
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
736 echo $ac_n "checking for working automake""... $ac_c" 1>&6
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
737 echo "configure:738: checking for working automake" >&5
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
738 # Run test in a subshell; some versions of sh will print an error if
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
739 # an executable is not found, even if stderr is redirected.
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
740 # Redirect stdin to placate older versions of autoconf. Sigh.
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
741 if (automake --version) < /dev/null > /dev/null 2>&1; then
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
742 AUTOMAKE=automake
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
743 echo "$ac_t""found" 1>&6
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
744 else
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
745 AUTOMAKE="$missing_dir/missing automake"
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
746 echo "$ac_t""missing" 1>&6
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
747 fi
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
748
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
749 echo $ac_n "checking for working autoheader""... $ac_c" 1>&6
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
750 echo "configure:751: checking for working autoheader" >&5
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
751 # Run test in a subshell; some versions of sh will print an error if
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
752 # an executable is not found, even if stderr is redirected.
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
753 # Redirect stdin to placate older versions of autoconf. Sigh.
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
754 if (autoheader --version) < /dev/null > /dev/null 2>&1; then
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
755 AUTOHEADER=autoheader
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
756 echo "$ac_t""found" 1>&6
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
757 else
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
758 AUTOHEADER="$missing_dir/missing autoheader"
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
759 echo "$ac_t""missing" 1>&6
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
760 fi
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
761
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
762 echo $ac_n "checking for working makeinfo""... $ac_c" 1>&6
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
763 echo "configure:764: checking for working makeinfo" >&5
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
764 # Run test in a subshell; some versions of sh will print an error if
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
765 # an executable is not found, even if stderr is redirected.
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
766 # Redirect stdin to placate older versions of autoconf. Sigh.
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
767 if (makeinfo --version) < /dev/null > /dev/null 2>&1; then
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
768 MAKEINFO=makeinfo
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
769 echo "$ac_t""found" 1>&6
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
770 else
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
771 MAKEINFO="$missing_dir/missing makeinfo"
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
772 echo "$ac_t""missing" 1>&6
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
773 fi
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
774
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
775
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
776 trap '' 1 2 15
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
777 cat > confcache <<\EOF
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
778 # This file is a shell script that caches the results of configure
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
779 # tests run on this system so they can be shared between configure
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
780 # scripts and configure runs. It is not useful on other systems.
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
781 # If it contains results you don't want to keep, you may remove or edit it.
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
782 #
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
783 # By default, configure uses ./config.cache as the cache file,
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
784 # creating it if it does not exist already. You can give configure
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
785 # the --cache-file=FILE option to use a different cache file; that is
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
786 # what configure does when it calls configure scripts in
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
787 # subdirectories, so they share the cache.
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
788 # Giving --cache-file=/dev/null disables caching, for debugging configure.
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
789 # config.status only pays attention to the cache file if you give it the
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
790 # --recheck option to rerun configure.
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
791 #
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
792 EOF
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
793 # The following way of writing the cache mishandles newlines in values,
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
794 # but we know of no workaround that is simple, portable, and efficient.
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
795 # So, don't put newlines in cache variables' values.
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
796 # Ultrix sh set writes to stderr and can't be redirected directly,
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
797 # and sets the high bit in the cache file unless we assign to the vars.
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
798 (set) 2>&1 |
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
799 case `(ac_space=' '; set | grep ac_space) 2>&1` in
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
800 *ac_space=\ *)
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
801 # `set' does not quote correctly, so add quotes (double-quote substitution
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
802 # turns \\\\ into \\, and sed turns \\ into \).
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
803 sed -n \
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
804 -e "s/'/'\\\\''/g" \
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
805 -e "s/^\\([a-zA-Z0-9_]*_cv_[a-zA-Z0-9_]*\\)=\\(.*\\)/\\1=\${\\1='\\2'}/p"
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
806 ;;
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
807 *)
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
808 # `set' quotes correctly as required by POSIX, so do not add quotes.
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
809 sed -n -e 's/^\([a-zA-Z0-9_]*_cv_[a-zA-Z0-9_]*\)=\(.*\)/\1=${\1=\2}/p'
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
810 ;;
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
811 esac >> confcache
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
812 if cmp -s $cache_file confcache; then
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
813 :
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
814 else
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
815 if test -w $cache_file; then
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
816 echo "updating cache $cache_file"
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
817 cat confcache > $cache_file
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
818 else
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
819 echo "not updating unwritable cache $cache_file"
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
820 fi
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
821 fi
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
822 rm -f confcache
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
823
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
824 trap 'rm -fr conftest* confdefs* core core.* *.core $ac_clean_files; exit 1' 1 2 15
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
825
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
826 test "x$prefix" = xNONE && prefix=$ac_default_prefix
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
827 # Let make expand exec_prefix.
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
828 test "x$exec_prefix" = xNONE && exec_prefix='${prefix}'
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
829
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
830 # Any assignment to VPATH causes Sun make to only execute
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
831 # the first set of double-colon rules, so remove it if not needed.
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
832 # If there is a colon in the path, we need to keep it.
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
833 if test "x$srcdir" = x.; then
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
834 ac_vpsub='/^[ ]*VPATH[ ]*=[^:]*$/d'
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
835 fi
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
836
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
837 trap 'rm -f $CONFIG_STATUS conftest*; exit 1' 1 2 15
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
838
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
839 # Transform confdefs.h into DEFS.
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
840 # Protect against shell expansion while executing Makefile rules.
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
841 # Protect against Makefile macro expansion.
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
842 cat > conftest.defs <<\EOF
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
843 s%#define \([A-Za-z_][A-Za-z0-9_]*\) *\(.*\)%-D\1=\2%g
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
844 s%[ `~#$^&*(){}\\|;'"<>?]%\\&%g
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
845 s%\[%\\&%g
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
846 s%\]%\\&%g
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
847 s%\$%$$%g
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
848 EOF
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
849 DEFS=`sed -f conftest.defs confdefs.h | tr '\012' ' '`
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
850 rm -f conftest.defs
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
851
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
852
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
853 # Without the "./", some shells look in PATH for config.status.
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
854 : ${CONFIG_STATUS=./config.status}
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
855
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
856 echo creating $CONFIG_STATUS
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
857 rm -f $CONFIG_STATUS
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
858 cat > $CONFIG_STATUS <<EOF
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
859 #! /bin/sh
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
860 # Generated automatically by configure.
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
861 # Run this file to recreate the current configuration.
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
862 # This directory was configured as follows,
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
863 # on host `(hostname || uname -n) 2>/dev/null | sed 1q`:
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
864 #
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
865 # $0 $ac_configure_args
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
866 #
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
867 # Compiler output produced by configure, useful for debugging
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
868 # configure, is in ./config.log if it exists.
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
869
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
870 ac_cs_usage="Usage: $CONFIG_STATUS [--recheck] [--version] [--help]"
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
871 for ac_option
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
872 do
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
873 case "\$ac_option" in
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
874 -recheck | --recheck | --rechec | --reche | --rech | --rec | --re | --r)
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
875 echo "running \${CONFIG_SHELL-/bin/sh} $0 $ac_configure_args --no-create --no-recursion"
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
876 exec \${CONFIG_SHELL-/bin/sh} $0 $ac_configure_args --no-create --no-recursion ;;
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
877 -version | --version | --versio | --versi | --vers | --ver | --ve | --v)
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
878 echo "$CONFIG_STATUS generated by autoconf version 2.13"
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
879 exit 0 ;;
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
880 -help | --help | --hel | --he | --h)
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
881 echo "\$ac_cs_usage"; exit 0 ;;
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
882 *) echo "\$ac_cs_usage"; exit 1 ;;
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
883 esac
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
884 done
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
885
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
886 ac_given_srcdir=$srcdir
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
887 ac_given_INSTALL="$INSTALL"
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
888
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
889 trap 'rm -fr `echo "Makefile" | sed "s/:[^ ]*//g"` conftest*; exit 1' 1 2 15
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
890 EOF
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
891 cat >> $CONFIG_STATUS <<EOF
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
892
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
893 # Protect against being on the right side of a sed subst in config.status.
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
894 sed 's/%@/@@/; s/@%/@@/; s/%g\$/@g/; /@g\$/s/[\\\\&%]/\\\\&/g;
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
895 s/@@/%@/; s/@@/@%/; s/@g\$/%g/' > conftest.subs <<\\CEOF
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
896 $ac_vpsub
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
897 $extrasub
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
898 s%@SHELL@%$SHELL%g
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
899 s%@CFLAGS@%$CFLAGS%g
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
900 s%@CPPFLAGS@%$CPPFLAGS%g
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
901 s%@CXXFLAGS@%$CXXFLAGS%g
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
902 s%@FFLAGS@%$FFLAGS%g
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
903 s%@DEFS@%$DEFS%g
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
904 s%@LDFLAGS@%$LDFLAGS%g
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
905 s%@LIBS@%$LIBS%g
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
906 s%@exec_prefix@%$exec_prefix%g
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
907 s%@prefix@%$prefix%g
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
908 s%@program_transform_name@%$program_transform_name%g
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
909 s%@bindir@%$bindir%g
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
910 s%@sbindir@%$sbindir%g
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
911 s%@libexecdir@%$libexecdir%g
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
912 s%@datadir@%$datadir%g
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
913 s%@sysconfdir@%$sysconfdir%g
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
914 s%@sharedstatedir@%$sharedstatedir%g
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
915 s%@localstatedir@%$localstatedir%g
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
916 s%@libdir@%$libdir%g
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
917 s%@includedir@%$includedir%g
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
918 s%@oldincludedir@%$oldincludedir%g
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
919 s%@infodir@%$infodir%g
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
920 s%@mandir@%$mandir%g
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
921 s%@INSTALL_PROGRAM@%$INSTALL_PROGRAM%g
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
922 s%@INSTALL_SCRIPT@%$INSTALL_SCRIPT%g
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
923 s%@INSTALL_DATA@%$INSTALL_DATA%g
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
924 s%@PACKAGE@%$PACKAGE%g
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
925 s%@VERSION@%$VERSION%g
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
926 s%@ACLOCAL@%$ACLOCAL%g
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
927 s%@AUTOCONF@%$AUTOCONF%g
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
928 s%@AUTOMAKE@%$AUTOMAKE%g
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
929 s%@AUTOHEADER@%$AUTOHEADER%g
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
930 s%@MAKEINFO@%$MAKEINFO%g
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
931 s%@SET_MAKE@%$SET_MAKE%g
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
932
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
933 CEOF
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
934 EOF
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
935
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
936 cat >> $CONFIG_STATUS <<\EOF
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
937
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
938 # Split the substitutions into bite-sized pieces for seds with
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
939 # small command number limits, like on Digital OSF/1 and HP-UX.
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
940 ac_max_sed_cmds=90 # Maximum number of lines to put in a sed script.
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
941 ac_file=1 # Number of current file.
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
942 ac_beg=1 # First line for current file.
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
943 ac_end=$ac_max_sed_cmds # Line after last line for current file.
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
944 ac_more_lines=:
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
945 ac_sed_cmds=""
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
946 while $ac_more_lines; do
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
947 if test $ac_beg -gt 1; then
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
948 sed "1,${ac_beg}d; ${ac_end}q" conftest.subs > conftest.s$ac_file
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
949 else
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
950 sed "${ac_end}q" conftest.subs > conftest.s$ac_file
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
951 fi
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
952 if test ! -s conftest.s$ac_file; then
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
953 ac_more_lines=false
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
954 rm -f conftest.s$ac_file
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
955 else
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
956 if test -z "$ac_sed_cmds"; then
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
957 ac_sed_cmds="sed -f conftest.s$ac_file"
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
958 else
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
959 ac_sed_cmds="$ac_sed_cmds | sed -f conftest.s$ac_file"
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
960 fi
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
961 ac_file=`expr $ac_file + 1`
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
962 ac_beg=$ac_end
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
963 ac_end=`expr $ac_end + $ac_max_sed_cmds`
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
964 fi
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
965 done
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
966 if test -z "$ac_sed_cmds"; then
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
967 ac_sed_cmds=cat
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
968 fi
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
969 EOF
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
970
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
971 cat >> $CONFIG_STATUS <<EOF
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
972
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
973 CONFIG_FILES=\${CONFIG_FILES-"Makefile"}
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
974 EOF
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
975 cat >> $CONFIG_STATUS <<\EOF
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
976 for ac_file in .. $CONFIG_FILES; do if test "x$ac_file" != x..; then
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
977 # Support "outfile[:infile[:infile...]]", defaulting infile="outfile.in".
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
978 case "$ac_file" in
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
979 *:*) ac_file_in=`echo "$ac_file"|sed 's%[^:]*:%%'`
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
980 ac_file=`echo "$ac_file"|sed 's%:.*%%'` ;;
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
981 *) ac_file_in="${ac_file}.in" ;;
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
982 esac
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
983
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
984 # Adjust a relative srcdir, top_srcdir, and INSTALL for subdirectories.
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
985
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
986 # Remove last slash and all that follows it. Not all systems have dirname.
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
987 ac_dir=`echo $ac_file|sed 's%/[^/][^/]*$%%'`
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
988 if test "$ac_dir" != "$ac_file" && test "$ac_dir" != .; then
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
989 # The file is in a subdirectory.
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
990 test ! -d "$ac_dir" && mkdir "$ac_dir"
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
991 ac_dir_suffix="/`echo $ac_dir|sed 's%^\./%%'`"
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
992 # A "../" for each directory in $ac_dir_suffix.
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
993 ac_dots=`echo $ac_dir_suffix|sed 's%/[^/]*%../%g'`
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
994 else
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
995 ac_dir_suffix= ac_dots=
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
996 fi
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
997
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
998 case "$ac_given_srcdir" in
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
999 .) srcdir=.
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
1000 if test -z "$ac_dots"; then top_srcdir=.
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
1001 else top_srcdir=`echo $ac_dots|sed 's%/$%%'`; fi ;;
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
1002 /*) srcdir="$ac_given_srcdir$ac_dir_suffix"; top_srcdir="$ac_given_srcdir" ;;
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
1003 *) # Relative path.
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
1004 srcdir="$ac_dots$ac_given_srcdir$ac_dir_suffix"
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
1005 top_srcdir="$ac_dots$ac_given_srcdir" ;;
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
1006 esac
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
1007
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
1008 case "$ac_given_INSTALL" in
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
1009 [/$]*) INSTALL="$ac_given_INSTALL" ;;
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
1010 *) INSTALL="$ac_dots$ac_given_INSTALL" ;;
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
1011 esac
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
1012
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
1013 echo creating "$ac_file"
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
1014 rm -f "$ac_file"
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
1015 configure_input="Generated automatically from `echo $ac_file_in|sed 's%.*/%%'` by configure."
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
1016 case "$ac_file" in
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
1017 *Makefile*) ac_comsub="1i\\
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
1018 # $configure_input" ;;
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
1019 *) ac_comsub= ;;
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
1020 esac
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
1021
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
1022 ac_file_inputs=`echo $ac_file_in|sed -e "s%^%$ac_given_srcdir/%" -e "s%:% $ac_given_srcdir/%g"`
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
1023 sed -e "$ac_comsub
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
1024 s%@configure_input@%$configure_input%g
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
1025 s%@srcdir@%$srcdir%g
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
1026 s%@top_srcdir@%$top_srcdir%g
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
1027 s%@INSTALL@%$INSTALL%g
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
1028 " $ac_file_inputs | (eval "$ac_sed_cmds") > $ac_file
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
1029 fi; done
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
1030 rm -f conftest.s*
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
1031
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
1032 EOF
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
1033 cat >> $CONFIG_STATUS <<EOF
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
1034
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
1035 EOF
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
1036 cat >> $CONFIG_STATUS <<\EOF
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
1037
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
1038 exit 0
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
1039 EOF
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
1040 chmod +x $CONFIG_STATUS
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
1041 rm -fr confdefs* $ac_clean_files
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
1042 test "$no_create" = yes || ${CONFIG_SHELL-/bin/sh} $CONFIG_STATUS || exit 1
a8ee89e61d20 *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
1043