blob: 70e6ff98a6b2e206d2c93508bcf39c7835ae9b85 (
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 -c -f || glibtoolize -c -f
aclocal -I config --force --install -Wall || aclocal -I config --force
autoheader -I config -f -Wall
touch NEWS README AUTHORS ChangeLog
touch stamp-h
autoconf -I config --force -Wall
automake -acf --foreign -Woverride -Wall
|
