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