Merge branch 'docker-deb-build'

1 files changed, 20 insertions, 0 deletions

diff --git a/tools/build-debian b/tools/build-debian
new file mode 100755
index 0000000..c64fc78
--- /dev/null
+++ b/tools/build-debian
@@ -0,0 +1,20 @@
+#!/bin/bash -e
+
+## tools/build-builder
+##
+## Builds a Debian package for the current tree. Output in ./target/debian.
+##
+## Requires the Debian builder (see tools/build-builder).
+
+cd "$(dirname "$0")/.."
+
+for platform in linux/arm64 linux/amd64; do
+	docker run \
+		--platform "$platform" \
+		--rm \
+		--interactive \
+		--tty \
+		--volume "$PWD:/app" \
+		"hi-debian-builder:$(tools/version)" \
+			cargo deb
+done