adding CI 35 #35
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| on: | |
| - push | |
| jobs: | |
| smoke-test: | |
| runs-on: ubuntu-latest | |
| steps: | |
| - name: Set up the Ocaml toolchain | |
| run: | | |
| sudo apt-get install bubblewrap | |
| echo "" | bash -c "sh <(curl -fsSL https://raw.githubusercontent.com/ocaml/opam/master/shell/install.sh)" | |
| echo "1" | opam init | |
| opam install dune | |
| - name: Fetching the generator sources | |
| uses: actions/checkout@v4 | |
| with: | |
| path: generator | |
| - name: Getting the hash of the riscv sail model to fetch | |
| id: sail-riscv-model-get-hash | |
| run: echo "h=$(cat sail.hash.txt)" >> "$GITHUB_OUTPUT" | |
| - name: Fetching the riscv sail model | |
| uses: actions/checkout@v4 | |
| with: | |
| repository: riscv/sail-riscv | |
| ref: ${{ steps.sail-riscv-model-get-hash.outputs.h }} | |
| path: sail-riscv/ | |
| sparse-checkout: model | |
| - name: Running the generator | |
| run: | | |
| cd generator | |
| source ~/.bash_profile | |
| export OPAMCONFIRMLEVEL=yes | |
| export OCAMLRUNPARAM=b | |
| opam install . --deps-only | |
| opam install sail=0.17.1 | |
| sudo apt-get install z3 | |
| 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 | |
| echo '#include "riscv_decode.gen.inc" \n void main() {}' > test_main.c | |
| gcc test_main.c || echo "Failure: Trying to compile the tool-generated C code failed." | |
| if diff -q riscv_ast.gen.inc old_riscv_ast.gen.inc > /dev/null 2>&1; then | |
| if diff -q riscv_decode.gen.inc old_riscv_decode.gen.inc > /dev/null 2>&1; then | |
| echo "Success: The tool generates compiling C code that is identical to the files committed." | |
| else | |
| echo "Failure: The tool-generated decoding logic differ from that committed in the repo." | |
| exit 1 | |
| fi | |
| else | |
| echo "Failure: The tool-generated ast definition differ from the one committed in the repo." | |
| exit 1 | |
| fi |