aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rwxr-xr-xconfigure14
1 files changed, 14 insertions, 0 deletions
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=()