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