#!/usr/bin/env bash
# Export environment variables
export VMODULES="$PWD"
export TMPDIR="$PWD"
# Put instructions to run the runtime
rename 's/$/\.v/' "$@" # Add .v extension
filename=$1.v
shift
v run $filename "$@"