some fixes and organizational adjustments to assert code, parsers/lexers, and build process

1 files changed, 33 insertions, 1 deletions

diff --git a/autogen.sh b/autogen.sh
index 5f2611c91..5f0dc09e0 100755
--- a/autogen.sh
+++ b/autogen.sh
@@ -1,4 +1,36 @@
-#!/bin/sh -ex
+#!/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'
+autoheader_version='autoheader (GNU Autoconf) 2.64'
+aclocal_version='aclocal (GNU automake) 1.11'
+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