2 # Generated automatically by configure.
3 # Run this file to recreate the current configuration.
4 # This directory was configured as follows,
5 # on host sun-lamp.cs.berkeley.edu:
12 -recheck |
--recheck |
--rechec |
--reche |
--rech |
--rec |
--re |
--r)
13 exec /bin
/sh configure
;;
14 *) echo "Usage: config.status --recheck" 2>&1; exit 1 ;;
18 trap 'rm -f Makefile doc/Makefile test/Makefile; exit 1' 1 3 15
20 INSTALL
='/usr/bin/install -c'
21 INSTALL_PROGRAM
='$(INSTALL)'
22 INSTALL_DATA
='$(INSTALL) -m 644'
27 DEFS
=' -DHAVE_STRING_H=1'
29 exec_prefix
='${prefix}'
30 prsub
='s%^prefix\([ ]*\)=\([ ]*\).*$%prefix\1=\2/usr%
31 s%^exec_prefix\([ ]*\)=\([ ]*\).*$%exec_prefix\1=\2${prefix}%'
34 for file in .. Makefile
doc
/Makefile test
/Makefile
; do if [ "x$file" != "x.." ]; then
36 # Remove last slash and all that follows it. Not all systems have dirname.
37 dir
=`echo $file|sed 's%/[^/][^/]*$%%'`
38 if test "$dir" != "$file"; then
39 test "$top_srcdir" != .
&& srcdir
=$top_srcdir/$dir
40 test ! -d $dir && mkdir
$dir
44 echo "# Generated automatically from `echo $file|sed 's|.*/||'`.in by configure." > $file
48 s%@INSTALL@%$INSTALL%g
49 s%@INSTALL_PROGRAM@%$INSTALL_PROGRAM%g
50 s%@INSTALL_DATA@%$INSTALL_DATA%g
56 " $top_srcdir/${file}.
in >> $file