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