Set up Wocky in autogen.sh

1 files changed, 13 insertions, 0 deletions

diff --git a/autogen.sh b/autogen.sh
index 5b32d48b..b6dff981 100755
--- a/autogen.sh
+++ b/autogen.sh
@@ -16,6 +16,19 @@ fi
 
 autoreconf -i -f
 
+# Fetch Wocky if needed
+if test ! -f lib/ext/wocky/autogen.sh;
+then
+  echo "+ Setting up Wocky submodule"
+  git submodule init
+fi
+git submodule update
+
+# launch Wocky's autogen.sh
+cd lib/ext/wocky
+sh autogen.sh --no-configure
+cd ../../..
+
 run_configure=true
 for arg in $*; do
     case $arg in