mirror of
git://git.savannah.gnu.org/libtool.git
synced 2024-12-27 07:09:26 +08:00
31 lines
839 B
Plaintext
31 lines
839 B
Plaintext
|
#! /bin/sh
|
||
|
|
# demo-pic.test - try configuring the ../demo subdirectory
|
||
|
|
|
||
|
|
# Test script header.
|
||
|
|
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
|
||
|
|
|
||
|
|
# Maybe we have a VPATH build, in which case, create a new subdir.
|
||
|
|
test -d ../demo || mkdir ../demo
|
||
|
|
|
||
|
|
# Change to our build directory.
|
||
|
|
cd ../demo || exit 1
|
||
|
|
|
||
|
|
# Possibly clean up the distribution.
|
||
|
|
if test -f Makefile; then
|
||
|
|
echo "= Running $make distclean in ../demo"
|
||
|
|
$make distclean
|
||
|
|
fi
|
||
|
|
rm -f config.cache
|
||
|
|
|
||
|
|
# Configure the demonstration.
|
||
|
|
echo "= Configuring in ../demo (prefix=$prefix) with --with-pic"
|
||
|
|
CONFIG_SITE=/dev/null ${CONFIG_SHELL-/bin/sh} $srcdir/../demo/configure --srcdir=$srcdir/../demo --prefix=$prefix --with-pic=yes || exit 1
|
||
|
|
|
||
|
|
exit 0
|