From dd66ec42144b0c55c5f9f37ea8bf43c2f8521120 Mon Sep 17 00:00:00 2001
From: bjs <benjsimner@gmail.com>
Date: Sun, 19 May 2024 11:29:29 +0000
Subject: [PATCH] (github/ci) add toml-translator step to CI

---
 .github/workflows/ci.yml | 32 ++++++++++++++++++++++++++++++++
 1 file changed, 32 insertions(+)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 348ee1d..cb815e5 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -4,6 +4,7 @@ on:
   push:
     branches:
       - master
+      - prepare-litmus-toml-translator
   # pull_request: {}
 
 # cancel in-progress job when a new push is performed
@@ -30,6 +31,22 @@ jobs:
         sudo apt update
         sudo apt install build-essential gcc-aarch64-linux-gnu qemu-system-aarch64
 
+    -name: Setup rust
+    steps:
+      - uses: actions-rs/toolchain@v1
+        with:
+            toolchain: stable
+
+    -name: Setup rems-project dependencies
+    steps:
+        run: |
+          mkdir -p deps/rems-project deps/litmus-tests
+          cd deps/rems-project
+          git clone https://github.com/rems-project/isla
+          git clone https://github.com/rems-project/isla-snapshots
+          cd ../litmus-tests
+          git clone https://github.com/litmus-tests/litmus-tests-armv8a-system-vmsa/
+
     - name: Build harness
       run: |
         make build
@@ -42,3 +59,18 @@ jobs:
       run: |
         ./qemu_unittests --no-test-linear-concretization | tee log
         [ $(tail -c -2 log) -eq 0 ]
+
+    - name: Build tools
+      run: |
+        make tools
+
+    - name: Run TOML translator
+      run: |
+        make translate-toml-tests REMSORGDIR=deps/rems-project LITMUSORGDIR=deps/litmus-tests
+
+    - name: Compile translated tests
+      run: |
+        # should automatically discover and build new tests
+        make build
+        # validate by checking an arbitrarily-picked test was actually compiled
+        [ -f ./bin/litmus/litmus_tests/generated/pgtable/CoWinvT+po.litmus.toml.o ]
\ No newline at end of file