blob: 3ebd6c6a70afe57d1a9c30aefc597a61264b25ee (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
|
#!/bin/sh
# Expected versions of tools.
#
# If the installed autotools aren't these versions, issue a warning
# about checking results into subversion.
libtoolize_version='libtoolize (GNU libtool) 2.2.6'
aclocal_version='aclocal (GNU automake) 1.11'
autoheader_version='autoheader (GNU Autoconf) 2.64'
autoconf_version='autoconf (GNU Autoconf) 2.64'
automake_version='automake (GNU automake) 1.11'
# first, check versions of tools
warning=
for tool in libtoolize autoheader aclocal autoconf automake; do
version=`eval echo '${'$tool'_version}'`
if $tool --version | grep -Fq "$version"; then :; else
echo "WARNING: [$tool] Expected $version."
warning=yes
fi
done
if test -n "$warning"; then
echo "WARNING:"
echo "WARNING: Due to the above unexpected versions of autotools, please do not commit"
echo "WARNING: the files these tools generate to CVC4 svn."
echo
fi
# now do a standard autogen
set -ex
cd "$(dirname "$0")"
libtoolize --copy
aclocal -I config
autoheader -I config
touch NEWS README AUTHORS ChangeLog
touch stamp-h
autoconf -I config
automake -ac --foreign -Woverride
|