diff options
| author | Robert Norton <robert.norton@microsoft.com> | 2021-06-25 15:17:58 +0100 |
|---|---|---|
| committer | Robert Norton <robert.norton@microsoft.com> | 2021-06-25 15:17:58 +0100 |
| commit | 977cc0e51b2e687089cf72ec97a3055a4e84d60c (patch) | |
| tree | ecd6d6cf288838ab87e8afd53fb6298f86838bce /.github | |
| parent | ea543de648bf0d399bf8af053e897f0fb46123a0 (diff) | |
| download | sail-riscv-977cc0e51b2e687089cf72ec97a3055a4e84d60c.zip sail-riscv-977cc0e51b2e687089cf72ec97a3055a4e84d60c.tar.gz sail-riscv-977cc0e51b2e687089cf72ec97a3055a4e84d60c.tar.bz2 | |
Add a github action to check simulators build.
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/compile.yml | 24 |
1 files changed, 24 insertions, 0 deletions
diff --git a/.github/workflows/compile.yml b/.github/workflows/compile.yml new file mode 100644 index 0000000..ca6569f --- /dev/null +++ b/.github/workflows/compile.yml @@ -0,0 +1,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 |