diff options
Diffstat (limited to 'v_windows/v/cmd/tools/vtracev.v')
-rw-r--r-- | v_windows/v/cmd/tools/vtracev.v | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/v_windows/v/cmd/tools/vtracev.v b/v_windows/v/cmd/tools/vtracev.v new file mode 100644 index 0000000..801704b --- /dev/null +++ b/v_windows/v/cmd/tools/vtracev.v @@ -0,0 +1,17 @@ +module main + +import os +import v.pref + +fn main() { + vexe := pref.vexe_path() + vroot := os.dir(vexe) + os.chdir(vroot) ? + os.setenv('VCOLORS', 'always', true) + self_idx := os.args.index('tracev') + args := os.args[1..self_idx] + args_str := args.join(' ') + options := if args.len > 0 { '($args_str)' } else { '' } + println('Compiling a `tracev` executable ${options}...') + os.system('$vexe -cg -d trace_parser -d trace_checker -d trace_gen -o tracev $args_str cmd/v') +} |