ci fixes

Signed-off-by: Lennard Gäher <l.gaeher@posteo.de>
IBM · Jul 12, 2024 · fb3c99e · fb3c99e
1 parent 23e671e
commit fb3c99e
Showing 1 changed file with 5 additions and 3 deletions.
diff --git a/.github/workflows/verify.yml b/.github/workflows/verify.yml
@@ -46,6 +46,10 @@ jobs:
       run: eval $(opam env) && REFINEDRUST_ROOT=$PWD/verification/refinedrust ./verification/refinedrust/scripts/install-typesystem.sh
     - name: Install RefinedRust stdlib
       run: eval $(opam env) && REFINEDRUST_ROOT=$PWD/verification/refinedrust ./verification/refinedrust/scripts/install-stdlib.sh
+    - name: Generate stdlib metadata
+      run: eval $(opam env) && make -C verification/refinedrust/stdlib generate_stdlib
+    - name: Exclude RefinedRust from dune build
+      run: echo "(dirs :standard \ generated_code.bak refinedrust)" > verification/dune
     - name: install build dependencies
       run: sudo apt -qq -y install wget autoconf automake autotools-dev curl python3 libmpc-dev libmpfr-dev libgmp-dev gawk build-essential bison flex texinfo gperf libtool patchutils bc zlib1g-dev libexpat-dev
     - name: install OpenSBI dependencies
@@ -56,7 +60,5 @@ jobs:
       run: source "$HOME/.cargo/env" && eval $(opam env) && make setup
     - name: make devtools
       run: source "$HOME/.cargo/env" && eval $(opam env) && make devtools
-    - name: Translate specified files using RefinedRust
+    - name: Translate specified files using RefinedRust and check proofs
       run: source "$HOME/.cargo/env" && eval $(opam env) && make verify
-    - name: Check proofs
-      run: eval $(opam env) && cd verification && dune build