From 3c047f54c22670835fe39d3056072042f937319b Mon Sep 17 00:00:00 2001
From: Ivan Velickovic <i.velickovic@unsw.edu.au>
Date: Mon, 15 Jul 2024 16:03:39 +1000
Subject: [PATCH] ci: add virtio-snd building

Signed-off-by: Ivan Velickovic <i.velickovic@unsw.edu.au>
---
 .github/workflows/ci.yaml |  4 ++++
 ci/examples.sh            | 26 ++++++++++++++++++++++++--
 2 files changed, 28 insertions(+), 2 deletions(-)

diff --git a/.github/workflows/ci.yaml b/.github/workflows/ci.yaml
index fcb793e8..19507f37 100644
--- a/.github/workflows/ci.yaml
+++ b/.github/workflows/ci.yaml
@@ -41,6 +41,10 @@ jobs:
         run: |
           wget https://github.com/seL4/microkit/releases/download/1.4.1/microkit-sdk-1.4.1-linux-x86-64.tar.gz
           tar xf microkit-sdk-1.4.1-linux-x86-64.tar.gz
+      - name: Install Nix
+        uses: cachix/install-nix-action@v25
+        with:
+          nix_path: nixpkgs=channel:nixos-unstable
       - name: Install dependencies (via apt)
         # 'expect' is only a dependency for CI testing
         run: sudo apt update && sudo apt install -y make clang lld llvm qemu-system-arm device-tree-compiler expect gcc-aarch64-linux-gnu
diff --git a/ci/examples.sh b/ci/examples.sh
index 46ed5e43..bdf02885 100755
--- a/ci/examples.sh
+++ b/ci/examples.sh
@@ -101,6 +101,23 @@ build_virtio() {
         MICROKIT_SDK=${SDK_PATH}
 }
 
+build_virtio_snd() {
+    BOARD=$1
+    CONFIG=$2
+    echo "CI|INFO: building virtio sound example via Make with board: $BOARD and config: $CONFIG"
+    BUILD_DIR="${PWD}/build/examples/virtio-snd/make/${BOARD}/${CONFIG}"
+    mkdir -p ${BUILD_DIR}
+    pushd examples/virtio-snd
+    nix-shell
+    make -B \
+        BUILD_DIR=${BUILD_DIR} \
+        MICROKIT_CONFIG=${CONFIG} \
+        MICROKIT_BOARD=${BOARD} \
+        MICROKIT_SDK=${SDK_PATH}
+    exit
+    popd
+}
+
 simulate_zig() {
     echo "CI|INFO: simulating Zig example with config: $1"
     BUILD_DIR="${PWD}/build/examples/zig/qemu_virt_aarch64/${CONFIG}/${ZIG_OPTIMIZE}"
@@ -153,8 +170,13 @@ simulate_zig "release" "ReleaseSmall"
 
 build_virtio "qemu_virt_aarch64" "debug"
 build_virtio "qemu_virt_aarch64" "release"
-# build_virtio "odroidc4" "debug"
-# build_virtio "odroidc4" "release"
+build_virtio "odroidc4" "debug"
+build_virtio "odroidc4" "release"
+
+build_virtio_snd "qemu_virt_aarch64" "debug"
+build_virtio_snd "qemu_virt_aarch64" "release"
+build_virtio_snd "odroidc4" "debug"
+build_virtio_snd "odroidc4" "release"
 
 echo ""
 echo "CI|INFO: Passed all VMM tests"