From 8959f7a054cfc3376f7d74de2b9da5edb0a7253e Mon Sep 17 00:00:00 2001
From: Christian Bauer <Christian.Bauer@uni-mainz.de>
Date: Wed, 28 Feb 2001 20:02:24 +0000
Subject: [PATCH] updated to "autogen.sh Professional"

---
 autogen.sh | 48 +++++++++++++++++++++++++++++++++++++++++++-----
 1 file changed, 43 insertions(+), 5 deletions(-)

diff --git a/autogen.sh b/autogen.sh
index 0e0fc0f8..be40eb8d 100755
--- a/autogen.sh
+++ b/autogen.sh
@@ -1,6 +1,44 @@
 #! /bin/sh
-aclocal
-autoheader
-autoconf
-automake
-./configure $*
+# Run this to generate all the initial makefiles, etc.
+# This was lifted from the Gimp, and adapted slightly by
+# Christian Bauer.
+
+DIE=0
+
+PROG=GiNaC
+
+(autoconf --version) < /dev/null > /dev/null 2>&1 || {
+        echo
+        echo "You must have autoconf installed to compile $PROG."
+        echo "Download the appropriate package for your distribution,"
+        echo "or get the source tarball at ftp://ftp.gnu.org/pub/gnu/"
+        DIE=1
+}
+
+(automake --version) < /dev/null > /dev/null 2>&1 || {
+        echo
+        echo "You must have automake installed to compile $PROG."
+        echo "Get ftp://ftp.gnu.org/pub/gnu/automake-1.4.tar.gz"
+        echo "(or a newer version if it is available)"
+        DIE=1
+}
+
+if test "$DIE" -eq 1; then
+        exit 1
+fi
+
+if test -z "$*"; then
+        echo "I am going to run ./configure with no arguments - if you wish "
+        echo "to pass any to it, please specify them on the $0 command line."
+fi
+
+for dir in .
+do 
+  echo processing $dir
+  (cd $dir; \
+  aclocalinclude="$ACLOCAL_FLAGS"; \
+  aclocal $aclocalinclude; \
+  autoheader; automake -a; autoconf)
+done
+
+./configure "$@"
-- 
2.44.0