From e0b3400048f15e100b2ff7dac8beee4a51d9db58 Mon Sep 17 00:00:00 2001 From: Trygve Laugstøl Date: Wed, 10 Aug 2016 14:22:26 +0200 Subject: o Better ./configure script. --- configure | 14 ++++++++++++++ 1 file changed, 14 insertions(+) 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