Use multiple threads for LTS as per upstream PR https://github.com/ri… #179
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 bb50f71dced35cd199554f0360a93b934e6443a1 && 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@v4 | |
| with: | |
| name: cheriot_sim | |
| path: install/ |