added a step to explicitly generate the Coq files

GaloisInc · Mar 17, 2022 · 2848803 · 2848803
1 parent 993c305
commit 2848803
Showing 1 changed file with 8 additions and 3 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -267,11 +267,16 @@ jobs:
 
       - run: opam install -y coq=8.13.2 coq-bits=1.1.0
 
-      # FIXME: the following generates Coq libraries for the SAW core to Coq
-      # translator and build them; if we do other Coq tests, this step should
-      # become its own build artifact, to avoid re-compiling the Coq libraries
+      # FIXME: the following steps generate Coq libraries for the SAW core to
+      # Coq translator and builds them; if we do other Coq tests, these steps
+      # should become their own build artifact, to avoid re-compiling the Coq
+      # libraries
+      - working-directory: saw-core-coq/saw
+        run: saw generate_scaffolding.saw
+
       - working-directory: saw-core-coq/coq
         shell: bash
+        path: dist/bin
         run: opam exec -- make -j
 
       - working-directory: heapster-saw/examples