test: add automated docker testing for the whole test suite

1 files changed, 18 insertions, 0 deletions

diff --git a/scripts/docker_test.sh b/scripts/docker_test.sh
new file mode 100755
index 0000000..93f0bca
--- /dev/null
+++ b/scripts/docker_test.sh
@@ -0,0 +1,18 @@
+#!/usr/bin/env bash
+# Convenience wrapper: build hdass and run the full test suite (unit tests plus
+# the end-to-end example tests) inside the amd64 Linux Docker environment.
+# Run this from the host; it brings the container up if it is not already.
+set -euo pipefail
+
+root="$(cd "$(dirname "$0")/.." && pwd)"
+cd "$root"
+
+docker compose up -d
+
+docker compose exec -T hdass bash -c '
+	set -e
+	premake5 gmake
+	make config=debug
+	./bin/debug-linux/tests
+	./scripts/test_examples.sh
+'