#!/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