160 lines
3.7 KiB
Bash
160 lines
3.7 KiB
Bash
#! /bin/sh
|
|
# Copyright (C) 2011-2017 Free Software Foundation, Inc.
|
|
#
|
|
# This program is free software; you can redistribute it and/or modify
|
|
# it under the terms of the GNU General Public License as published by
|
|
# the Free Software Foundation; either version 2, or (at your option)
|
|
# any later version.
|
|
#
|
|
# This program is distributed in the hope that it will be useful,
|
|
# but WITHOUT ANY WARRANTY; without even the implied warranty of
|
|
# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
|
|
# GNU General Public License for more details.
|
|
#
|
|
# You should have received a copy of the GNU General Public License
|
|
# along with this program. If not, see <http://www.gnu.org/licenses/>.
|
|
|
|
# Check that the developer can extend the site.exp generated by the
|
|
# automake-generated Makefile.
|
|
|
|
required=runtest
|
|
. test-init.sh
|
|
|
|
write_check_for ()
|
|
{
|
|
echo "send_user \"$1: \$$1\\n\""
|
|
unindent << END
|
|
if { \$$1 == "/$1/" } {
|
|
pass "test_$1"
|
|
} else {
|
|
fail "test_$1"
|
|
}
|
|
END
|
|
}
|
|
|
|
cat >> configure.ac << 'END'
|
|
AC_OUTPUT
|
|
END
|
|
|
|
cat > Makefile.am << 'END'
|
|
AUTOMAKE_OPTIONS = dejagnu
|
|
DEJATOOL = tool
|
|
|
|
EXTRA_DIST = tool.test/tool.exp
|
|
|
|
EXTRA_DEJAGNU_SITE_CONFIG = foo.exp
|
|
EXTRA_DIST += foo.exp
|
|
END
|
|
|
|
echo 'set foo "/foo/"' > foo.exp
|
|
|
|
mkdir tool.test
|
|
write_check_for foo > tool.test/tool.exp
|
|
cat tool.test/tool.exp
|
|
|
|
$ACLOCAL
|
|
$AUTOCONF
|
|
$AUTOMAKE --add-missing
|
|
|
|
./configure
|
|
|
|
$MAKE check
|
|
cat foo.exp
|
|
cat site.exp
|
|
grep 'PASS: test_foo' tool.sum
|
|
|
|
write_check_for bar >> tool.test/tool.exp
|
|
write_check_for baz >> tool.test/tool.exp
|
|
cat tool.test/tool.exp
|
|
|
|
# Ensure that foo.exp will be newer than site.exp, which will
|
|
# thus have to be remade.
|
|
$sleep
|
|
# With this, below we'll also check that settings in files coming later in
|
|
# $(EXTRA_DEJAGNU_SITE_CONFIG) override those in files coming earlier.
|
|
cat >> foo.exp <<'END'
|
|
set bar "/foo/"
|
|
set baz "/foo/"
|
|
set qux "/foo/"
|
|
END
|
|
|
|
$MAKE check && { cat site.exp; exit 1; }
|
|
grep 'PASS: test_foo' tool.sum
|
|
grep 'FAIL: test_bar' tool.sum
|
|
grep 'FAIL: test_baz' tool.sum
|
|
|
|
cat >> Makefile.am << 'END'
|
|
EXTRA_DEJAGNU_SITE_CONFIG += bar bar.dir/bar
|
|
EXTRA_DIST += bar
|
|
DISTCLEANFILES = bar.dir/bar
|
|
bar.dir/bar:
|
|
test -d bar.dir || mkdir bar.dir
|
|
echo 'set baz "/baz/"' > $@
|
|
END
|
|
|
|
echo 'set bar "/bar/"' > bar
|
|
# This will allow us to check one more time that settings in files
|
|
# coming later in $(EXTRA_DEJAGNU_SITE_CONFIG) override those in
|
|
# files coming earlier.
|
|
echo 'set baz "/xyz/"' >> bar
|
|
|
|
# Ensure that the Makefile will be newer than site.exp, which will
|
|
# thus have to be remade.
|
|
$sleep
|
|
$AUTOMAKE Makefile
|
|
./config.status Makefile
|
|
|
|
$MAKE check || { cat site.exp; exit 1; }
|
|
cat site.exp
|
|
cat bar.dir/bar
|
|
$FGREP '/bar/' site.exp
|
|
$FGREP '/baz/' site.exp
|
|
grep 'PASS: test_foo' tool.sum
|
|
grep 'PASS: test_bar' tool.sum
|
|
grep 'PASS: test_baz' tool.sum
|
|
|
|
# Check that the features we're testing behave well in VPATH builds.
|
|
$MAKE distcheck
|
|
|
|
# Check that the user can edit the site.exp file, and that his edits
|
|
# are retained.
|
|
write_check_for zardoz >> tool.test/tool.exp
|
|
cat tool.test/tool.exp
|
|
echo 'set zardoz "/zardoz/"' >> site.exp
|
|
|
|
$MAKE check
|
|
cat site.exp
|
|
grep 'PASS: test_zardoz' tool.sum
|
|
|
|
cat >> Makefile.am << 'END'
|
|
EXTRA_DEJAGNU_SITE_CONFIG += quux.exp
|
|
quux.exp:
|
|
echo 'set zardoz "/quux/"' > $@
|
|
END
|
|
|
|
# Ensure that the Makefile will be newer than on site.exp, which will
|
|
# thus have to be remade.
|
|
$sleep
|
|
$AUTOMAKE Makefile
|
|
./config.status Makefile
|
|
grep 'zardoz.*/quux/' Makefile
|
|
|
|
$MAKE site.exp
|
|
cat site.exp
|
|
cat quux.exp
|
|
grep 'zardoz.*/quux/' site.exp
|
|
|
|
$MAKE check
|
|
grep 'PASS: test_zardoz' tool.sum
|
|
grep 'zardoz: /zardoz/' tool.log
|
|
grep 'zardoz.*quux' tool.log && exit 1
|
|
|
|
# Check that files in $(EXTRA_DEJAGNU_SITE_CONFIG) are not distributed
|
|
# by default.
|
|
$MAKE distdir
|
|
ls -l $distdir
|
|
test ! -e $distdir/bar.dir/bar
|
|
test ! -e $distdir/quux.exp
|
|
|
|
:
|