From 977cc0e51b2e687089cf72ec97a3055a4e84d60c Mon Sep 17 00:00:00 2001
From: Robert Norton <robert.norton@microsoft.com>
Date: Fri, 25 Jun 2021 15:17:58 +0100
Subject: Add a github action to check simulators build.

---
 .github/workflows/compile.yml | 24 ++++++++++++++++++++++++
 1 file changed, 24 insertions(+)
 create mode 100644 .github/workflows/compile.yml

(limited to '.github')

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
-- 
cgit v1.1