Add version history as an appendix in architecture document. #100
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: opam pin -y sail 0.16 | |
| - name: Check out repository code | |
| uses: actions/checkout@HEAD | |
| with: | |
| submodules: true | |
| - name: Build simulators | |
| run: | | |
| # fake committer details to satisfy git am | |
| git config --global user.name "No One" | |
| git config --global user.email "[email protected]" | |
| make patch_sail_riscv | |
| 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/ |