Skip to content
CI

Create backward sentries for function returns and add more checks in cjalr #168

Sign in to view logs

Create backward sentries for function returns and add more checks in cjalr

Create backward sentries for function returns and add more checks in cjalr #168

Workflow file for this run

.github/workflows/compile.yml at 04aa9c3
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/