#!/usr/bin/env bash set -eu docker build --pull "$PWD/external/docker" -t spicetools/deps --platform linux/x86_64 docker build --build-context gitroot="$PWD/../../.git" . -t spicetools/spice:latest # Interactive TTY if available, so docker build can be Ctrl+C'd DOCKER_FLAGS="" [ -t 0 ] && DOCKER_FLAGS="-it" docker run $DOCKER_FLAGS --rm -v "$PWD/dist:/src/src/spice2x/dist" -v "$PWD/bin:/src/src/spice2x/bin" -v "$PWD/.ccache:/src/src/spice2x/.ccache" spicetools/spice "$@"