Fix auto-tests

Author: xaionaro@dx.center

.github/workflows/ci.yml

@@ -23,6 +23,19 @@ jobs:
         with:
           go-version: ${{ matrix.go-version }}
 
+      - name: Install elan (Lean 4 toolchain manager)
+        run: |
+          curl https://raw.githubusercontent.com/leanprover/elan/master/elan-init.sh -sSf | sh -s -- -y --default-toolchain none
+          echo "$HOME/.elan/bin" >> "$GITHUB_PATH"
+
+      - name: Cache Lean toolchain and Lake packages
+        uses: actions/cache@v4
+        with:
+          path: |
+            ~/.elan/toolchains
+            proofs/.lake
+          key: lean-${{ runner.os }}-${{ hashFiles('proofs/lean-toolchain') }}-${{ hashFiles('proofs/lakefile.toml') }}
+
       - name: Unit tests
         run: make test
 

Makefile

@@ -1,5 +1,5 @@
 .PHONY: specs generate cli readme test e2e e2e-bindercli vet build lint clean \
-       bindercli list-commands check-generated release proofs difftest
+       bindercli list-commands check-generated release proofs difftest javaparser
 
 # Generated top-level directories.
 GENERATED_DIRS := android com fuzztest libgui_test_server parcelables src
@@ -31,6 +31,12 @@ cli: specs
 readme: specs
 	go run ./tools/cmd/spec2readme -specs specs/ -output README.md
 
+# --- Parser ---
+
+# Regenerate ANTLR Java parser (requires Java 11+).
+javaparser:
+	cd tools/pkg/javaparser && ./generate.sh
+
 # --- Proofs ---
 
 # Build Lean 4 proofs (requires elan/lake toolchain).