#!/bin/bash
# Run mypy or mypyc tests in a Docker container that was built using misc/docker/build.py.
#
# Usage: misc/docker/run.sh <command> <arg>...
#
# For example, run mypyc tests like this:
#
#   misc/docker/run.sh pytest mypyc
#
# NOTE: You may need to run this as root (using sudo).

SCRIPT_DIR=$(cd -- "$( dirname -- "${BASH_SOURCE[0]}" )" &> /dev/null && pwd)
MYPY_DIR="$SCRIPT_DIR/../.."

docker run -ti --rm -v "$MYPY_DIR:/repo" mypy-test /repo/misc/docker/run-wrapper.sh "$@"