Skip to content

Commit

Permalink
adding CI 37
Browse files Browse the repository at this point in the history
  • Loading branch information
moste00 committed Aug 30, 2024
1 parent 154142c commit 3f0a1a8
Showing 1 changed file with 2 additions and 0 deletions.
2 changes: 2 additions & 0 deletions .github/workflows/end2end-smoke-test.yml
Original file line number Diff line number Diff line change
Expand Up @@ -41,13 +41,15 @@ jobs:
- name: Running the generator
run: |
cd generator
mv riscv_ast.gen.inc old_riscv_ast.gen.inc
mv riscv_decode.gen.inc old_riscv_decode.gen.inc
dune exec --profile release -- riscv_disasm_from_sail -f sail.filepaths.txt
- name: Checking the generated code compiles and is identical to the committed generated code
run: |
cd generator
echo '#include "riscv_decode.gen.inc" void main() {}' > test_main.c
gcc test_main.c || { echo "Failure: Trying to compile the tool-generated C code failed."; exit 1; }
Expand Down

0 comments on commit 3f0a1a8

Please sign in to comment.