Install tlapm by extracting it

Signed-off-by: Andrew Helwer <[email protected]>
tlaplus · Oct 28, 2023 · 6f60086 · 6f60086
1 parent 39191e3
commit 6f60086
Showing 1 changed file with 9 additions and 3 deletions.
diff --git a/.github/workflows/pr.yml b/.github/workflows/pr.yml
@@ -56,9 +56,15 @@ jobs:
                 path: tlaplus-examples
             - name: Check proofs in TLA+ examples
               run: |
-                python tlaplus-examples/.github/scripts/check_proofs.py \
-                  --tlapm_path _build/install/default                   \
-                  --manifest_path tlaplus-examples/manifest.json
+                EXAMPLES_DIR=tlaplus-examples
+                mkdir $EXAMPLES_DIR/deps
+                cp ./_build/tlaps*.tar.gz $EXAMPLES_DIR/deps/tlaps.tar.gz
+                tar -xzf $EXAMPLES_DIR/deps/tlaps.tar.gz -C $EXAMPLES_DIR/deps
+                rm $EXAMPLES_DIR/deps/tlaps.tar.gz
+                mv $EXAMPLES_DIR/deps/tlaps* $EXAMPLES_DIR/deps/tlapm-install
+                python $EXAMPLES_DIR/.github/scripts/check_proofs.py \
+                  --tlapm_path $EXAMPLES_DIR/deps/tlapm-install      \
+                  --manifest_path $EXAMPLES_DIR/manifest.json
             - name: Run a subset of `tlapm` tests
               run: |
                 eval $(opam env)