Merge branch 'main' into wip/mobile

3 files changed, 45 insertions, 0 deletions

diff --git a/tools/build-builder b/tools/build-builder
new file mode 100755
index 0000000..fcb1e84
--- /dev/null
+++ b/tools/build-builder
@@ -0,0 +1,14 @@
+#!/bin/bash -e
+
+## tools/build-builder
+##
+## Builds a Docker image containing the Debian package builder.
+
+cd "$(dirname "$0")/.."
+
+docker build \
+	--platform "linux/arm64,linux/amd64" \
+	--tag "hi-debian-builder:$(tools/version)" \
+	--tag "hi-debian-builder:latest" \
+	--file Dockerfile.builder \
+	.
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
diff --git a/tools/version b/tools/version
new file mode 100755
index 0000000..8e47a7c
--- /dev/null
+++ b/tools/version
@@ -0,0 +1,11 @@
+#!/bin/bash -e
+
+## tools/version
+##
+## Print the current version of the project to stdout. Data comes from Cargo.
+
+cd "$(dirname "$0")/.."
+
+cargo metadata \
+	--format-version 1 |
+jq -r '.packages[] | select(.name == "hi") | .version'