Builds on knulli

scripts/build-rg35xxh-docker.sh

@@ -0,0 +1,3 @@
+#!/bin/bash
+docker build -t dusk-rg35xxh -f docker/knulli/Dockerfile .
+docker run --rm -v $(pwd):/workdir dusk-rg35xxh /bin/bash -c "./scripts/build-rg35xxh.sh"

scripts/build-rg35xxh.sh

@@ -0,0 +1,7 @@
+#!/bin/bash
+cmake -S . -B build-rg35xxh -G Ninja \
+  -DDUSK_BUILD_TESTS=ON \
+  -DDUSK_TARGET_SYSTEM=rg35xxh \
+  -DCMAKE_TOOLCHAIN_FILE=./cmake/toolchains/aarch64-linux-gnu.cmake \
+  -DCMAKE_BUILD_TYPE=Release
+cmake --build build-rg35xxh -- -j$(nproc)