From: Tom Smeding <tomsmeding@users.noreply.github.com>
Date: Fri, 23 Nov 2018 07:31:21 +0000 (+0100)
Subject: Use https for antlr3.org downloads (#2701)
X-Git-Tag: cvc5-1.0.0~4354
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=391ab9df6c3fd9a3771864900c1718534c1e4666;p=cvc5.git

Use https for antlr3.org downloads (#2701)

This commit changes the two www,antlr3.org URL's in contrib/get-antlr-3.4 to use https instead of http, which is more secure.
---

diff --git a/contrib/get-antlr-3.4 b/contrib/get-antlr-3.4
index b2b722ebb..670fc3b41 100755
--- a/contrib/get-antlr-3.4
+++ b/contrib/get-antlr-3.4
@@ -31,8 +31,8 @@ mkdir -p $ANTLR_HOME_DIR/share/java
 mkdir -p $ANTLR_HOME_DIR/bin
 mkdir -p $ANTLR_HOME_DIR/src
 cd $ANTLR_HOME_DIR || exit 1
-webget http://www.antlr3.org/download/antlr-3.4-complete.jar share/java/antlr-3.4-complete.jar 
-webget http://www.antlr3.org/download/C/libantlr3c-3.4.tar.gz src/libantlr3c-3.4.tar.gz
+webget https://www.antlr3.org/download/antlr-3.4-complete.jar share/java/antlr-3.4-complete.jar 
+webget https://www.antlr3.org/download/C/libantlr3c-3.4.tar.gz src/libantlr3c-3.4.tar.gz
 tee bin/antlr3 <<EOF
 #!/bin/bash
 export CLASSPATH=`pwd`/share/java/antlr-3.4-complete.jar:\$CLASSPATH