diff options
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 |