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