From e0b3400048f15e100b2ff7dac8beee4a51d9db58 Mon Sep 17 00:00:00 2001
From: Trygve Laugstøl <trygvis@inamo.no>
Date: Wed, 10 Aug 2016 14:22:26 +0200
Subject: o Better ./configure script.

---
 configure | 14 ++++++++++++++
 1 file changed, 14 insertions(+)

(limited to 'configure')

diff --git a/configure b/configure
index 4aaae1c..54e3c67 100755
--- a/configure
+++ b/configure
@@ -19,6 +19,20 @@ cd $BASEDIR
 
 NEW=`test -d build && echo 1 || true`
 
+git submodule init
+git submodule sync
+git submodule update
+
+if [[ ! -d thirdparty/antlr4/runtime/Cpp/build ]]
+then
+  cd thirdparty/antlr4
+  mvn install
+  cd runtime/Cpp/build
+  mkdir thirdparty/antlr4/runtime/Cpp/build
+  cmake .. -DCMAKE_INSTALL_PREFIX=$HOME/opt/antlr4-cpp
+  make install -j8
+fi
+
 mkdir -p build
 
 CMAKE_OPTS=()
-- 
cgit v1.2.3