annotate lispref/configure @ 56817:99e9271dee93

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