Skip to content
CI

Track ibex branch of sail-riscv #245

Sign in to view logs

Track ibex branch of sail-riscv

Track ibex branch of sail-riscv #245

Workflow file for this run

.github/workflows/compile.yml at 31258f9
name: CI
on: [push, pull_request]
jobs:
build:
runs-on: [ubuntu-18.04]
steps:
- name: Install opam2
run: |
sudo add-apt-repository -y ppa:avsm/ppa
sudo apt install -y opam zlib1g-dev pkg-config libgmp-dev z3
- name: Init opam
run: opam init --disable-sandboxing -y
- name: Install sail
run: opam install -y sail
- name: Check out repository code
uses: actions/checkout@HEAD
with:
submodules: true
- name: Build simulators
run: eval $(opam env) && make -j4 c_emulator/cheri_riscv_{sim,rvfi}_RV{32,64}