3 # Expected versions of tools.
5 # If the installed autotools aren't these versions, issue a warning
6 # about checking results into subversion.
7 libtoolize_version
='libtoolize (GNU libtool) 2.2.6'
8 aclocal_version
='aclocal (GNU automake) 1.11'
9 autoheader_version
='autoheader (GNU Autoconf) 2.64'
10 autoconf_version
='autoconf (GNU Autoconf) 2.64'
11 automake_version
='automake (GNU automake) 1.11'
13 # first, check versions of tools
16 for tool
in libtoolize autoheader aclocal autoconf automake
; do
17 version
=`eval echo '${'$tool'_version}'`
18 if $tool --version |
grep -Fq "$version"; then :; else
19 echo "WARNING: [$tool] Expected $version."
24 if test -n "$warning"; then
26 echo "WARNING: Due to the above unexpected versions of autotools, please do not commit"
27 echo "WARNING: the files these tools generate to CVC4 svn."
31 # now do a standard autogen
36 libtoolize
-c -f || glibtoolize
-c -f
37 aclocal
-I config
--force --install -Wall || aclocal
-I config
--force
38 autoheader
-I config
-f -Wall
39 touch NEWS README AUTHORS ChangeLog
41 autoconf
-I config
--force -Wall
42 automake
-acf --foreign -Woverride -Wall