Use dev version of sail from github for CI. #156
Workflow file for this run
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
| name: CI | |
| on: [push, pull_request] | |
| jobs: | |
| build: | |
| runs-on: [ubuntu-20.04] | |
| steps: | |
| - name: Install dependencies | |
| run: | | |
| sudo apt update | |
| sudo apt install -y --no-install-recommends opam zlib1g-dev pkg-config libgmp-dev z3 cvc4 texlive-plain-generic texlive-latex-base texlive-latex-recommended texlive-latex-extra texlive-science texlive-fonts-recommended texlive-fonts-extra texlive-bibtex-extra texlive-extra-utils latexmk | |
| - name: Init opam | |
| run: opam init -y | |
| - name: Install sail | |
| run: git clone -n https://github.com/rems-project/sail.git && cd sail && git checkout 6be215fc13678b4c9c6b0a1d097121da9099c1cb && opam install -y . | |
| - name: Check out repository code | |
| uses: actions/checkout@HEAD | |
| with: | |
| submodules: true | |
| - name: Build simulators | |
| run: | | |
| eval $(opam env) && make csim | |
| mkdir install | |
| cp c_emulator/cheriot_sim install | |
| cp LICENSE install/LICENCE-cheriot-sail | |
| cp sail-riscv/LICENCE install/LICENCE-sail-riscv | |
| - name: Build arch doc | |
| run: | | |
| eval $(opam env) && make -C archdoc | |
| cp archdoc/cheriot-architecture.pdf install | |
| - name: Upload simulator artifact | |
| uses: actions/upload-artifact@v3 | |
| with: | |
| name: cheriot_sim | |
| path: install/ |