From 97315cd612790f282e01696bd39577fc50e84c82 Mon Sep 17 00:00:00 2001
From: Matthieu Herrb <matthieu.herrb@laas.fr>
Date: Tue, 17 Jul 2018 18:33:28 +0200
Subject: [PATCH] Add a standard autogen.sh script

---
 autogen.sh | 13 +++++++++++++
 1 file changed, 13 insertions(+)
 create mode 100644 autogen.sh

diff --git a/autogen.sh b/autogen.sh
new file mode 100644
index 0000000..bb05f17
--- /dev/null
+++ b/autogen.sh
@@ -0,0 +1,13 @@
+#! /bin/sh
+srcdir=`dirname "$0"`
+test -z "$srcdir" && srcdir=.
+
+ORIGDIR=`pwd`
+cd "$srcdir"
+
+autoreconf -v --install || exit 1
+cd "$ORIGDIR" || exit $?
+
+if test -z "$NOCONFIGURE"; then
+    exec "$srcdir"/configure "$@"
+fi