From c737c73d05b4aaf3419be11d28e4a9db2520c055 Mon Sep 17 00:00:00 2001 From: Marko Budiselic Date: Tue, 13 Jun 2017 11:19:29 +0200 Subject: [PATCH] Antlr download. Summary: Bug fix. Don't create a backup file on new wget download. Reviewers: teon.banek Reviewed By: teon.banek Subscribers: pullbot, buda Differential Revision: https://phabricator.memgraph.io/D462 --- libs/setup.sh | 8 +++++++- 1 file changed, 7 insertions(+), 1 deletion(-) diff --git a/libs/setup.sh b/libs/setup.sh index 9b5b939b4..dd2aeebe2 100755 --- a/libs/setup.sh +++ b/libs/setup.sh @@ -1,7 +1,13 @@ #!/bin/bash +# Download external dependencies. + +working_dir="$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )" +cd ${working_dir} + # antlr -wget http://www.antlr.org/download/antlr-4.6-complete.jar +antlr_generator_filename="antlr-4.6-complete.jar" +wget -O ${antlr_generator_filename} http://www.antlr.org/download/${antlr_generator_filename} git clone https://github.com/antlr/antlr4.git antlr4_tag="aacd2a2c95816d8dc1c05814051d631bfec4cf3e" # v4.6 cd antlr4