1 files changed, 50 insertions, 0 deletions
diff --git a/configure b/configure
new file mode 100755
index 0000000..6ea0218
--- /dev/null
+++ b/configure
@@ -0,0 +1,50 @@
+#! /bin/sh
+
+quick_fwd=
+for arg
+do
+  case "$arg" in
+    -help | --help | --hel | --he)
+      quick_fwd=yes
+      break ;;
+    -version | --version | --versio | --versi | --vers)
+      quick_fwd=yes
+      break ;;
+    *)
+      break ;;
+  esac
+done
+if test "x$quick_fwd" = xyes
+then
+  support/configure $*
+else
+  echo "retrieving the system name, type and OS release..."
+  rev=`support/config.guess`
+  if test "${rev}" 		# test for no output
+  then
+    echo "  your system seems to be ${rev}."
+    if test ! -d "${rev}"
+    then
+      echo "creating directory ${rev}..."
+      mkdir "${rev}"
+    fi
+    cd "${rev}"
+    echo "now working in directory ${rev}..."
+    cp -p ../support/configure .
+   if test ! -f config.h
+   then
+     echo "copying config.h from config.h.dist..."
+     cp -p ../support/config.h.dist config.h
+   fi
+    ./configure $*
+    if test $? = 0
+    then
+      echo "Have you read doc/README? (I hope so)"
+      echo "Next cd ${rev}, edit \"config.h\" and \"Makefile\","
+      echo "run \"make all\" to build and \"make install\" to install."
+    fi
+  else
+    echo Failed to determine your host type, giving up.
+    echo Perhaps you should specify it manually.
+  fi
+fi