#! /bin/sh
need_prefix=no
if test -z "$srcdir"; then
srcdir=`echo "$0" | sed 's%/[^/]*$%%'`
test "$srcdir" = "$0" && srcdir=.
test "${VERBOSE+set}" != "set" && VERBOSE=yes
fi
. $srcdir/defs || exit 1
test -d ../demo || mkdir ../demo
cd ../demo || exit 1
if test -f Makefile; then
echo "= Running $make distclean in ../demo"
$make distclean
fi
rm -f config.cache
echo "= Configuring in ../demo (prefix=$prefix) with --with-pic"
CONFIG_SITE=/dev/null/config/site ${CONFIG_SHELL-/bin/sh} $srcdir/../demo/configure --srcdir=$srcdir/../demo --prefix=$prefix --with-pic=yes || exit 1
exit 0