diff options
Diffstat (limited to 'configure')
-rwxr-xr-x | configure | 14 |
1 files changed, 14 insertions, 0 deletions
@@ -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=() |