From: Mathias Preiner <mathias.preiner@gmail.com>
Date: Wed, 1 Apr 2020 04:31:13 +0000 (-0700)
Subject: Fix install for ANTLR contrib script and CI dependency caching. (#4196)
X-Git-Tag: cvc5-1.0.0~3415
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=6d43ef828f5cc84f05b2c52a1991f3fb8505db84;p=cvc5.git

Fix install for ANTLR contrib script and CI dependency caching. (#4196)
---

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 99654b794..705e0679d 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -87,7 +87,7 @@ jobs:
       uses: actions/cache@v1
       with:
         path: deps/install
-        key: ${{ runner.os }}-deps-${{ hashFiles('contrib/get-**.sh') }}-${{ hashFiles('.github/workflows/ci.yml') }}
+        key: ${{ runner.os }}-deps-${{ hashFiles('contrib/get-**') }}-${{ hashFiles('.github/workflows/ci.yml') }}
 
     - name: Setup Dependencies
       if: steps.restore-deps.outputs.cache-hit != 'true'
diff --git a/contrib/get-antlr-3.4 b/contrib/get-antlr-3.4
index 9ab0695b7..bc75e8339 100755
--- a/contrib/get-antlr-3.4
+++ b/contrib/get-antlr-3.4
@@ -26,15 +26,15 @@ if [ -z "${MACHINE_TYPE}" ]; then
   MACHINE_TYPE=$(${CONFIG_GUESS_SCRIPT} | sed 's,-.*,,')
 fi
 
-mkdir -p "$ANTLR_HOME_DIR/share/java"
+mkdir -p "$INSTALL_DIR/share/java"
 webget \
   "https://www.antlr3.org/download/antlr-3.4-complete.jar" \
-  "$ANTLR_HOME_DIR/share/java/antlr-3.4-complete.jar"
+  "$INSTALL_DIR/share/java/antlr-3.4-complete.jar"
 
 mkdir -p "$ANTLR_HOME_DIR/bin"
 tee "$ANTLR_HOME_DIR/bin/antlr3" <<EOF
 #!/usr/bin/env bash
-export CLASSPATH=$ANTLR_HOME_DIR/share/java/antlr-3.4-complete.jar:\$CLASSPATH
+export CLASSPATH=$INSTALL_DIR/share/java/antlr-3.4-complete.jar:\$CLASSPATH
 exec java org.antlr.Tool "\$@"
 EOF
 chmod a+x "$ANTLR_HOME_DIR/bin/antlr3"