blob: ca6569f408f51bcd539151170d7e3fd28f9803a7 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
|
name: CI
on: [push]
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 RV32 simulators
run: eval $(opam env) && make ARCH=RV32 -j2 csim rvfi osim
- name: Build RV64 simulators
run: eval $(opam env) && make ARCH=RV64 -j2 csim rvfi osim
|
