annotate lispref/configure @ 76493:e5e12c57c640

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