annotate doc/lispintro/configure @ 91251:ff31deb54f4a

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