diff options
Diffstat (limited to 'scripts/docker_test.sh')
| -rwxr-xr-x | scripts/docker_test.sh | 18 |
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 +' |
