From: Mathias Preiner <mathias.preiner@gmail.com>
Date: Fri, 17 Apr 2020 05:50:05 +0000 (-0700)
Subject: antlr: Use relative path in ANTLR script. (#4324)
X-Git-Tag: cvc5-1.0.0~3357
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=b4eeffd63cc00369ec6b47ed4289577af3dec4eb;p=cvc5.git

antlr: Use relative path in ANTLR script. (#4324)

This will fix the CI caching issues we sometimes encountered on GH actions.
---

diff --git a/contrib/get-antlr-3.4 b/contrib/get-antlr-3.4
index bc75e8339..45dc86583 100755
--- a/contrib/get-antlr-3.4
+++ b/contrib/get-antlr-3.4
@@ -34,8 +34,8 @@ webget \
 mkdir -p "$ANTLR_HOME_DIR/bin"
 tee "$ANTLR_HOME_DIR/bin/antlr3" <<EOF
 #!/usr/bin/env bash
-export CLASSPATH=$INSTALL_DIR/share/java/antlr-3.4-complete.jar:\$CLASSPATH
-exec java org.antlr.Tool "\$@"
+JAR_FILE="\$(find "\$(dirname "\$0")/../" -name antlr-3.4-complete.jar)"
+exec java -cp "\$JAR_FILE" org.antlr.Tool "\$@"
 EOF
 chmod a+x "$ANTLR_HOME_DIR/bin/antlr3"
 install_bin "$ANTLR_HOME_DIR/bin/antlr3"