2021-03-20 01:46:54 +01:00
|
|
|
#!/usr/bin/env bash
|
|
|
|
|
|
|
|
|
|
# Export environment variables
|
|
|
|
|
export VMODULES="$PWD"
|
|
|
|
|
export TMPDIR="$PWD"
|
|
|
|
|
|
|
|
|
|
# Put instructions to run the runtime
|
2021-04-24 10:08:48 +02:00
|
|
|
|
2021-09-15 11:33:02 +02:00
|
|
|
filename=$1
|
|
|
|
|
|
|
|
|
|
rename 's/$/\.v/' $filename # Add .v extension
|
2021-04-24 10:08:48 +02:00
|
|
|
|
|
|
|
|
shift
|
2021-09-15 11:33:02 +02:00
|
|
|
v run $filename.v "$@"
|
