yesod-mirror/tools/tanka_runner.sh

21 lines
425 B
Bash
Raw Normal View History

#!/bin/bash
# Generic runner for the tanka_shim
SHIM_PATH="$1"
SPEC_PATH="$2"
MAIN_PATH="$3"
ACTION="$4"
# Handle relative paths from Bazel run
if [[ "$SHIM_PATH" != /* ]]; then
SHIM_PATH="$PWD/$SHIM_PATH"
fi
if [[ "$SPEC_PATH" != /* ]]; then
SPEC_PATH="$PWD/$SPEC_PATH"
fi
if [[ "$MAIN_PATH" != /* ]]; then
MAIN_PATH="$PWD/$MAIN_PATH"
fi
exec "$SHIM_PATH" --spec "$SPEC_PATH" --main "$MAIN_PATH" --action "$ACTION"